Changes commited to PARI GIT during the last two weeks

6- readline completion: don't include yet undefined symbols [#2694]

If identifier valence is EpNEW, skip it in  completion.

Rationale: identifier exists in parser hashtables but it has no
definition yet. It is likely that it was created by mistake (e.g., typo)
or that it has been kill-ed by the user. In any case, its value is NULL.
It makes sense not to propose it in completions in interactive use until
it acquires an actual value.

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

cleanup mflinear and simplify mf2linear

26	22	src/basemath/mftrace.c

mflinear(F,L): add sanity checks for L

When coefficients t_POLMOD in the t variable, validate that they are
defined modulo charpoly(chi)

12	2	src/basemath/mftrace.c
7	1	src/test/32/mf
2	0	src/test/in/mf

simplify mf2linear

9	15	src/basemath/mftrace.c

4- mflinear(MF in half integer weight, coefs in Q(chi)): wrong result

Possible confusion between Q(chi) and Q(chi1) where chi1 is the character
for f * mfTheta, where chi1 = chi or chi * (-4/.). In the latter case
the cyclotomic fields are isomorphic, but only identical when the order of
chi is 0 mod 4.

mf=mfinit([28,5/2,Mod(4,7)],1);y=Mod([t,t,t,t],t^2+t+1);
F1=mflinear(mf,y);
F2=mflinear(mfbasis(mf),y);
mfcoefs(F1,10)
mfcoefs(F2,10)

1	0	CHANGES
61	7	src/basemath/mftrace.c
32	1	src/test/32/mf
9	0	src/test/in/mf

typo in previous commit f8a9ba81fb0: H instead of gel(H,1)

6	3	src/basemath/subfield.c

subfields: check group type before using group_order [#2691]

galoissubgroups can now return subgroups in "list of elements" format
(non-WSS case). Which group_order doest not support

5	3	src/basemath/subfield.c

remove isolated checks for prec < LOWDEFAULTPREC

0	1	src/basemath/gen2.c
0	2	src/basemath/rootpol.c
2	12	src/basemath/trans1.c
0	1	src/basemath/trans2.c

typo in compatibility #define real_1_bit

1	1	src/headers/pariold.h

Zp_divlift: handle correctly b = NULL when n = 1

followup to bf8c1198f3a

2	1	src/basemath/Zp.c

fix RgX_galconj_bound + use vandermondeinverseinit_real

incorrectly called QX_complex_roots on a t_POL with t_REAL coefficients.

30	8	src/basemath/nffactor.c
1	0	src/headers/paripriv.h

vandermondeinverseinit_real: complex interpolation up to conjugation

Allows to reconstruct and algebraic number given its r1 + r2 non-conjugate
complex embeddings (instead of including the redundant conjugate ones).

Stabler and saves a factor (r1+r2) / (r1+2r2) (so nothing for totally
real fields and 2 for totally complex).

Utility function ZX_nf_roots returning complex roots of a ZX up to conjugation
(as nf=nfinit(T); nf.roots)

Use in galoisborne and applications

2	1	CHANGES
29	11	doc/usersch5.tex
5	0	doc/usersch6.tex
21	17	src/basemath/base1.c
52	7	src/basemath/bibli2.c
37	17	src/basemath/galconj.c
21	8	src/basemath/nffactor.c
2	8	src/basemath/subfield.c
2	0	src/headers/paridecl.h
1	1	src/headers/paripriv.h

Zp_divlift: handle n=1 correctly

1	1	src/basemath/Zp.c

bound_for_coeff: wrong computation of Mahler measure

confusion between nf.roots (modulo complex conjugation) and initgaloisborne
(all complex roots).

+ avoid squares computations

47	19	src/basemath/subfield.c

whitespace edits

3	0	src/test/in/subfields

update nffactor bench

memory use increased a bit after fix in nf_L2_bound (commit 9500460624)

2	2	src/test/32/nffactor
1	1	src/test/in/nffactor

cleanup make_M_G

6	5	src/basemath/base1.c

fix comment

1	1	src/basemath/rootpol.c

improve programming and transcendental HEADERs

10	1	src/functions/programming/HEADER
26	27	src/functions/transcendental/HEADER

OS X -> macOS

5	5	doc/INSTALL.tex

move graphic functions right after GP programming in ?*

20	20	doc/translations
1	1	src/desc/doc_make
3	2	src/desc/gen_proto
1	1	src/language/gplib.c
20	20	src/test/32/help

rewrite ??23 (graphic functions)

52	49	src/functions/graphic/HEADER

whitespace edit

1	1	src/language/gplib.c

whitespace edits

9	20	src/basemath/lll.c

fix comment

3	3	src/basemath/lll.c

rewrite and fix logint(t_REAL B,y)

- untested branch when e>= 2^50 confused lg and realprec
- floor(log(B) / log(y)) may be "wrong"
- replace B by exact truncation (assuming IEEE 754 semantic, i.e, B is exact)

8	21	src/basemath/ispower.c

cleanup uses of ndec2nbits

use in sd_realprecision was semantically incorrect (the result is used
as a prec)

1	1	src/language/default.c
1	1	src/language/eval.c

cleanup absrtstr: fix yet another "prec + 1" issue

5	14	src/language/es.c

no longer use nbits2extraprec

7	8	src/basemath/mftrace.c

update doc

19	14	doc/usersch5.tex

cleanup nbits2extraprec use

+ fix overkill in ellnfembed (4b instead of intended 3b)

3	4	src/basemath/elliptic.c
3	3	src/basemath/mftrace.c
1	1	src/basemath/nffactor.c
1	1	src/language/intnum.c

typo in precCOMPLEX rewrite (max -> min)

2	2	src/basemath/gen3.c

cleanup nbits2extraprec uses

14	14	src/basemath/hypergeom.c
2	2	src/basemath/lfun.c
1	1	src/basemath/mellininv.c

cleanup uses of nbits2extraprec

1	1	src/basemath/gen1.c
12	22	src/basemath/gen3.c

cleanup nbits2extraprec use

1	1	src/basemath/bibli1.c
1	1	src/basemath/elliptic.c
2	2	src/basemath/elltrans.c
14	19	src/basemath/grossenchar.c

lfunqf: fix SEGV on BIB.

raise exception if M is not invertible

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

buchall_param: cleanup use of PREC

wasn't always a prec (missing nbits2prec and prec + 1 confusion)

13	11	src/basemath/buch2.c

cleanup nbits2extraprec uses

5	5	src/basemath/buch2.c

simplify nfeltembed_i stopping criterion + set 'single' in parse_embed

21	21	src/basemath/base3.c

cleanup nbits2extraprec uses

2	2	src/basemath/base1.c
4	4	src/basemath/base3.c

cleanup nbits2extraprec use, including actual typo in incgam0 ("prec + 1")

6	6	src/basemath/trans1.c
45	45	src/basemath/trans3.c
3	3	src/modules/galois.c
1	1	src/modules/thue.c

?* fix 2 section names

2	2	src/language/gplib.c
2	2	src/test/32/help

5- allow lfunqf(t_VEC) for lfunqf(matdiagonal(...))

+ improve / fix related docs

1	0	CHANGES
5	1	src/basemath/lfunutils.c
6	8	src/functions/l_functions/lfundual
6	6	src/functions/l_functions/lfunqf
1	1	src/test/in/lfuntype

support \A for Adèles

1	1	doc/gphelp.in

trans[12].c: cleanup nbits2extraprec uses

2	2	src/basemath/trans1.c
9	9	src/basemath/trans2.c

stark.c: cleanup bit precision use

5	7	src/modules/stark.c

initgaloisborne: avoid square roots

3	2	src/basemath/galconj.c

cleanup nbits2prec uses

1	2	src/basemath/galconj.c
2	2	src/basemath/ifactor1.c
1	1	src/basemath/lfun.c
1	1	src/basemath/subfield.c
3	3	src/basemath/trans1.c
2	2	src/kernel/none/add.c
1	1	src/language/anal.c
1	1	src/language/intnum.c

nf_L2_bound: missing bit_accuracy

2	1	src/basemath/nffactor.c

typo in consteuler: adding EXTRAPREC64 twice

5	7	src/basemath/trans1.c
1	1	src/test/in/elliptic
1	1	src/test/in/number

cleanup bit accuracy use in trigonometric + exp/log functions

+ type b + 1 for b + EXTRAPREC64 in mplog1p

68	72	src/basemath/trans1.c
6	5	src/basemath/trans2.c

rewrite mpatan with proper handling of bit accuracy

+ replace LOWDEFAULTPREC + EXTRAPREC64 by MEDDEFAULTPREC
+ replace l1 += nbits2xtraprec(dvmdsBIL(s - e, &s) * BITS_IN_LONG)
  by prec1 = nbits2prec(prec0 + (i-n-1)*e)
+ better variable names (never use 'l' for a 'prec'; l is for lg)
+ comments

48	43	src/basemath/trans2.c

don't use variable name matching 'l.*' for a 'prec'

2	2	src/basemath/trans1.c
10	10	src/basemath/trans2.c

mpsinh: lx -> prec

4	4	src/basemath/trans2.c

cgetr -> cgetg(,t_REAL)

2	1	src/basemath/buch1.c

zbrent: remove useless bit0

3	3	src/language/sumiter.c

cgetr -> cgetg(,t_REAL)

4	4	src/basemath/trans3.c

cgetr -> cgetg(l, t_REAL)

9	9	src/basemath/zetamult.c

nflist: simplify error message

2	2	src/basemath/nflist.c
11	11	src/test/32/nflist

add HEADERS for the new sections

167	0	src/functions/number_fields_galois/HEADER
110	0	src/functions/number_fields_relative/HEADER

new help sections number_fields_galois and number_fields_relative

3	2	doc/gphelp.in
10	8	doc/translations
2	0	src/desc/doc_make
2	0	src/desc/gen_proto
117	426	src/functions/number_fields/HEADER
88	10	src/functions/number_fields/bnfinit
1	1	src/functions/{number_fields => number_fields_galois}/bnrL1
1	1	src/functions/{number_fields => number_fields_galois}/bnrchar
1	1	src/functions/{number_fields => number_fields_galois}/bnrclassfield
1	1	src/functions/{number_fields => number_fields_galois}/bnrclassno
1	1	src/functions/{number_fields => number_fields_galois}/bnrclassnolist
1	1	src/functions/{number_fields => number_fields_galois}/bnrcompositum
1	1	src/functions/{number_fields => number_fields_galois}/bnrconductor
1	1	src/functions/{number_fields => number_fields_galois}/bnrconductorofchar
1	1	src/functions/{number_fields => number_fields_galois}/bnrdisc
1	1	src/functions/{number_fields => number_fields_galois}/bnrdisclist
1	1	src/functions/{number_fields => number_fields_galois}/bnrgaloisapply
1	1	src/functions/{number_fields => number_fields_galois}/bnrgaloismatrix
1	1	src/functions/{number_fields => number_fields_galois}/bnrinit
1	1	src/functions/{number_fields => number_fields_galois}/bnrisconductor
1	1	src/functions/{number_fields => number_fields_galois}/bnrisgalois
1	1	src/functions/{number_fields => number_fields_galois}/bnrisprincipal
1	1	src/functions/{number_fields => number_fields_galois}/bnrmap
1	1	src/functions/{number_fields => number_fields_galois}/bnrrootnumber
1	1	src/functions/{number_fields => number_fields_galois}/bnrstark
1	1	src/functions/{number_fields => number_fields_galois}/bnrstarkunit
1	1	src/functions/{number_fields => number_fields_galois}/galoischardet
1	1	src/functions/{number_fields => number_fields_galois}/galoischarpoly
1	1	src/functions/{number_fields => number_fields_galois}/galoischartable
1	1	src/functions/{number_fields => number_fields_galois}/galoisconjclasses
1	1	src/functions/{number_fields => number_fields_galois}/galoisexport
1	1	src/functions/{number_fields => number_fields_galois}/galoisfixedfield
1	1	src/functions/{number_fields => number_fields_galois}/galoisgetgroup
1	1	src/functions/{number_fields => number_fields_galois}/galoisgetname
1	1	src/functions/{number_fields => number_fields_galois}/galoisgetpol
1	1	src/functions/{number_fields => number_fields_galois}/galoisidentify
1	1	src/functions/{number_fields => number_fields_galois}/galoisinit
1	1	src/functions/{number_fields => number_fields_galois}/galoisisabelian
1	1	src/functions/{number_fields => number_fields_galois}/galoisisnormal
1	1	src/functions/{number_fields => number_fields_galois}/galoispermtopol
1	1	src/functions/{number_fields => number_fields_galois}/galoissplittinginit
1	1	src/functions/{number_fields => number_fields_galois}/galoissubcyclo
1	1	src/functions/{number_fields => number_fields_galois}/galoissubfields
1	1	src/functions/{number_fields => number_fields_galois}/galoissubgroups
1	1	src/functions/{number_fields => number_fields_galois}/gcharalgebraic
1	1	src/functions/{number_fields => number_fields_galois}/gcharconductor
1	1	src/functions/{number_fields => number_fields_galois}/gcharduallog
1	1	src/functions/{number_fields => number_fields_galois}/gchareval
1	1	src/functions/{number_fields => number_fields_galois}/gcharidentify
1	1	src/functions/{number_fields => number_fields_galois}/gcharinit
1	1	src/functions/{number_fields => number_fields_galois}/gcharisalgebraic
1	1	src/functions/{number_fields => number_fields_galois}/gcharlocal
1	1	src/functions/{number_fields => number_fields_galois}/gcharlog
1	1	src/functions/{number_fields => number_fields_galois}/gcharnewprec
1	1	src/functions/{number_fields => number_fields_galois}/nfgrunwaldwang
1	1	src/functions/{number_fields => number_fields_galois}/nflist
1	1	src/functions/{number_fields => number_fields_galois}/nfresolvent
1	1	src/functions/{number_fields => number_fields_galois}/subcyclohminus
1	1	src/functions/{number_fields => number_fields_galois}/subcycloiwasawa
1	1	src/functions/{number_fields => number_fields_galois}/subcyclopclgp
1	1	src/functions/{number_fields => number_fields_relative}/nfdetint
1	1	src/functions/{number_fields => number_fields_relative}/nfhnf
1	1	src/functions/{number_fields => number_fields_relative}/nfhnfmod
1	1	src/functions/{number_fields => number_fields_relative}/nfsnf
1	1	src/functions/{number_fields => number_fields_relative}/rnfalgtobasis
1	1	src/functions/{number_fields => number_fields_relative}/rnfbasis
1	1	src/functions/{number_fields => number_fields_relative}/rnfbasistoalg
1	1	src/functions/{number_fields => number_fields_relative}/rnfcharpoly
1	1	src/functions/{number_fields => number_fields_relative}/rnfconductor
1	1	src/functions/{number_fields => number_fields_relative}/rnfdedekind
1	1	src/functions/{number_fields => number_fields_relative}/rnfdet
1	1	src/functions/{number_fields => number_fields_relative}/rnfdisc
1	1	src/functions/{number_fields => number_fields_relative}/rnfeltabstorel
1	1	src/functions/{number_fields => number_fields_relative}/rnfeltdown
1	1	src/functions/{number_fields => number_fields_relative}/rnfeltnorm
1	1	src/functions/{number_fields => number_fields_relative}/rnfeltreltoabs
1	1	src/functions/{number_fields => number_fields_relative}/rnfelttrace
1	1	src/functions/{number_fields => number_fields_relative}/rnfeltup
1	1	src/functions/{number_fields => number_fields_relative}/rnfequation
1	1	src/functions/{number_fields => number_fields_relative}/rnfhnfbasis
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealabstorel
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealdown
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealfactor
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealhnf
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealmul
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealnormabs
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealnormrel
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealprimedec
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealreltoabs
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealtwoelt
1	1	src/functions/{number_fields => number_fields_relative}/rnfidealup
1	1	src/functions/{number_fields => number_fields_relative}/rnfinit
1	1	src/functions/{number_fields => number_fields_relative}/rnfisabelian
1	1	src/functions/{number_fields => number_fields_relative}/rnfisfree
1	1	src/functions/{number_fields => number_fields_relative}/rnfislocalcyclo
1	1	src/functions/{number_fields => number_fields_relative}/rnfisnorm
1	1	src/functions/{number_fields => number_fields_relative}/rnfisnorminit
1	1	src/functions/{number_fields => number_fields_relative}/rnfkummer
1	1	src/functions/{number_fields => number_fields_relative}/rnflllgram
1	1	src/functions/{number_fields => number_fields_relative}/rnfnormgroup
1	1	src/functions/{number_fields => number_fields_relative}/rnfpolred
0	0	src/functions/{number_fields => number_fields_relative}/rnfpolredabs
0	0	src/functions/{number_fields => number_fields_relative}/rnfpolredbest
0	0	src/functions/{number_fields => number_fields_relative}/rnfpseudobasis
0	0	src/functions/{number_fields => number_fields_relative}/rnfsteinitz
2	0	src/language/gplib.c
11	9	src/test/32/help

improve HEADER for number_theoretical

1	1	doc/translations
26	15	src/functions/number_theoretical/HEADER

move kronecker to znstar section

1	1	src/functions/{number_theoretical => znstar}/kronecker

update tutorial

7	13	doc/tutorial.tex

doc updates

15	12	doc/tutorial.tex
2	1	src/functions/number_theoretical/HEADER
2	2	src/functions/number_theoretical/qfbclassno
6	3	src/functions/znstar/zncoppersmith

add znstar HEADER

0	36	src/functions/number_theoretical/HEADER
123	0	src/functions/znstar/HEADER

4- znorder: allow a znstar for the 'order' optional argument

1	0	CHANGES
12	2	src/basemath/arith1.c
15	0	src/basemath/bb_group.c
26	0	src/functions/znstar/znorder
7	1	src/test/32/zn
4	0	src/test/in/zn