Changes commited to PARI GIT during the last two weeks

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

improve ZX_content

16	8	src/basemath/polarit2.c

add comments

2	2	src/basemath/QX_factor.c

add/improve comments

2	2	src/basemath/QX_factor.c
2	0	src/basemath/rootpol.c

refactor computation of ch_C

14	9	src/modules/stark.c

use divrmp

1	1	src/basemath/rootpol.c

23- mpdiv is now obsolete, use divmpr or divrmp instead.

The goal of mp functions is to
- allow t_INT / t_REAL inputs with easily determined output types
  (t_REAL when one of the inputs is a t_REAL) and fast calls to
  arithmetic kernel functions compared to generic functions
- that point aside, implement "generic" arithmetic

mpdiv(t_INT, t_INT) violated the second assumption by returning a
Euclidean quotient, while all other 3 type combinations (involving at
least one t_REAL) returned the ordinary quotient.

This created subtle bugs in linear algebra functions with 'mp'
coefficients using mpxxx functions. For instance dividing a t_INT by a
t_INT pivot gave a wrong (Euclidean) quotient instead of the required
(exact rational) quotient.

2	0	CHANGES
3	0	COMPAT
15	7	doc/usersch5.tex
2	2	src/basemath/trans2.c
2	2	src/functions/symbolic_operators/div
2	2	src/functions/symbolic_operators/dive
2	0	src/headers/paridecl.h
9	3	src/kernel/none/level1.h

newblock_t: use malloc

8	1	src/language/init.c

Add support for [...| ...; a=...]

6	0	doc/develop.tex
42	0	src/basemath/alglin3.c
22	0	src/functions/symbolic_operators/compr
4	0	src/headers/paridecl.h
2	0	src/headers/paripriv.h
9	2	src/language/parse.y
2	2	src/language/parsec.h
16	0	src/language/sumiter.c
1	1	src/language/tree.h
2	1	src/test/32/ranges
1	0	src/test/in/ranges

newblock_t: allow to define non-recursive block.

A block is non-recursive if either it has non GEN component, or more generally
all its GEN component are clone.

1	0	CHANGES
23	0	doc/develop.tex
5	1	src/headers/paridecl.h
0	4	src/headers/paripriv.h
4	0	src/kernel/none/level1.h
9	16	src/language/init.c

New libpari functions F3v_dotproduct, F3v_dotsquare

1	1	CHANGES
4	0	doc/usersch5.tex
35	0	src/basemath/F3v.c
2	0	src/headers/paridecl.h

New libpari function F3m_rank

1	0	CHANGES
2	0	doc/usersch5.tex
8	1	src/basemath/F3v.c
2	1	src/basemath/alglin1.c
1	0	src/headers/paridecl.h

test-ellff: set stacksize back to 10M

2	2	src/test/32/ellff
1	1	src/test/in/ellff

kill warning

1	1	src/basemath/Zp.c

Flxq_ellcard_i: update tuning

8	2	src/basemath/FlxqE.c