Changes commited to PARI GIT during the last two weeks

genus2charpoly: implement type5 non-split for p=2

Now, genus2charpoly(W,2) should give the correct result except that when the
correct result is of degree 1 or 2, it might return 1 instead.

131	11	src/basemath/hyperell.c

test-genus2red: add tests for p=2

1075	467	src/test/32/genus2red
8	1	src/test/in/genus2red

genus2red: remove component pic for p=2 (not correct)

1	0	src/functions/elliptic_curves/genus2red
4	1	src/modules/genus2red.c
3	4	src/test/32/genus2red

get_Flx_algebra: e->v was not set

1	1	src/basemath/Flx.c

genus2charpoly: do not compute P when p=2.

3	1	src/basemath/hyperell.c

New libpari functions ZXX_pval, ZXV_pval

1	1	CHANGES
6	0	doc/usersch5.tex
16	0	src/basemath/gen2.c
2	0	src/headers/paridecl.h

genus2_eulerfact2: remove spurious parameter F

(next version of genus2_type5 will need both P and Q)

3	2	src/basemath/hyperell.c
1	1	src/basemath/lfunutils.c
1	1	src/headers/paripriv.h

New libpari function ZXX_shifti

1	0	CHANGES
3	0	doc/usersch5.tex
13	0	src/basemath/ZX.c
1	0	src/headers/paridecl.h

doc: get_F*_algebra section: resort

5	4	doc/usersch5.tex

New libpari function get_Flx_algebra

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

New libpari function get_Flxq_algebra

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

gen_parapply_percent, parvector, parmatrix: don't leave object on stack

The one in gen_parapply_percent could corrupt the stack. The other two
would waste a small number of stack words.

3	3	src/basemath/alglin3.c
13	7	src/language/eval.c

test-variable: also test the GP function 'variables'

8	0	src/test/32/variable
7	0	src/test/in/variable

New libpari function gen_parpairwiseop_percent

1	1	CHANGES
10	4	doc/usersch4.tex
5	1	src/basemath/alglin3.c
2	2	src/basemath/arith1.c
2	1	src/headers/paridecl.h

Update test

6	3	src/test/32/diffop
4	3	src/test/32/disc
3	2	src/test/32/ellff
15	15	src/test/32/ellfromeqn
2	2	src/test/32/resultant
1	1	src/test/in/elliptic
1	1	src/test/in/polyser

Revert "RgX_Rg_div: implicit simplification of multivariate t_POL coeffs"

This reverts commit f1f26dedcbc8dc2a43c97412c27d1fd80060cb97.

Too much magic

6	16	src/basemath/RgX.c

Revert "RgX_mulspec / RgX_sqrspec: simplify coeffs when t_POL of degree 0"

This reverts commit e3346f5bb0e4c63bbbe1afc35ad1585aa0415283.

Too much magic.

2	13	src/basemath/RgX.c

Revert "implicit simplification of multivariate t_POL coeffs"

This reverts commit b38d5c87bd9ac0221b6c566664a1051fd6b313e8.

Too much magic.

4	23	src/basemath/RgX.c

Revert "implicit simplification of multivariate t_POL coeffs"

This reverts commit 4076937d957908bb85e30c025b1a1d620f100688.

Too much magic.

8	35	src/basemath/RgX.c

gen_parpairwiseop: avoid corrupting PARI stack

must either inhibit W[0..2] gc-wise (stackdummy) or store data out of
PARI stack. Chose the latter.

2	2	src/basemath/alglin3.c

ZMV_producttree: parallelize

28	16	src/basemath/arith1.c

New libpari function ZMV_prod

1	0	CHANGES
2	0	doc/usersch5.tex
5	0	src/basemath/ZV.c
1	0	src/headers/paridecl.h

New libpari function gen_parpairwiseop

1	0	CHANGES
7	1	doc/usersch4.tex
34	0	src/basemath/alglin3.c
1	0	src/headers/paridecl.h

Move vecan_genus2 from lfunutils.c to hyperell.c

78	0	src/basemath/hyperell.c
0	80	src/basemath/lfunutils.c
1	0	src/headers/paripriv.h

hyperell.c: separate naive algo from Kedlaya algo.

106	99	src/basemath/hyperell.c

document GP_PDF_VIEWER

if set, it now overrides GPXDVI

8	0	doc/gp.1
15	6	doc/gphelp.1
32	27	doc/gphelp.in

_can5_iter: simplify assuming p=5

4	27	src/basemath/Zp.c

gphelp: remove GPHELP_TMPDIR and GPHELP_DOCDIR aliases

Obsoleted and changed for GPTMPDIR and GPDOCDIR in pari-2.0.12 (1998)
and left undocumented since then

3	0	CHANGES
3	0	COMPAT
2	2	doc/gphelp.in

ghelp man: add xdg-open in SEE ALSO section

1	0	doc/gphelp.1

refactor open_vieww_then quit + document fully GPXDVI/GPTEX interaction

14	6	doc/gphelp.1
26	26	doc/gphelp.in

Revert "gphelp.in: remove xdviref" + document GPXDVIREF

This mostly reverts commit 8487ee05e58731b67da78a0fc83894525e051857.
(we keep the part removing the -paper flag in GPXDVIREF)

9	1	doc/gphelp.1
4	2	doc/gphelp.in

dummy.c: replace new_block by new_block_t, pari_err_TYPE2

2	1	src/test/dummy.c

gphelp.in: remove xdviref, DVI refcard now know orientation

1	2	doc/gphelp.in

New libpari functions FlxqXn_div, FlxqXn_div_pre

1	0	CHANGES
4	0	doc/usersch5.tex
24	6	src/basemath/FlxX.c
2	0	src/headers/paridecl.h

FpXQXn_div: remove misuse of is_pm1

1	1	src/basemath/FpXX.c

polgraeffe(P,d): generalized Graeffe identity

return g so that
g(x^d) = prod(i=0,d-1,f(x*y^i)) mod y^d-1

1	0	CHANGES
2	0	doc/usersch5.tex
50	0	src/basemath/rootpol.c
7	5	src/functions/polynomials/polgraeffe
2	0	src/headers/paridecl.h

get_B0: replace mpadd by addii

4	4	src/modules/thue.c

fix doc of ZX_squff

7	6	doc/usersch5.tex

59- polcyclofactors(((x^6+x^3+1)*(3*x^3+1))^2) -> oo loop [#2680]

- ZX_radical is now guaranteed to be primitive, fixing the above issue
  (BD required a primitive input)

- ZX_gcd_all(A, B, &Anew) returns d = gcd(A,B) and used to set Anew to an
  integer multiple of A / d. We now set Anew to the primitive part of A / d.
  This ensures the primitivity of ZX_radical

N.B. Pre-existing minor inefficiency: ZX_* or QX_* functions will
successively call Q_primpart() on their inputs although primitivity was
already ensured by the caller.

4	0	CHANGES
4	0	COMPAT
4	4	doc/usersch5.tex
10	4	src/basemath/QX_factor.c
2	1	src/test/32/cyclo
1	0	src/test/in/cyclo

ZX_content: add test for |x_0| = 1

2	1	src/basemath/polarit2.c