Changes commited to PARI GIT during the last two weeks

721a33fc36 | Bill Allombert | Mon, 23 Dec 2024 14:53:47 +0100

24- polresultant(t_POL with RFRAC coeffs) could be incorrect [#2588]

1	0	CHANGES
24	1	src/basemath/polarit2.c
7	1	src/test/32/resultant
6	0	src/test/in/resultant

c993683b2b | Bill Allombert | Mon, 23 Dec 2024 13:21:42 +0100

Flxq_sqrt: implement fast algorithm

88	3	src/basemath/Flx.c
4	4	src/test/32/ellpadic
16	17	src/test/32/ff
8	8	src/test/32/isprime
2	2	src/test/32/member
2	2	src/test/32/random

367250692c | Bill Allombert | Mon, 23 Dec 2024 13:21:42 +0100

FpXQ_sqrt: remove duplicate code for p=2

1	7	src/basemath/FpX.c

5929c2d02a | Karim Belabas | Sun, 22 Dec 2024 22:24:33 +0100

doc improvement

2	2	src/functions/polynomials/polresultant

e9acbd839a | Karim Belabas | Sun, 22 Dec 2024 21:40:07 +0100

rnf functions: check that t_POL has coeffs in Z_K

23- rnf functions which assume polynomial with integral coeffs (rnfinit,
    rnfpseudobasis, rnfdisc, rnfdedekind) were missing relevant sanity
    checks

TODO: the function nfisintegral could be made public and exported to GP

3	0	CHANGES
67	0	src/basemath/base2.c
5	2	src/test/32/rnf
2	0	src/test/in/rnf

5a7e71cbcb | Karim Belabas | Sun, 22 Dec 2024 21:00:22 +0100

ZV_Z_dvd: gc_long -> gc_int

2	2	src/basemath/gen2.c

bc13c3cfd5 | Bill Allombert | Sun, 22 Dec 2024 11:44:12 +0100

FpXQ_sqrt: implement fast algorithm (from Márton Tot Bagi)

1	0	CHANGES
83	1	src/basemath/FpX.c
3	3	src/test/32/random

4d001396c7 | Karim Belabas | Thu, 19 Dec 2024 15:58:56 +0100

kill warning

1	1	src/basemath/bb_group.c

87a871f3dc | Karim Belabas | Thu, 19 Dec 2024 15:57:39 +0100

properly document LLL_KEEP_FIRST

7	6	doc/usersch6.tex

254f602fce | Karim Belabas | Tue, 17 Dec 2024 02:19:33 +0100

cleanup gen_ellgroup

55	51	src/basemath/bb_group.c

20f35e382a | Karim Belabas | Mon, 16 Dec 2024 11:58:17 +0100

improve doc

3	1	doc/usersch5.tex

575e55b89d | Karim Belabas | Mon, 16 Dec 2024 11:31:03 +0100

improve doc

1	1	doc/usersch5.tex

c415516ebd | Bill Allombert | Sat, 14 Dec 2024 13:20:01 +0100

gen_ellgroup: faster algorithm (From Martin Tot Bagi)

27	6	src/basemath/bb_group.c

0e3a4be00f | Bill Allombert | Thu, 12 Dec 2024 00:49:51 +0100

gen_order: use recursive algorithm by Márton Tot Bagi

1	0	AUTHORS
1	0	CHANGES
34	26	src/basemath/bb_group.c

f9889d2e2d | Karim Belabas | Wed, 11 Dec 2024 11:12:51 +0100

22- psi(x close to a nonpositive integer) -> error

1	0	CHANGES
6	3	src/basemath/lerch.c
6	1	src/test/32/gamma
3	0	src/test/in/gamma

e2f896024d | Karim Belabas | Wed, 11 Dec 2024 10:45:07 +0100

move QXQ_charpoly [#2591] fix to its proper place

QXQ_charpoly arguments are documented as QX + ZX and this is easy
and cheaper to ensure in the caller.

Move fix to RgXQ_charpoly_fast with slight inefficency (extra
gerepileupto) in the silly case where the T argument was *not* a ZX.
Cheaper than a (systematic!) Q_primpart in any case, and a priori never
exercised if the caller of RgXQ_charpoly is sane.

I would go so far as calling RgXQ_charpoly with a non-ZX argument T as a
bug if it occurs through a libpari call (OK through a random call to
GP's charpoly: we can't prevent users from being inefficient).

9	1	src/basemath/polarit2.c
1	1	src/basemath/polarit3.c