Trac #34537: Upgrade to pari 2.15.2

PARI/GP 2.15 is out, and homebrew, gentoo, arch, debian-unstable already
have the new version.

- giac does not build, see [[https://trac.sagemath.org/raw-
attachment/ticket/34537/giac-1.9.0.15p0.log|giac-1.9.0.15p0.log]]

URL: https://trac.sagemath.org/34537
Reported by: vdelecroix
Ticket author(s): Bill Allombert, Vincent Delecroix, Antonio Rojas
Reviewer(s): Dima Pasechnik, John Cremona

Author: Release Manager

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=7d95f0aa4a25b8160594f08bf5832fdad6774ee1
-md5=08d682dfb7eae43af051188205449f02
-cksum=1634731426
+sha1=989f4d14dd5ffaa6ec10c3574eb05bf8936bc493
+md5=b5c5cde1e8679d1859d8535ed9df961c
+cksum=2678132185

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-272c557d1f34fab9617dcf289a13bc7f51e2854e
+156046b3bdfd1913720f061f9cd1cd9b23487041

build/pkgs/giac/patches/pari_2_15.patch

@@ -0,0 +1,21 @@
+ANYARG patch
+
+diff --git a/src/pari.cc b/src/pari.cc
+index 76ce8e1..50d08ab 100644
+--- a/src/pari.cc
++++ b/src/pari.cc
+@@ -40,6 +40,13 @@ using namespace std;
+ 
+ #ifdef HAVE_LIBPARI
+ 
++// Anyarg disappeared from PARI 2.15.0
++#ifdef __cplusplus
++#  define ANYARG ...
++#else
++#  define ANYARG
++#endif
++
+ #ifdef HAVE_PTHREAD_H
+ #include <pthread.h>
+ #endif
+

build/pkgs/pari/checksums.ini

@@ -1,5 +1,5 @@
 tarball=pari-VERSION.tar.gz
-sha1=e01647aab7e96a8cb4922cf26a4f224337c6647f
-md5=922f740fcdf8630b30d63dc76b58f756
-cksum=297133525
+sha1=498e3cd0b7ded8be3fa1cba1125ca5213ed39453
+md5=562a6e973ca3980dc6c1eb2c4f252e92
+cksum=4081416981
 upstream_url=https://pari.math.u-bordeaux.fr/pub/pari/unix/pari-VERSION.tar.gz

build/pkgs/pari/package-version.txt

@@ -1 +1 @@
-2.13.3
+2.15.2.p1

build/pkgs/pari/patches/bug2441.patch

@@ -0,0 +1,14 @@
+diff --git a/src/basemath/ellsea.c b/src/basemath/ellsea.c
+index a6871fa6a7..05f148eadd 100644
+--- a/src/basemath/ellsea.c
++++ b/src/basemath/ellsea.c
+@@ -852,7 +852,8 @@ find_isogenous_from_Atkin(GEN a4, GEN a6, ulong ell, struct meqn *MEQN, GEN g, G
+       GEN a4t, a6t, h;
+       a4a6t(&a4t, &a6t, ell, E4t, E6t, T, p);
+       h = find_kernel(a4, a6, ell, a4t, a6t, pp1, T, p, pp, e);
+-      if (h) return gerepilecopy(ltop, mkvec3(a4t, a6t, h));
++      if (h && signe(Fq_elldivpolmod(a4, a6, ell, h, T, pp))==0)
++        return gerepilecopy(ltop, mkvec3(a4t, a6t, h));
+     }
+   }
+   pari_err_BUG("find_isogenous_from_Atkin, kernel not found");

build/pkgs/pari/spkg-configure.m4

@@ -1,7 +1,7 @@
 SAGE_SPKG_CONFIGURE([pari], [
   dnl See gp_version below on how the version is computed from MAJV.MINV.PATCHV
-  m4_pushdef([SAGE_PARI_MINVER],["134401"])dnl this version and higher allowed
-  m4_pushdef([SAGE_PARI_MAXVER],["134912"])dnl this version and higher not allowed
+  m4_pushdef([SAGE_PARI_MINVER],["134912"])dnl this version and higher allowed
+  m4_pushdef([SAGE_PARI_MAXVER],["999999"])dnl this version and higher not allowed
   SAGE_SPKG_DEPCHECK([gmp readline], [
     AC_PATH_PROG([GP], [gp])
     if test x$GP = x; then dnl GP test
@@ -67,17 +67,6 @@ SAGE_SPKG_CONFIGURE([pari], [
             AC_MSG_NOTICE([Otherwise Sage will build its own pari/GP.])
             sage_spkg_install_pari=yes
         fi
-        AC_MSG_CHECKING([whether rnfdisc bug of pari 2.13.1 is fixed])
-        bug_check=`echo "K = nfinit(y^4-10*y^2+1); disc = rnfdisc(K,x^2-(y^3/2+y^2-5*y/2+1)); idealnorm(K,disc)" | $GP -qf 2>> config.log`
-        expected="2304"
-        if test x"$bug_check" = x"$expected"; then
-          AC_MSG_RESULT([yes])
-        else
-           AC_MSG_RESULT([no; cannot use system pari/GP with known bug])
-           AC_MSG_NOTICE([Upgrade your system package and reconfigure.])
-           AC_MSG_NOTICE([Otherwise Sage will build its own pari/GP.])
-           sage_spkg_install_pari=yes
-        fi
     fi dnl end GP test
 
       if test x$sage_spkg_install_pari = xno; then dnl main PARI test

src/doc/de/tutorial/tour_numtheory.rst

@@ -157,7 +157,7 @@ implementiert.
     Univariate Quotient Polynomial Ring in a over Rational Field with modulus
     x^3 + x^2 - 2*x + 8
     sage: K.units()
-    (3*a^2 + 13*a + 13,)
+    (-3*a^2 - 13*a - 13,)
     sage: K.discriminant()
     -503
     sage: K.class_group()

src/doc/en/tutorial/tour_numtheory.rst

@@ -157,7 +157,7 @@ NumberField class.
     Univariate Quotient Polynomial Ring in a over Rational Field with modulus
     x^3 + x^2 - 2*x + 8
     sage: K.units()
-    (3*a^2 + 13*a + 13,)
+    (-3*a^2 - 13*a - 13,)
     sage: K.discriminant()
     -503
     sage: K.class_group()

src/doc/es/tutorial/tour_numtheory.rst

@@ -140,7 +140,7 @@ Varios métodos relacionados están implementados en la clase ``NumberField``::
     Univariate Quotient Polynomial Ring in a over Rational Field with modulus
     x^3 + x^2 - 2*x + 8
     sage: K.units()
-    (3*a^2 + 13*a + 13,)
+    (-3*a^2 - 13*a - 13,)
     sage: K.discriminant()
     -503
     sage: K.class_group()