Split database_pari

build/pkgs/pari_elldata/SPKG.txt

@@ -0,0 +1,18 @@
+= pari_elldata =
+
+== Description ==
+
+PARI/GP version of J. E. Cremona Elliptic Curve Data, needed by ellsearch and ellidentify.
+
+== License ==
+
+GNU General Public License (GPL version 2 or any later version).
+
+== Upstream Contact ==
+
+http://pari.math.u-bordeaux.fr/
+
+== Dependencies ==
+
+* Installation: None
+* Runtime: PARI/GP

build/pkgs/pari_elldata/checksums.ini

@@ -0,0 +1,4 @@
+tarball=elldata.tgz
+sha1=85f51ef85390f0f737fba10567d7d47f99249780
+md5=0ae49b7aa6a012ccd2804bfb831d3686
+cksum=1365963558

build/pkgs/database_pari/dependencies → build/pkgs/pari_elldata/dependencies

@@ -1,4 +1,4 @@
-pari
+| $(SAGERUNTIME)
 
 ----------
 All lines of this file are ignored except the first.

build/pkgs/pari_galdata/spkg-install

@@ -0,0 +1 @@
+sdh_install src/* "$GP_DATA_DIR"

build/pkgs/pari_galpol/SPKG.txt

@@ -0,0 +1,20 @@
+= pari_galpol =
+
+== Description ==
+
+PARI package of the GALPOL database of polynomials defining Galois
+extensions of the rationals, accessed by galoisgetpol, galoisgetgroup,
+galoisgetname.
+
+== License ==
+
+GNU General Public License (GPL version 2 or any later version).
+
+== Upstream Contact ==
+
+http://pari.math.u-bordeaux.fr/
+
+== Dependencies ==
+
+* Installation: None
+* Runtime: PARI/GP

build/pkgs/pari_galpol/checksums.ini

@@ -0,0 +1,4 @@
+tarball=galpol.tgz
+sha1=b072d752207bf598c86c896dc2ce35314fd9aff4
+md5=6ebd6057f1b252f7f9b77525c27f447d
+cksum=547352040

build/pkgs/pari_galpol/dependencies

@@ -0,0 +1,5 @@
+| $(SAGERUNTIME)
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/pari_galpol/package-version.txt

@@ -0,0 +1 @@
+20180625

build/pkgs/pari_galpol/spkg-install

@@ -0,0 +1 @@
+sdh_install src/* "$GP_DATA_DIR"

build/pkgs/pari_galpol/type

@@ -0,0 +1 @@
+optional

build/pkgs/pari_nftables/SPKG.txt

@@ -0,0 +1,19 @@
+= pari_elldata =
+
+== Description ==
+
+Repackaging of the historical megrez number field tables
+(errors fixed, 1/10th the size, easier to use).
+
+== License ==
+
+GNU General Public License (GPL version 2 or any later version).
+
+== Upstream Contact ==
+
+http://pari.math.u-bordeaux.fr/
+
+== Dependencies ==
+
+* Installation: None
+* Runtime: PARI/GP

build/pkgs/pari_nftables/checksums.ini

@@ -0,0 +1,4 @@
+tarball=nftables.tgz
+sha1=90df66222346b0dbca68925671a374f5e286daeb
+md5=82788524f36bbbba886785c940c859db
+cksum=1478870095

build/pkgs/pari_nftables/dependencies

@@ -0,0 +1,5 @@
+# no dependencies
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/pari_nftables/package-version.txt

@@ -0,0 +1 @@
+20080929

build/pkgs/pari_nftables/spkg-install

@@ -0,0 +1 @@
+sdh_install src/* "$GP_DATA_DIR/nftables"

build/pkgs/pari_nftables/type

@@ -0,0 +1 @@
+optional

build/pkgs/pari_seadata/SPKG.txt

@@ -0,0 +1,23 @@
+= pari_seadata =
+
+== Description ==
+
+Needed by ellap for large primes.
+These polynomials were extracted from the ECHIDNA databases and computed
+by David R. Kohel. This covers finite fields of cardinality q up to 750
+bits. PARI/GP 2.9 contains fallback code to go on when all modular
+polynomials in the database have been exhausted and can handle larger
+fields (with an important slowdown).
+
+== License ==
+
+GNU General Public License (GPL version 2 or any later version).
+
+== Upstream Contact ==
+
+http://pari.math.u-bordeaux.fr/
+
+== Dependencies ==
+
+* Installation: None
+* Runtime: PARI/GP

build/pkgs/pari_seadata/checksums.ini

@@ -0,0 +1,4 @@
+tarball=seadata.tgz
+sha1=fa3deb36df0ce71a466eb0ff0d4a18d48d44e8b9
+md5=6e9c119ccb3c65916a48e1a8cd899558
+cksum=3015139491

build/pkgs/pari_seadata/dependencies

@@ -0,0 +1,5 @@
+| $(SAGERUNTIME)
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/pari_seadata/package-version.txt

@@ -0,0 +1 @@
+20090618

build/pkgs/pari_seadata/spkg-install

@@ -0,0 +1 @@
+sdh_install src/* "$GP_DATA_DIR"

build/pkgs/pari_seadata/type

@@ -0,0 +1 @@
+optional

build/pkgs/pari_seadata_small/spkg-install

@@ -0,0 +1 @@
+sdh_install src/* "$GP_DATA_DIR"

src/sage/tests/parigp.py

@@ -41,32 +41,32 @@
 
 Check that the optional PARI databases work::
 
-    sage: gp.ellinit('"299998a1"')  # optional -- database_pari
+    sage: gp.ellinit('"299998a1"')  # optional -- pari_elldata
     [1, 0, 1, 110, -3660, ...]
     sage: E = EllipticCurve("1728ba1")
-    sage: gp(E).ellidentify()  # optional -- database_pari
+    sage: gp(E).ellidentify()  # optional -- pari_elldata
     [["1728ba1", [0, 0, 0, -6, 6], [[1, 1]]], [1, 0, 0, 0]]
 
-    sage: pari("ellmodulareqn(211)")  # optional -- database_pari
+    sage: pari("ellmodulareqn(211)")  # optional -- pari_seadata
     [x^212 + (-y^7 + 5207*y^6 - 10241606*y^5 + 9430560101*y^4 - 4074860204015*y^3 + 718868274900397*y^2 - 34897101275826114*y + 104096378056356968)*x^211...
 
 The following requires the modular polynomials up to degree 223, while
 only those up to degree 199 come standard in Sage::
 
     sage: p = next_prime(2^328)
     sage: E = EllipticCurve(GF(p), [6,1])
-    sage: E.cardinality()  # long time (108s on sage.math, 2013), optional -- database_pari
+    sage: E.cardinality()  # long time (108s on sage.math, 2013), optional -- pari_seadata
     546812681195752981093125556779405341338292357723293496548601032930284335897180749997402596957976244
 
 Create a number field with Galois group `A4`. Group `A4` corresponds to
 transitive group `(12,3)` in GAP::
 
     sage: R.<x> = PolynomialRing(ZZ)
-    sage: pol = pari("galoisgetpol(12,3)[1]")  # optional -- database_pari
-    sage: K.<a> = NumberField(R(pol))  # optional -- database_pari
-    sage: factor(K.discriminant())  # optional -- database_pari
+    sage: pol = pari("galoisgetpol(12,3)[1]")  # optional -- pari_galpol
+    sage: K.<a> = NumberField(R(pol))  # optional -- pari_galpol
+    sage: factor(K.discriminant())  # optional -- pari_galpol
     163^8
-    sage: [F.degree() for F,a,b in K.subfields()]  # optional -- database_pari
+    sage: [F.degree() for F,a,b in K.subfields()]  # optional -- pari_galpol
     [1, 3, 4, 4, 4, 4, 6, 6, 6, 12]
     sage: sorted([12/H.cardinality() for H in AlternatingGroup(4).subgroups()])
     [1, 3, 4, 4, 4, 4, 6, 6, 6, 12]