Changes commited to PARI GIT during the last two weeks

cleanups: whitespace edits + lg(v) => l = lg(v)

5	12	src/basemath/F2v.c
20	49	src/basemath/F2x.c
7	20	src/basemath/FF.c
2	6	src/basemath/buch3.c

sunits_makecoprime: remove unused parameter 'nf'

1	1	doc/usersch6.tex
1	2	src/basemath/base3.c
1	1	src/basemath/base4.c
1	1	src/headers/paridecl.h

fix comment

1	1	src/basemath/base3.c

Flx_diamondsum: add support for small p

60	18	src/basemath/Flx.c
6	10	src/basemath/polarit3.c

New libpari function FpV_prod

1	1	CHANGES
3	0	doc/usersch5.tex
6	0	src/basemath/arith1.c
1	0	src/headers/paridecl.h

factorial_Fl: handle degenerate case p<=n

3	1	src/basemath/arith1.c

FpX_invLaplace/Fpx_Laplace: rewrite using factorial_Fp

20	10	src/basemath/FpX.c

New libpari function factorial_Fp

1	1	CHANGES
2	0	doc/usersch5.tex
21	0	src/basemath/arith1.c
1	0	src/headers/paridecl.h

Flx_invLaplace/Flx_Laplace: rewrite to use factorial_Fl

22	15	src/basemath/Flx.c

New libpari function factorial_Fl

1	0	CHANGES
2	0	doc/usersch5.tex
19	0	src/basemath/arith1.c
1	0	src/headers/paridecl.h

getfu: try to compute units also if bnfinit(,1)

remove normalization of bnf.fu (leading_coeff> 0) to allow getfu units
and compact units to match without introducing explicit -1

9	28	src/basemath/buch2.c
13	13	src/test/32/bnrclassfield
3	3	src/test/32/nfields
6	5	src/test/32/rnf
17	17	src/test/32/rnfkummer

Flxn_exp: remove whitespaces

1	1	src/basemath/Flx.c

typo

1	1	doc/usersch6.tex

refactor code related to image of units in (Z_K/f)^*

- do not expand compact units
- [libpari] bnf_get_sunits, nfsign_tu, nfsign_fu, ideallog_units, sunits_makecoprime

2	0	CHANGES
50	8	doc/usersch6.tex
62	42	src/basemath/base3.c
23	0	src/basemath/base4.c
35	11	src/basemath/buch2.c
2	9	src/basemath/buch3.c
6	1	src/headers/paridecl.h
0	1	src/headers/paripriv.h
1	1	src/modules/thue.c

init_Fq_i: fix call to init_Flxq_i

1	1	src/basemath/polarit3.c

test-plotexport: update

2	2	src/test/32/plotexport

plotps: use round linejoin (from Ilya)

3	2	src/graph/plotport.c

plotps: fix 'increase PS resolution'

12	11	src/graph/plotport.c
0	6	src/graph/plotps.c
0	2	src/graph/rect.h

reduce beta: don't expand fu if not needed

3	2	src/basemath/kummer.c

graph=ps: increase PS resolution

0	1	src/graph/plotport.c
6	0	src/graph/plotps.c
3	0	src/graph/rect.h

plotps: increases PS resolution 1000 times (from Ilya)

12	9	src/graph/plotport.c
1	1	src/test/32/plotexport

mfintereis: is_pm1 -> isint1

1	1	src/basemath/mftrace.c

CHANGES: fix description of F-35

1	1	CHANGES

36- missing type checks in lfunthetacheckinit [#2179]

1	0	CHANGES
2	2	src/basemath/lfun.c

fix lead_simplify logic

5	1	src/basemath/nffactor.c

binsum: cleanup obfuscated (-Wall) initialization for t

1	1	src/language/sumiter.c

heegner_try_point: handle torsion points correctly

1	1	src/basemath/ellanal.c

ffinit_Artin_Schreier: missing evalvarn

2	2	src/basemath/polarit3.c

Fq_to_FF could change the variable number of x

1	1	src/basemath/FF.c

ffinit_Artin_Schreier_2: do not use setvarn on vecsmall

1	2	src/basemath/polarit3.c

fix_var: use gel

1	1	src/modules/subfield.c

Flx_factorgalois: remove wrong setvarn

1	1	src/basemath/FpXQX_factor.c

Z_to_F2x(x,v): v is now a shifted variable number

This follow Z_to_Flx and usual convention

1	0	CHANGES
1	0	COMPAT
1	1	doc/usersch5.tex
2	3	src/basemath/F2x.c
2	2	src/basemath/FF.c

FpX_fromNewton: use Flx_fromNewton for small p

12	4	src/basemath/FpX.c

New libpari function Flxn_expint

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

New libpari function Flx_blocks

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

Doc: add Flm_Fl_sub

3	0	doc/usersch5.tex

FpXn_expint: use better splitting

Avoid computing a monomial which is discarded later, which cause
spurious impossible inverse: FpXn_expint(7*x^16+x+1,17,17)

3	4	src/basemath/FpX.c

FpX.c: add local alias for RgX_shift_shallow

13	13	src/basemath/FpX.c

New libpari function FpXn_expint

6	2	doc/usersch5.tex
70	30	src/basemath/FpX.c
1	0	src/headers/paridecl.h

cleanup isprincipalell

9	15	src/basemath/kummer.c

rnfkummer: remove mandatory units

+ reduce output (missing famat_reduce in rnfkummer_step5)
+ Flm_Fl_sub

2	0	src/basemath/FpV.c
4	4	src/basemath/buch2.c
51	39	src/basemath/kummer.c
2	0	src/headers/paridecl.h
26	26	src/test/32/bnrclassfield
49	68	src/test/32/rnfkummer
5	7	src/test/in/bnrclassfield

Flx_Laplace/Flx_invLaplace: type was wrong

2	2	src/basemath/Flx.c

remove useless settyp

0	1	src/basemath/buch2.c

typo

1	1	src/basemath/buch2.c

cleanup t_VEC/t_COL madness with log embeddings + fix bnfisunit in rank 0

4	5	src/basemath/base3.c
18	18	src/basemath/buch2.c
12	12	src/test/32/member
4	4	src/test/32/nfields

ZC_u_divexact

1	1	CHANGES
3	0	doc/usersch5.tex

ZMrow_equal0

1	1	CHANGES
3	0	doc/usersch5.tex

47- [libpari] famatV_zv_factorback, famatV_factorback

+ cleanup/simplify bnfisunit

3	2	CHANGES
12	3	doc/usersch6.tex
18	0	src/basemath/base4.c
14	25	src/basemath/buch2.c
4	22	src/basemath/kummer.c
2	1	src/headers/paridecl.h

nf_cxlog: fix inaccurate doc

4	4	doc/usersch6.tex

useless ZC_remove_unused

0	16	src/basemath/buch2.c

Flxq_factorback -> FlxqV_factorback

1	1	CHANGES
1	1	doc/usersch5.tex
1	1	src/basemath/buch2.c
1	1	src/basemath/polarit2.c
1	1	src/headers/paridecl.h

48- nflogembed, nf_cxlog, nfV_cxlog

1	0	CHANGES
25	4	doc/usersch6.tex
139	0	src/basemath/base3.c
26	137	src/basemath/buch2.c
2	2	src/basemath/kummer.c
3	0	src/headers/paridecl.h
0	1	src/headers/paripriv.h

47- [libpari] Flv_factorback, Flxq_factorback

1	1	CHANGES
5	0	doc/usersch5.tex
3	17	src/basemath/buch2.c
25	0	src/basemath/polarit2.c
1	0	src/headers/paridecl.h

35- x^12-4*x^11-1948*x^10+23072*x^9+1377243*x^8-28119512*x^7-305497980*x^6+12643497432*x^5-64374713540*x^4-1604497782672*x^3+26693470513376*x^2-159320374579040*x+352544728838416 -> SEGV [#2178]

2	0	CHANGES
2	4	src/basemath/base2.c
2	1	src/test/32/round4
3	0	src/test/in/round4

bnf computation: take contents into account everywhere

consequence: no need to fix representative in K^*/Q^* by adjusting norms;
no need to compute or store norms either

35	133	src/basemath/buch2.c
40	40	src/test/32/member
2	2	src/test/32/nf
3	3	src/test/32/nfields
44	31	src/test/32/rnfkummer
2	2	src/test/32/thue
1	1	src/test/in/nf
1	1	src/test/in/nfields
1	1	src/test/in/thue

fix compat bench

37	29	src/test/32/compat

remove unused function

0	2	src/basemath/buch2.c

test for old-style bnf + improve docs

1	0	src/basemath/buch2.c
2	2	src/functions/number_fields/bnfinit
6	3	src/functions/number_fields/nfnewprec

bnf format changed

4	0	COMPAT

compact representation for units and principal ideals generators

* bnfinit(,1): store algebraic data exactly => compact units + bnfnewprec
  always succeeds
* exact algebraic algorithm for bnfisprincipal (when bnfinit(,1) + nf_GENMAT)
* rewrite isvirtualunit using l-adic logs : don't call bnfisunit and
  complex embeddings. Would require high accuracy and now causes exponent
  overflow on 32bit archs [ FIXME: get_arch_real is stupid, should use
  logarithms only ]

3	0	CHANGES
11	0	src/basemath/ZV.c
3	1	src/basemath/bnflog.c
593	269	src/basemath/buch2.c
90	41	src/basemath/kummer.c
17	0	src/basemath/polarit2.c
34	23	src/functions/number_fields/bnfinit
23	8	src/functions/number_fields/bnfisprincipal
5	0	src/headers/paridecl.h
9	3	src/headers/pariinl.h
7	1	src/language/members.c
1	1	src/test/32/bnflog
20	20	src/test/32/bnrclassfield
6	4	src/test/32/member
6	38	src/test/32/nf
4	4	src/test/32/nfields
1	2	src/test/32/rnf
50	50	src/test/32/rnfkummer
1	1	src/test/32/thue
2	2	src/test/in/bnrclassfield
2	2	src/test/in/nf
1	1	src/test/in/nfields
1	1	src/test/in/rnfkummer
1	1	src/test/in/thue

gp_embedded: reset avma before calling parivstack_reset

1	0	src/language/es.c

FpX_direct_compositum, ffinit: fix C++ signedness issue

2	2	src/basemath/Flx.c
4	4	src/basemath/polarit3.c

fixedfieldsympol: remive unused variable v

5	5	src/basemath/galconj.c

cleanup bnfsunit, create bench

40	63	src/basemath/buch4.c
17	0	src/test/32/bnfsunit
1	5	src/test/32/nf
24	0	src/test/in/bnfsunit
0	6	src/test/in/nf

add coment

1	1	src/basemath/bibli1.c