Changes commited to PARI GIT during the last two weeks

update bench

4	4	src/test/32/mf

factor: gp2c description: remove -1 default value

4	2	src/functions/number_theoretical/factor

grootsof1: if N even, use z^{N/2} = -1 [improves accuracy for free]

8	2	src/basemath/trans1.c
2	2	src/test/32/lfun

Bump version to 2.10.1

1	1	config/version
1	1	src/test/32/version

paridecl.h: resort polarit2 section

5	5	src/headers/paridecl.h

lfuntheta: cleanup get_an use

36	24	src/basemath/lfun.c

lfungenus2: handle twist correctly [#2047]

1	1	src/basemath/lfunutils.c
4	1	src/test/32/lfun
2	0	src/test/in/lfun

forprimestep: extend gp2c description to cover smalls

4	3	src/functions/programming/forprime
5	1	src/functions/programming/forprimestep

oo: remove empty description field

0	1	src/functions/conversions/oo

factor out the common part of theta1 and theta2

9	12	src/basemath/lfun.c

theta/lfun: cleanup the special case Vga = [a,a+1]

- replace a_n by n^a * a_n in thetaint and lfuninit structs
- can still avoid computing exponentials (and compute them to lower
  accuracy) by using the same k[m,n] array as the general case

135	162	src/basemath/lfun.c

make lfunisvgaell static + remove useless flag

0	2	doc/usersch8.tex
8	9	src/basemath/lfun.c
0	1	src/headers/paridecl.h

1- [libpari] conj_i

1	1	CHANGES
9	6	doc/usersch5.tex
2	2	src/basemath/alglin2.c
2	2	src/basemath/arith1.c
5	5	src/basemath/base5.c
2	2	src/basemath/buch2.c
5	5	src/basemath/elliptic.c
33	47	src/basemath/gen1.c
2	2	src/basemath/gen3.c
25	33	src/basemath/lfun.c
1	1	src/basemath/lfunutils.c
12	12	src/basemath/mftrace.c
4	4	src/basemath/polarit2.c
1	1	src/basemath/rootpol.c
1	1	src/basemath/trans1.c
1	0	src/headers/paridecl.h
8	8	src/modules/stark.c

fix alg_hasse: wrong degree or stack overflow for some non-division algebras

1	0	CHANGES
53	5	src/modules/algebras.c
10	1	src/test/32/alghasse
20	0	src/test/in/alghasse

cleanup lfunlambda_product

4	8	src/basemath/lfun.c

update TODO

1	1	TODO

add test

9	0	src/test/32/content
1	1	src/test/in/content

dotest: if dump_dif if set, output the failed dif.

1	0	src/test/dotest

typo

1	1	src/basemath/polarit2.c

greal -> real_i / gimag -> imag_i

5	5	src/basemath/ellanal.c
2	2	src/basemath/elliptic.c
1	1	src/basemath/lfun.c
3	3	src/basemath/lfunutils.c
1	1	src/basemath/mftrace.c
3	3	src/basemath/trans3.c

add real/imag tests

7	1	src/test/32/err
3	1	src/test/32/real
2	0	src/test/in/err
4	0	src/test/in/real

add serchop & nfpolsturm to refcards

5	4	doc/refcard-nf.tex
1	0	doc/refcard.tex
2	2	doc/refmacro.tex

document listinit

22	0	doc/develop.tex

document serchop_i

1	0	CHANGES
4	0	doc/usersch5.tex

remove TODO entry

0	3	TODO

remove TODO entries

0	8	TODO

re-document numer / denom

3	0	src/functions/conversions/denominator
6	1	src/functions/conversions/numerator

better support for Q_denom:

- support t_SER, t_VECSMALL, t_QUAD, t_PADIC
- denominator(x^-1 + O(x), x) now x [ was 1 ]
- denominator(2^-2 + O(2^3), 1) now 4 [ was 1 ]

5	0	doc/usersch5.tex
8	3	src/basemath/gen3.c
12	2	src/basemath/polarit2.c
23	5	src/test/32/content
1	1	src/test/in/content

_formatcode: add description for small_int

1	0	src/functions/gp2c_internal/_formatcode

new libpari function listinit [for gp2c]

1	1	src/functions/conversions/List
3	0	src/functions/conversions/Map
1	0	src/functions/gp2c/copy
1	0	src/headers/paridecl.h
9	0	src/language/init.c

_badtype: fix test for list

1	1	src/functions/gp2c_internal/_badtype

update bench

2	1	src/test/32/ser

4- Mod(0,3)*x + O(x^2) -> O(x^2) [instead of same]

1	0	CHANGES
4	2	src/basemath/Ser.c
2	2	src/basemath/gen1.c
1	0	src/test/in/ser

_badtype: add test for list

1	0	src/functions/gp2c_internal/_badtype

3- new GP function serchop

1	0	CHANGES
24	0	src/basemath/trans1.c
17	0	src/functions/conversions/serchop
2	0	src/headers/paridecl.h
6	1	src/test/32/ser
7	0	src/test/in/ser

unused variables

0	1	src/basemath/gen3.c

add optional argument to denominator / numerator / content

- allow specifying over with ring we compute
- allows to choose between the two different ѕemantics (Q vs. K(x)) and avoid
  madness such as
     denominator([1/2, 1/x, 1/y]) -> 2*y*x
     denominator([1/2, 1/x, x/y]) -> 2*x
     denominator([x/2, 1/x, 1/y]) -> y*x
  Now: denominator(,1) is 2 in all 3 cases
       denominator(,x) is x in all 3 cases
       denominator(,y) is y in all 3 cases

8	0	CHANGES
91	0	src/basemath/gen3.c
31	7	src/basemath/polarit2.c
33	15	src/functions/conversions/denominator
20	20	src/functions/conversions/numerator
28	3	src/functions/number_theoretical/content
4	0	src/headers/paridecl.h
3	4	src/test/32/compat
120	3	src/test/32/content
8	2	src/test/in/content

improve doc

16	10	src/functions/number_theoretical/contfracpnqn

nfisisom() result could uses wrong variable [#2041]

3	2	src/basemath/base1.c
3	2	src/test/32/nf
4	3	src/test/in/nf

fix doc

1	1	src/functions/number_theoretical/znchargauss

3- polcompositum(,1) when one polynomial has degree 1 [#2045]

1	0	CHANGES
1	0	src/basemath/base2.c
3	2	src/basemath/polarit3.c
3	1	src/test/32/resultant
2	0	src/test/in/resultant

polrootsbound: avoid different results in 'pol' bench on ARM

2	1	src/basemath/rootpol.c
3	3	src/test/32/pol

polmodular: improve e_ARCH error message

4	1	src/basemath/polmodular.c

nfisincl: fix typo in error message

1	1	src/basemath/base1.c
2	2	src/test/32/nf

Mat(1/2*x) * Mat(Mod(1,x^2-2)) -> SEGV [#2044]

11	16	src/basemath/polarit2.c
3	0	src/test/32/polmod
2	0	src/test/in/polmod

add missing bound check in alg_hasse

5	1	src/modules/algebras.c
10	1	src/test/32/algebras
3	0	src/test/in/algebras

nfisincl(y^2 + 1, z^4 + z^2 + 1) -> SEGV [#2042]

1	0	src/basemath/base1.c
3	0	src/test/32/nf
1	1	src/test/in/nf

gen_pow_table: remove unused parameter x

5	5	doc/usersch5.tex
3	3	src/basemath/F2x.c
2	2	src/basemath/Flx.c
1	1	src/basemath/Flxq_log.c
3	3	src/basemath/arith1.c
1	1	src/basemath/bb_group.c
4	4	src/headers/paridecl.h

add GC in ZX_eval2BILspec (memory gain, no slowdown)

2	1	src/basemath/ZX.c

nfisincl() result uses wrong variable [#2041]

3	0	CHANGES
4	5	src/basemath/base1.c
2	1	src/test/32/nf
2	0	src/test/in/nf

Add {Fp,Flxq,F2xq,gen}_pow_{init,table}

4	0	CHANGES
29	0	doc/usersch5.tex
17	2	src/basemath/F2x.c
16	0	src/basemath/Flx.c
7	4	src/basemath/Flxq_log.c
17	3	src/basemath/arith1.c
38	0	src/basemath/bb_group.c
8	0	src/headers/paridecl.h

3- t_LIST corrupted on writebin / read [#2040]

1	0	CHANGES
1	0	src/language/init.c
1	0	src/test/32/io
3	0	src/test/in/io

1- [libpari] denom_i, numer_i

1	0	CHANGES
4	0	doc/usersch5.tex
2	2	src/basemath/ellsea.c
2	2	src/basemath/elltors.c
3	3	src/basemath/gen1.c
20	21	src/basemath/gen3.c
2	2	src/basemath/polarit2.c
1	1	src/basemath/trans1.c
2	0	src/headers/paridecl.h
5	9	src/modules/algebras.c
3	3	src/modules/thue.c

improve doc algebras

2	2	doc/refcard-nf.tex
1	1	doc/tutorial.tex
1	1	src/functions/algebras/algissimple
1	1	src/functions/algebras/algissplit
5	4	src/functions/algebras/alglatlefttransporter
5	4	src/functions/algebras/alglatrighttransporter
0	1	src/functions/algebras/algmakeintegral
1	1	src/functions/algebras/algmul
3	3	src/functions/algebras/algradical
1	1	src/functions/algebras/algsimpledec
7	0	src/functions/algebras/algsplit
2	4	src/functions/algebras/algtensor

numer/denom -> Q_remove_denom

2	2	src/basemath/ellpadic.c

improve doc algebras

4	3	src/functions/algebras/HEADER
1	1	src/functions/algebras/algbasis
1	1	src/functions/algebras/algcentralproj
2	2	src/functions/algebras/algdim
3	1	src/functions/algebras/alghassef
1	1	src/functions/algebras/algindex
2	4	src/functions/algebras/alginit

remove TODO entry

0	2	TODO

remove TODO entry

0	2	TODO

add GC in gp_read_file [#2039]

2	1	src/language/es.c

add bench (tests Flx_factor with non-monic polynomials)

2	1	src/test/32/fflog
1	0	src/test/in/fflog

Flx_factor: call Flx_normalize before defering to Flx_factor_i

1	1	src/basemath/FpX_factor.c

paridecl.h, section bb_group.c: resort prototype

2	2	src/headers/paridecl.h

check_kernel(Flxq): whitespace change

1	1	src/basemath/Flxq_log.c

RgXn_inv_i: do not recompute a

1	1	src/basemath/RgX.c

remove algleftmultable from doc

1	1	src/functions/algebras/alglathnf
1	1	src/functions/algebras/algpoleval

remove algabsdim from doc algdisc

2	2	src/functions/algebras/algdisc

algabsdim -> algdim in tutorial and refcard-nf

4	3	doc/refcard-nf.tex
1	1	doc/tutorial.tex

algleftmultable + algtomatrix -> algtomatrix(,{abs})

1	0	CHANGES
1	0	COMPAT
1	1	doc/refcard-nf.tex
1	1	doc/tutorial.tex
0	30	src/functions/algebras/algleftmultable
30	6	src/functions/algebras/algtomatrix
1	2	src/headers/paridecl.h
8	6	src/modules/algebras.c
7	10	src/test/32/algebras
66	67	src/test/in/algebras
4	4	src/test/in/alglattices

algebras: add test

1	2	src/modules/algebras.c
7	1	src/test/32/algebras
7	0	src/test/in/algebras

update COMPAT about algabsdim

1	0	COMPAT

merge algabsdim + algdim -> algdim(,{abs})

2	1	CHANGES
0	14	src/functions/algebras/algabsdim
9	6	src/functions/algebras/algdim
1	2	src/headers/paridecl.h
9	7	src/modules/algebras.c
4	4	src/test/32/algebras
30	25	src/test/in/algebras
1	1	src/test/in/alglattices

add missing file polcoef

21	0	src/functions/polynomials/polcoef

1- polcoeff is deprecated and renamed polcoef

- it now only applies to scalars, polynomials, series and rational
  functions; no longer to vector/matrices or quadratic forms (use [] or
  "component").

- [libpari] rename polcoeff0 -> polcoef, polcoeff_i -> polcoef_i,
  truecoeff -> truecoef

10	0	CHANGES
5	1	COMPAT
1	1	doc/refcard.tex
1	1	doc/tutorial.tex
9	5	doc/usersch5.tex
23	39	src/basemath/gen3.c
2	2	src/basemath/kummer.c
1	1	src/basemath/lfun.c
3	3	src/basemath/mftrace.c
1	1	src/basemath/polarit3.c
1	1	src/basemath/trans1.c
4	4	src/basemath/trans3.c
3	16	src/functions/polynomials/polcoeff
3	3	src/headers/paridecl.h
1	1	src/headers/pariinl.h
3	0	src/headers/pariold.h
1	1	src/modules/algebras.c
1	1	src/modules/stark.c
2	4	src/test/32/compat
9	15	src/test/32/err
25	25	src/test/32/extract
3	5	src/test/in/err
9	9	src/test/in/extract

add examples

3	0	src/functions/conversions/Col
32	3	src/functions/conversions/Vec

install-gphelp: create DOCDIR

1	1	config/Makefile.SH

gp_default.h no longer exists

0	1	src/gp/.gitignore

Remove obsolete highlvl.h file from the distribution

0	1	config/get_MANIFEST
0	1	src/gp/.gitignore

tweaks before 2.10.0 release

3	2	AUTHORS
1	1	CHANGES
1	0	INSTALL
164	2	NEW
1	1	TODO
2	2	doc/refmacro.tex

polclass: attempt to fix ambiguity problem.

Ambiguity arise when the powersum is 0 mod p.
There is two possible workaround:
1) use higher power sum -> larger power sum to recokgnize -> need more
primes
2) skip p -> need more primes.

It seems 2 is better than 1.
Worst case so far: polclass(-838248, 27)

27	25	src/basemath/polclass.c
2	1	src/test/in/polclass

cleanup next_generator

15	23	src/basemath/polclass.c

common_nbr: remove useless flag

8	13	src/basemath/volcano.c

cleanup vocano.c: whitespace edits + reformat comments

228	446	src/basemath/volcano.c

modpoly_disc_info -> disc_info + whitespace edits

24	35	src/basemath/polmodular.c

cleanup variables in discriminant_with_classno_at_least

3	5	src/basemath/polmodular.c

typo + leak in discriminant_with_classno_at_least

- return bestD, not last Ds
- don't leak memory when bestD != last Ds

5	3	src/basemath/polmodular.c

improve docs

4	4	src/functions/elliptic_curves/ellmoddegree
13	12	src/functions/elliptic_curves/ellweilcurve

simplify further nilord; inline it in maxord_i

30	35	src/basemath/base2.c

add comment

1	0	src/basemath/base2.c

Decomp / Nilord: rewrite diagnostics

7	17	src/basemath/base2.c

clarify nilord logic + export decompt_t struct in maxord_i

57	68	src/basemath/base2.c

cleanup nilord / maxord_i

8	14	src/basemath/base2.c

round4: centermod -> Fp_center_i

12	10	src/basemath/base2.c

improve ZpX_monic_factor [ partial Hensel, avoid squarefree factorization ]

43	32	src/basemath/base2.c

update bench

3	3	src/test/32/compat

update COMPAT

2	0	COMPAT

ellmoddegree doc: add example

24	4	src/functions/elliptic_curves/ellmoddegree

cleanup ellmoddegree

20	20	src/basemath/ellanal.c

90- polsturm: allow non-squarefree polynomials (count distinct roots)

1	0	CHANGES
1	2	src/basemath/polarit2.c
4	6	src/functions/polynomials/polsturm
1	4	src/test/32/err
3	4	src/test/32/rootsreal
0	1	src/test/in/err
2	0	src/test/in/rootsreal

ellmoddegree: do not depend on current precision

2	0	CHANGES
29	9	src/basemath/ellanal.c
3	5	src/functions/elliptic_curves/ellmoddegree
1	1	src/headers/paridecl.h
9	9	src/test/32/ellanal
1	2	src/test/in/ellanal

doc typo

2	1	src/functions/polynomials/polrootspadic

158- factorpadic gave wrong results at low accuracy

1	0	CHANGES
1	1	src/basemath/base2.c
4	9	src/test/32/padic

algebras: remove obsolete comment in computesplitting

3	4	src/modules/algebras.c