Changes commited to PARI GIT during the last two weeks

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

improve doc

3	2	src/functions/elliptic_curves/ellweilcurve

change ellweilcurve interface: allow to recover the modular symbol spaces

4	2	src/basemath/ellisog.c
29	10	src/functions/elliptic_curves/ellweilcurve
1	1	src/headers/paridecl.h
11	1	src/test/32/modsym
4	0	src/test/in/modsym

tweak CHANGES + update COMPAT

5	4	CHANGES
4	0	COMPAT

algebras: improve doc introduction (HEADER) + add sections

39	30	src/functions/algebras/HEADER

update documentation

2	1	src/functions/number_fields/rnfequation
1	0	src/functions/number_fields/rnfinit

ZX_ZXY_resultant_all -> ZX_ZXY_rnfequation (once)

1	1	src/basemath/base2.c

update CHANGES about algebras

11	0	CHANGES

rewrite ZX_ZXY_resultant_LERS so that k=0 works when X mod B is a generator

always failed for Q[Y] / (A) ~ Q, i.e. deg A = 1

1	1	src/basemath/base5.c
21	16	src/basemath/polarit3.c
252	252	src/test/32/algebras
29	29	src/test/32/alghasse
23	62	src/test/32/rnf
0	1	src/test/in/rnf

algpoleval: change specification and add type checks

14	1	src/functions/algebras/algpoleval
17	10	src/modules/algebras.c
23	0	src/test/32/algebras
22	0	src/test/in/algebras

Extend primorial_vec table to 2^35

3	2	src/basemath/ecpp.c

improve rnf bench to allow finding problematic command in generic test

320	321	src/test/32/rnf
2	3	src/test/in/rnf

algebras: use image_keep_first

2	3	src/modules/algebras.c

fix doc algebras

1	1	src/functions/algebras/HEADER

add tests for lattices over al_CSA

11	1	src/test/32/alglattices
28	6	src/test/in/alglattices

algebras: document lattice representation in HEADER

14	2	src/functions/algebras/HEADER
1	1	src/modules/algebras.c

algebras: specify requirements for valid lattices

6	1	src/modules/algebras.c
4	1	src/test/32/alglattices
1	0	src/test/in/alglattices

add tests algleftmultable

35	1	src/test/32/algebras
40	0	src/test/in/algebras

doc algleftmultable: add example

9	0	src/functions/algebras/algleftmultable
10	1	src/test/32/algebras
1	0	src/test/in/algebras

cleanup ZX_ZXY_resultant_LERS [ we always have lambda != NULL ]

13	13	src/basemath/polarit3.c

update doc

3	1	src/functions/number_fields/idealtwoelt

cleanup alghasse and algindex

14	25	src/modules/algebras.c
2	2	src/test/32/algebras

update bench

6	6	src/test/32/algebras

remove FIXME in algrandom [ and fix GC ]

4	3	src/modules/algebras.c

cleanup alghasse / alghasse_0

remove is_place_prid(nf,pl,pr,emb), the interface was awkward:
- testing for a non-archimedean place with get_prid only involves 'pr'.
- then we can test for an archimedean place using only nf and pl again and
  return emb.
=> is_place_emb [ if desired, we can have an _i version but I don't see
the point in current code ]

14	32	src/modules/algebras.c

sort primes in hassef and remove linear_prime_search

+ cleanup alghasse_emb / alghasse_pr

8	24	src/modules/algebras.c
3	3	src/test/32/algebras
3	3	src/test/32/alghasse

update bench

12	12	src/test/32/nfpolsturm

rename nfsturm -> nfpolsturm

1	1	CHANGES
4	4	src/basemath/base3.c
11	11	src/functions/number_fields/{nfsturm => nfpolsturm}
1	1	src/headers/paridecl.h
1	1	src/modules/algebras.c
0	0	src/test/32/{nfsturm => nfpolsturm}
20	0	src/test/in/nfpolsturm
0	20	src/test/in/nfsturm

remove RgC_is_ZC -> RgV_is_ZV

1	10	src/modules/algebras.c

improve doc nfgrunwaldwang

2	2	src/functions/number_fields/nfgrunwaldwang

new function nfsturm

+ refactor nfeltsign/nfeltembed

1	1	CHANGES
72	30	src/basemath/base3.c
40	0	src/functions/number_fields/nfsturm
1	0	src/headers/paridecl.h
2	6	src/modules/algebras.c
20	0	src/test/32/nfsturm
20	0	src/test/in/nfsturm

remove comment

0	1	src/modules/algebras.c

algebras: add tests with relative splitting field that does not descend to Q

1	0	src/modules/algebras.c
4	4	src/test/32/algebras
15	1	src/test/32/alghasse
15	11	src/test/in/algebras
21	0	src/test/in/alghasse

algleftmultable: always return mult. table on the integral basis

2	6	src/functions/algebras/algleftmultable
27	12	src/modules/algebras.c
9	4	src/test/32/algebras
7	6	src/test/in/algebras
1	1	src/test/in/alglattices

clarify doc

6	5	src/functions/number_fields/HEADER

algebras: remove use of FpM_suppl

9	6	src/modules/algebras.c

cleanup algsimpledec_ss: precompute keys before calling cmp_algebra

15	14	src/modules/algebras.c

remove obsolete comment

0	3	src/modules/algebras.c

libpari doc: move grunwald-wang functions to relevant section

11	9	doc/usersch6.tex

algebras: cleanup comments

55	47	src/modules/algebras.c

add tests for matrices over csa algebras

19	2	src/test/32/algebras
33	2	src/test/in/algebras

nfsplitting((x^2+1)^2) -> error

0	1	src/basemath/base2.c
2	1	src/test/32/nfsplitting
1	0	src/test/in/nfsplitting

better error message for non-integral mt in csa algebras

2	2	src/modules/algebras.c
3	3	src/test/32/algebras

csa algebras: more tests + fix bugs with pol/polmods in table or elements

50	5	src/modules/algebras.c
29	3	src/test/32/algebras
36	3	src/test/in/algebras

nfsplitting: support for reducible polynomials

1	0	CHANGES
18	0	src/basemath/base2.c
14	8	src/functions/number_fields/nfsplitting
2	1	src/test/32/nfsplitting
1	0	src/test/in/nfsplitting

more tests for csa algebras

77	1	src/test/32/algebras
96	7	src/test/in/algebras

algebras: make some functions static

0	22	doc/usersch6.tex
0	10	src/headers/paridecl.h
14	10	src/modules/algebras.c

Add RgXn_inv_fast

48	1	src/basemath/RgX.c

algebras: flags int -> long and uniformize names

2	2	doc/refcard-nf.tex
6	6	doc/usersch6.tex
3	3	src/functions/algebras/alginit
3	3	src/functions/algebras/algmakeintegral
2	2	src/functions/algebras/algquotient
2	2	src/functions/algebras/algsimpledec
9	9	src/headers/paridecl.h
24	23	src/modules/algebras.c

improve doc: libpari algebras

34	17	doc/usersch6.tex

doc typo

2	2	src/functions/transcendental/zetamult

New libpari function FqX_integ

2	1	CHANGES
3	0	doc/usersch5.tex
1	0	src/headers/paridecl.h
3	2	src/headers/pariinl.h