Changes commited to PARI GIT during the last two weeks

for(i=1,10^6,bernpol(5,1)) -> "no more variables" [#2611]

1	0	CHANGES
3	2	src/basemath/bern.c
1	0	src/test/in/bern

MTB 14- FpXQ_sqrtn: implement fast algorithm

1	0	CHANGES

Flxq_sqrtn_spec_pre: fix compilation

gcc -Wall detects a spurious uninitialized variable => -Werror errors out

1	1	src/basemath/Flx.c

Implemented faster FpXQ_sqrtn and Flxq_sqrtn algorithms, with tests

172	22	src/basemath/Flx.c
197	56	src/basemath/FpX.c
13	10	src/test/32/algebras
20	19	src/test/32/ff
1	0	src/test/32/ffsqrtn
1	1	src/test/32/ispower
56	0	src/test/in/ffsqrtn

ZM_unpack_FlxM_bits: fix error introduced in 9a3082e7f46

pi is set by caller iff !SMALL_ULONG(p)
[ compute bilinear expressions using occasional euclidean divisions by p ]
but we need it always if b>= BITS_IN_LONG, which can happen with p "small"
if dimension is large.

1	0	src/basemath/Flx.c

algissimilar_i: simplify + make sanity checks deterministic

bench broken because standard (hence compiler) doesn't guarantee evaluation
order in f() == g()

13	7	src/modules/algebras.c

ZM_unpack_FlxM*: kill warnings

- remove unused argument in ZM_unpack_FlxM
- don't shadow (recompute) pi argument in ZM_unpack_FlxM_bits

2	3	src/basemath/Flx.c

imagecompl_aux: remove unused argument

3	3	src/basemath/alglin1.c

13- allow t_PADICs in chinese

1	0	CHANGES
32	15	src/basemath/arith1.c
22	14	src/functions/number_theoretical/chinese
1	0	src/test/32/chinese
1	0	src/test/in/chinese

cleanup chinese

17	18	src/basemath/arith1.c

mkpadic_copy -> mkpadic_mod: save a copy

4	4	src/basemath/gen1.c

algebras: fix alginit(nf,[a,b]) for a in basis form

1	0	CHANGES
1	1	src/modules/algebras.c
4	1	src/test/32/algebras
10	1	src/test/in/algebras

algebras: new function algisisom

1	1	CHANGES
1	0	doc/refcard-nf.tex
23	0	src/functions/algebras/algisisom
1	0	src/headers/paridecl.h
39	1	src/modules/algebras.c
66	1	src/test/32/alghasse
106	0	src/test/in/alghasse

algebras: fix Hasse invariants primes not sorted by alginit

1	0	CHANGES
4	3	src/modules/algebras.c
7	4	src/test/32/alghasse
8	0	src/test/in/alghasse

padic addition: reduce massively memory use

6	7	src/basemath/gen1.c

sort algebras section in paridecl.h

47	47	src/headers/paridecl.h

algebras: add algskolemnoether

1	0	CHANGES
1	0	doc/refcard-nf.tex
24	0	src/functions/algebras/algskolemnoether
1	0	src/headers/paridecl.h
48	0	src/modules/algebras.c
44	1	src/test/32/algebras
62	0	src/test/in/algebras

missing padic accessor

3	3	src/basemath/gen2.c

missing padic accessor

1	1	src/basemath/ellpadic.c

missing padic accessor

1	1	src/basemath/bibli2.c

11- vectorsmall(5, i, 2^63-1).normfu -> SEGV

1	0	CHANGES
1	1	src/language/members.c

don't assume that lontyp[typ(x)] <= 2

2	2	src/basemath/arith1.c
7	7	src/basemath/gen3.c
1	1	src/language/eval.c
1	1	src/language/hash.c
7	8	src/language/init.c

typo in ffmap_i: incorrect copy of codewords

2	2	src/basemath/polarit3.c

missing p-adic accessor

1	1	src/basemath/polarit1.c

missing p-adic accessor

1	1	src/basemath/FlxqE.c

missing p-adic accessor

2	1	src/basemath/F2xqE.c

missing padic accessors

5	5	src/basemath/ellpadic.c
2	2	src/basemath/gen1.c
1	1	src/basemath/gen3.c
2	2	src/basemath/lerch.c
1	1	src/basemath/trans1.c
2	2	src/headers/pariinl.h

missing padic accessors

18	19	src/basemath/gen1.c

use padic accessors

1	1	src/basemath/lerch.c
4	4	src/basemath/trans2.c
1	1	src/language/anal.c
9	9	src/language/es.c
2	2	src/language/members.c

use padic accessors

4	4	src/basemath/gen2.c
2	1	src/basemath/ifactor1.c
6	11	src/basemath/polarit1.c
9	9	src/basemath/polarit2.c
1	1	src/basemath/polarit3.c
64	98	src/basemath/trans1.c
2	2	src/headers/pariinl.h

10- sqrtn(27+O(3^4),3) -> 1 + O(3) (wrong valuation in Qp_sqrtn_ram)

1	0	CHANGES
1	1	src/basemath/trans1.c
3	3	src/test/32/sqrtn

use t_PADIC accessors

1	1	src/basemath/Flx.c
7	7	src/basemath/arith1.c
1	1	src/basemath/bibli1.c
3	3	src/basemath/digits.c
3	3	src/basemath/elliptic.c
1	1	src/basemath/ellpadic.c
3	3	src/basemath/gen1.c
65	82	src/basemath/gen2.c
17	22	src/basemath/gen3.c
3	7	src/basemath/hgm.c
1	1	src/basemath/hypergeom.c
1	8	src/basemath/ifactor1.c
2	2	src/basemath/ispower.c
1	1	src/basemath/lambert.c
1	1	src/basemath/lerch.c
7	0	src/headers/pariinl.h

11- [libpari] mkpadic, retmkpadic, padic_p, padic_u, padic_pd

Accessors only used in gen1.c for now (to provide basic tests for the
interface). Following commits will propagate them to all other files

1	0	CHANGES
10	9	doc/usersch4.tex
10	0	doc/usersch5.tex
47	58	src/basemath/gen1.c
1	0	src/headers/paridecl.h
5	1	src/headers/parigen.h
10	18	src/headers/pariinl.h

10- [libpari] RgX_type_code

1	0	CHANGES
8	0	doc/usersch5.tex
2	3	src/basemath/FpXQX_factor.c
7	12	src/basemath/RgV.c
11	17	src/basemath/RgX.c
7	21	src/basemath/alglin1.c
1	5	src/basemath/alglin2.c
20	21	src/basemath/polarit2.c
2	5	src/basemath/rootpol.c
2	0	src/headers/pariinl.h

reimplement get_pivot_fun in terms of RgM_type + set_pivot_fun

30	64	src/basemath/alglin1.c

uniformize comment for RgM_*_fast functions of "inverse" type

10	3	src/basemath/alglin1.c

whitespace edits

2	4	src/basemath/alglin1.c

minor GC cleanup

2	5	src/basemath/alglin1.c

whitespace edits

3	6	src/basemath/alglin1.c

rename init_indexrank -> init_pivot_list + use in imagecompl

15	18	src/basemath/alglin1.c

generic linear algebra: don't examine input twice

When *_fast variant is implemented, reuse the result of RgM_type to set the
appropriate pivoting strategy.

get_pivot_fun is now only used in residual cases: scheduled for deletion

131	113	src/basemath/alglin1.c
1	1	src/basemath/buch2.c
1	1	src/headers/paripriv.h

New libpari function FlxM_translate

1	0	CHANGES
4	0	doc/usersch5.tex
8	0	src/basemath/Flx.c
2	0	src/headers/paridecl.h

New libpari function FlxM_mul

1	1	CHANGES
2	0	doc/usersch5.tex
63	18	src/basemath/Flx.c
1	0	src/headers/paridecl.h

New libpari functions FlxqM_red_pre, FlxqC_red_pre

1	0	CHANGES
4	0	doc/usersch5.tex
8	0	src/basemath/Flx.c
2	0	src/headers/paridecl.h

New libpari function Flx_translate

1	1	CHANGES
3	0	doc/usersch5.tex
11	0	src/basemath/Flx.c
1	0	src/headers/paridecl.h

New libpari function Flx_unscale

1	0	CHANGES
3	0	doc/usersch5.tex
17	0	src/basemath/Flx.c
1	0	src/headers/paridecl.h

new meta command \qf

3	2	CHANGES
3	0	doc/usersch2.tex
1	0	src/language/es.c
1	1	src/language/gplib.c

doc: ellfromeqn: fix typo

1	1	src/functions/elliptic_curves/ellfromeqn

ellfromeqn: add option to map points

1	0	CHANGES
34	7	src/functions/elliptic_curves/ellfromeqn
1	0	src/headers/paridecl.h
97	9	src/modules/ellfromeqn.c
12	1	src/test/32/ellfromeqn
40	0	src/test/in/ellfromeqn

4- New default doctest

1	0	CHANGES

improve doc linear algebra with composite modulus

4	0	src/functions/linear_algebra/matimage
4	0	src/functions/linear_algebra/matker
2	1	src/functions/linear_algebra/matsolve

improve doc: doctest default

3	2	src/functions/default/doctest

doc typo (doctest default)

1	1	doc/usersch2.tex

New default doctest

3	0	doc/usersch2.tex
12	0	src/functions/default/doctest
1	0	src/headers/paridecl.h
1	1	src/headers/paristio.h
12	2	src/language/es.c
8	0	src/language/gplib.c
1	0	src/test/32/help

genus2red: fix overfull hbox

1	1	src/functions/elliptic_curves/genus2red

bnfisintnorm: fix doctesting example

Depends on random seed: assume we start from a clean session.

18	15	src/functions/number_fields/bnfisintnorm

genus2_redmodel: rewrite to use squarefree factorization

avoids full factorization in almost all cases

22	13	src/basemath/hyperell.c

improve doc matinverseimage

3	0	src/functions/linear_algebra/matinverseimage

improve doc matsolve

3	0	src/functions/linear_algebra/matsolve

New libpari function Flm_hess_pre

1	0	CHANGES
3	0	doc/usersch5.tex
21	7	src/basemath/alglin2.c
1	0	src/headers/paridecl.h

doctest nfweilheight

Signed-off-by: Aurel Page 

2	2	src/functions/number_fields/nfweilheight

doctest rnfisnorminit

Signed-off-by: Aurel Page 

5	5	src/functions/number_fields/rnfisnorminit

doctest bnfisintnorm

Signed-off-by: Aurel Page 

6	6	src/functions/number_fields/bnfisintnorm

doctest nfmodprinit

Signed-off-by: Aurel Page 

1	1	src/functions/number_fields/nfmodprinit

doctest nfmodpr

Signed-off-by: Aurel Page 

2	2	src/functions/number_fields/nfmodpr

doctest idealfactorback

Signed-off-by: Aurel Page 

6	6	src/functions/number_fields/idealfactorback

doctest bestapprPade

Signed-off-by: Aurel Page 

2	2	src/functions/number_theoretical/bestapprPade

doctest Vec

Signed-off-by: Aurel Page 

7	1	src/functions/conversions/Vec

doctest alglatrighttransporter

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/alglatrighttransporter

doctest alglatlefttransporter

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/alglatlefttransporter

doctest algquattobasis

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/algquattobasis

doctest algtableinit

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/algtableinit

doctest algtomatrix

Signed-off-by: Aurel Page 

2	2	src/functions/algebras/algtomatrix

doctest algtrace 2

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/algtrace

doctest algtrace

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/algtrace

doctest algnorm

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/algnorm

doctest algmodpr

Signed-off-by: Aurel Page 

3	3	src/functions/algebras/algmodpr

doctest algmodprlift

Signed-off-by: Aurel Page 

1	1	src/functions/algebras/algmodprlift