passagemath-database-jones-numfield 10.6.45__py3-none-any.whl

passagemath_database_jones_numfield/__init__.py

@@ -0,0 +1,3 @@
+# sage_setup: distribution = sagemath-database-jones-numfield
+
+from sage.all__sagemath_database_jones_numfield import *

passagemath_database_jones_numfield-10.6.45.dist-info/METADATA

@@ -0,0 +1,94 @@
+Metadata-Version: 2.4
+Name: passagemath-database-jones-numfield
+Version: 10.6.45
+Summary: passagemath: Table of number fields
+Author-email: The Sage Developers <sage-support@googlegroups.com>
+Maintainer: Matthias Köppe, passagemath contributors
+License-Expression: GPL-2.0-or-later
+Project-URL: release notes, https://github.com/passagemath/passagemath/releases
+Project-URL: repo (upstream), https://github.com/sagemath/sage
+Project-URL: repo, https://github.com/passagemath/passagemath
+Project-URL: documentation, https://passagemath.org/docs/latest
+Project-URL: homepage (upstream), https://www.sagemath.org
+Project-URL: discourse, https://passagemath.discourse.group
+Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
+Project-URL: tracker, https://github.com/passagemath/passagemath/issues
+Classifier: Development Status :: 6 - Mature
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: POSIX
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.15,>=3.10
+Description-Content-Type: text/x-rst
+Requires-Dist: passagemath-environment~=10.6.45.0
+
+=====================================
+ passagemath: Table of number fields
+=====================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.14.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-database-jones-numfield`` is a
+distribution of a table of number fields with bounded ramification and degree
+at most 6.
+
+
+What is included
+----------------
+
+- Wheels on PyPI include the database_jones_numfield files

passagemath_database_jones_numfield-10.6.45.dist-info/METADATA.bak

@@ -0,0 +1,95 @@
+Metadata-Version: 2.4
+Name: passagemath-database-jones-numfield
+Version: 10.6.45
+Summary: passagemath: Table of number fields
+Author-email: The Sage Developers <sage-support@googlegroups.com>
+Maintainer: Matthias Köppe, passagemath contributors
+License-Expression: GPL-2.0-or-later
+Project-URL: release notes, https://github.com/passagemath/passagemath/releases
+Project-URL: repo (upstream), https://github.com/sagemath/sage
+Project-URL: repo, https://github.com/passagemath/passagemath
+Project-URL: documentation, https://passagemath.org/docs/latest
+Project-URL: homepage (upstream), https://www.sagemath.org
+Project-URL: discourse, https://passagemath.discourse.group
+Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
+Project-URL: tracker, https://github.com/passagemath/passagemath/issues
+Classifier: Development Status :: 6 - Mature
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: POSIX
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.15,>=3.10
+Description-Content-Type: text/x-rst
+Requires-Dist: passagemath-conf~=10.6.45.0; sys_platform != "win32"
+Requires-Dist: passagemath-environment~=10.6.45.0
+
+=====================================
+ passagemath: Table of number fields
+=====================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.14.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-database-jones-numfield`` is a
+distribution of a table of number fields with bounded ramification and degree
+at most 6.
+
+
+What is included
+----------------
+
+- Wheels on PyPI include the database_jones_numfield files

passagemath_database_jones_numfield-10.6.45.dist-info/RECORD

@@ -0,0 +1,10 @@
+passagemath_database_jones_numfield/__init__.py,sha256=d05QXdJ4poWm5aG29zPdN-ALRtVYuZJllt0M3paxdx8,120
+sage/all__sagemath_database_jones_numfield.py,sha256=_BI9Fw48b1L-whWCVreD4WSRFI3WgTzdyP12wY5QVKA,130
+sage/databases/all__sagemath_database_jones_numfield.py,sha256=pKsZf9qbjY6EM50Yf3QBm4ySHm3bx8wiSerQ5y3Lf2w,179
+sage/databases/jones.py,sha256=HHFQAVE_-KlheT7rnIKJGTw5nxBl49fdvcrl-eoNexI,11022
+sage_wheels/share/jones/jones.sobj,sha256=HgCAbbvJn_XahvjSHXW6sU5LAKhe68cOoNnGS-ct_Dg,184466
+passagemath_database_jones_numfield-10.6.45.dist-info/METADATA,sha256=fb_GNj9YmRvLYf3O3DMUHEAL5MhhREkQiUkTR-BY7fw,4226
+passagemath_database_jones_numfield-10.6.45.dist-info/METADATA.bak,sha256=__7TPtaXgdVkp8F4ZuvGTdROP61ZH_8y2kYRNlnDGSs,4294
+passagemath_database_jones_numfield-10.6.45.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
+passagemath_database_jones_numfield-10.6.45.dist-info/top_level.txt,sha256=vcClUXeh-dH3LwFncGB2sW6oItm7f9dYAe6QyP0Fdbo,41
+passagemath_database_jones_numfield-10.6.45.dist-info/RECORD,,

passagemath_database_jones_numfield-10.6.45.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (78.1.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

passagemath_database_jones_numfield-10.6.45.dist-info/top_level.txt

@@ -0,0 +1,2 @@
+passagemath_database_jones_numfield
+sage

sage/all__sagemath_database_jones_numfield.py

@@ -0,0 +1,3 @@
+# sage_setup: distribution = sagemath-database-jones-numfield
+
+from sage.databases.all__sagemath_database_jones_numfield import *

sage/databases/all__sagemath_database_jones_numfield.py

@@ -0,0 +1,6 @@
+# sage_setup: distribution = sagemath-database-jones-numfield
+from sage.misc.lazy_import import lazy_import
+
+lazy_import('sage.databases.jones', 'JonesDatabase')
+
+del lazy_import

sage/databases/jones.py

@@ -0,0 +1,282 @@
+# sage_setup: distribution = sagemath-database-jones-numfield
+r"""
+John Jones's tables of number fields
+
+In order to use the Jones database, the optional :ref:`database_jones_numfield
+<spkg_database_jones_numfield>` package must be installed using the Sage command ::
+
+    sage -i database_jones_numfield
+
+This is a table of number fields with bounded ramification and
+degree `\leq 6`. You can query the database for all number
+fields in Jones's tables with bounded ramification and degree.
+
+EXAMPLES: First load the database::
+
+    sage: J = JonesDatabase()
+    sage: J
+    John Jones's table of number fields with bounded ramification and degree <= 6
+
+List the degree and discriminant of all fields in the database that
+have ramification at most at 2::
+
+    sage: [(k.degree(), k.disc()) for k in J.unramified_outside([2])]    # optional - database_jones_numfield
+    [(1, 1), (2, -4), (2, -8), (2, 8), (4, 256), (4, 512), (4, -1024), (4, -2048), (4, 2048), (4, 2048), (4, 2048)]
+
+List the discriminants of the fields of degree exactly 2 unramified
+outside 2::
+
+    sage: [k.disc() for k in J.unramified_outside([2],2)]                # optional - database_jones_numfield
+    [-4, -8, 8]
+
+List the discriminants of cubic field in the database ramified
+exactly at 3 and 5::
+
+    sage: [k.disc() for k in J.ramified_at([3,5],3)]                     # optional - database_jones_numfield
+    [-135, -675, -6075, -6075]
+    sage: factor(6075)
+    3^5 * 5^2
+    sage: factor(675)
+    3^3 * 5^2
+    sage: factor(135)
+    3^3 * 5
+
+List all fields in the database ramified at 101::
+
+    sage: J.ramified_at(101)                                             # optional - database_jones_numfield
+    [Number Field in a with defining polynomial x^2 - 101,
+     Number Field in a with defining polynomial x^4 - x^3 + 13*x^2 - 19*x + 361,
+     Number Field in a with defining polynomial x^5 + x^4 - 6*x^3 - x^2 + 18*x + 4,
+     Number Field in a with defining polynomial x^5 + 2*x^4 + 7*x^3 + 4*x^2 + 11*x - 6,
+     Number Field in a with defining polynomial x^5 - x^4 - 40*x^3 - 93*x^2 - 21*x + 17]
+"""
+
+# ****************************************************************************
+#       Sage: Open Source Mathematical Software
+#
+#       Copyright (C) 2005 William Stein <wstein@gmail.com>
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#
+#    This code is distributed in the hope that it will be useful,
+#    but WITHOUT ANY WARRANTY; without even the implied warranty of
+#    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+#    General Public License for more details.
+#
+#  The full text of the GPL is available at:
+#
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+import os
+
+from sage.rings.number_field.number_field import NumberField
+from sage.rings.rational_field import RationalField
+from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
+from sage.combinat.subset import powerset
+from sage.env import SAGE_SHARE
+
+from sage.misc.persist import load, save
+
+from sage.features.databases import DatabaseJones
+
+
+def sortkey(K):
+    """
+    A completely deterministic sorting key for number fields.
+
+    EXAMPLES::
+
+        sage: from sage.databases.jones import sortkey
+        sage: sortkey(QuadraticField(-3))
+        (2, 3, False, x^2 + 3)
+    """
+    return K.degree(), abs(K.discriminant()), K.discriminant() > 0, K.polynomial()
+
+
+class JonesDatabase:
+    def __init__(self):
+        self.root = None
+
+    def __repr__(self):
+        return "John Jones's table of number fields with bounded ramification and degree <= 6"
+
+    def _load(self, path, filename):
+        print(filename)
+        i = 0
+        while filename[i].isalpha():
+            i += 1
+        j = len(filename) - 1
+        while filename[j].isalpha() or filename[j] in [".", "_"]:
+            j -= 1
+        S = sorted([eval(z) for z in filename[i:j + 1].split("-")])
+        with open(path + "/" + filename) as f:
+            data = f.read()
+        data = data.replace("^", "**")
+        x = PolynomialRing(RationalField(), 'x').gen()  # used next line
+        v = eval(data)
+        s = tuple(S)
+        if s in self.root:
+            self.root[s] += v
+            self.root[s].sort()
+        else:
+            self.root[s] = v
+
+    def _init(self, path):
+        """
+        Create the database from scratch from the PARI files on John Jones's
+        web page, downloaded (e.g., via wget) to a local directory, which
+        is specified as path above.
+
+        INPUT:
+
+        - ``path`` -- (default: works on William Stein install)
+          path must be the path to Jones's Number_Fields directory
+          (http://hobbes.la.asu.edu/Number_Fields); these files should have
+          been downloaded using wget
+
+        EXAMPLES: This is how to create the database from scratch, assuming
+        that the number fields are in the default directory above: From a
+        cold start of Sage::
+
+                sage: J = JonesDatabase()
+                sage: J._init()   # not tested
+                ...
+
+        This takes about 5 seconds.
+        """
+        x = PolynomialRing(RationalField(), 'x').gen()
+        self.root = {}
+        self.root[tuple()] = [x - 1]
+        if not os.path.exists(path):
+            raise OSError("Path %s does not exist." % path)
+        for X in os.listdir(path):
+            if X[-4:] == "solo":
+                Z = path + "/" + X
+                print(X)
+                for Y in os.listdir(Z):
+                    if Y[-3:] == ".gp":
+                        self._load(Z, Y)
+
+        data_dir = os.path.dirname(DatabaseJones().absolute_filename())
+        os.makedirs(data_dir, exist_ok=True)
+        save(self.root, os.path.join(data_dir, "jones.sobj"))
+
+    def unramified_outside(self, S, d=None, var='a'):
+        """
+        Return all fields in the database of degree d unramified
+        outside S. If d is omitted, return fields of any degree up to 6.
+        The fields are ordered by degree and discriminant.
+
+        INPUT:
+
+        - ``S`` -- list or set of primes, or a single prime
+
+        - ``d`` -- ``None`` (default, in which case all fields of degree <= 6 are returned)
+          or a positive integer giving the degree of the number fields returned
+
+        - ``var`` -- the name used for the generator of the number fields (default: ``'a'``)
+
+        EXAMPLES::
+
+            sage: J = JonesDatabase()             # optional - database_jones_numfield
+            sage: J.unramified_outside([101,109]) # optional - database_jones_numfield
+            [Number Field in a with defining polynomial x - 1,
+             Number Field in a with defining polynomial x^2 - 101,
+             Number Field in a with defining polynomial x^2 - 109,
+             Number Field in a with defining polynomial x^3 - x^2 - 36*x + 4,
+             Number Field in a with defining polynomial x^4 - x^3 + 13*x^2 - 19*x + 361,
+             Number Field in a with defining polynomial x^4 - x^3 + 14*x^2 + 34*x + 393,
+             Number Field in a with defining polynomial x^5 + x^4 - 6*x^3 - x^2 + 18*x + 4,
+             Number Field in a with defining polynomial x^5 + 2*x^4 + 7*x^3 + 4*x^2 + 11*x - 6,
+             Number Field in a with defining polynomial x^5 - x^4 - 40*x^3 - 93*x^2 - 21*x + 17]
+        """
+        try:
+            S = list(S)
+        except TypeError:
+            S = [S]
+        Z = []
+        for X in powerset(S):
+            Z += self.ramified_at(X, d=d, var=var)
+        return sorted(Z, key=sortkey)
+
+    def __getitem__(self, S):
+        return self.get(S)
+
+    def get(self, S, var='a'):
+        """
+        Return all fields in the database ramified exactly at
+        the primes in S.
+
+        INPUT:
+
+        - ``S`` -- list or set of primes, or a single prime
+
+        - ``var`` -- the name used for the generator of the number fields (default: ``'a'``)
+
+        EXAMPLES::
+
+            sage: J = JonesDatabase()              # optional - database_jones_numfield
+            sage: J.get(163, var='z')              # optional - database_jones_numfield
+            [Number Field in z with defining polynomial x^2 + 163,
+             Number Field in z with defining polynomial x^3 - x^2 - 54*x + 169,
+             Number Field in z with defining polynomial x^4 - x^3 - 7*x^2 + 2*x + 9]
+            sage: J.get([3, 4])                    # optional - database_jones_numfield
+            Traceback (most recent call last):
+            ...
+            ValueError: S must be a list of primes
+        """
+        if self.root is None:
+            self.root = load(DatabaseJones().absolute_filename())
+        try:
+            S = list(S)
+        except TypeError:
+            S = [S]
+        if not all(p.is_prime() for p in S):
+            raise ValueError("S must be a list of primes")
+        S.sort()
+        s = tuple(S)
+        if s not in self.root:
+            return []
+        return [NumberField(f, var, check=False) for f in self.root[s]]
+
+    def ramified_at(self, S, d=None, var='a'):
+        """
+        Return all fields in the database of degree d ramified exactly at
+        the primes in S.  The fields are ordered by degree and discriminant.
+
+        INPUT:
+
+        - ``S`` -- list or set of primes
+
+        - ``d`` -- ``None`` (default, in which case all fields of degree <= 6 are returned)
+          or a positive integer giving the degree of the number fields returned
+
+        - ``var`` -- the name used for the generator of the number fields (default: ``'a'``)
+
+        EXAMPLES::
+
+            sage: # optional - database_jones_numfield
+            sage: J = JonesDatabase()
+            sage: J.ramified_at([101,109])
+            []
+            sage: J.ramified_at([109])
+            [Number Field in a with defining polynomial x^2 - 109,
+             Number Field in a with defining polynomial x^3 - x^2 - 36*x + 4,
+             Number Field in a with defining polynomial x^4 - x^3 + 14*x^2 + 34*x + 393]
+            sage: J.ramified_at(101)
+            [Number Field in a with defining polynomial x^2 - 101,
+             Number Field in a with defining polynomial x^4 - x^3 + 13*x^2 - 19*x + 361,
+             Number Field in a with defining polynomial x^5 + x^4 - 6*x^3 - x^2 + 18*x + 4,
+             Number Field in a with defining polynomial x^5 + 2*x^4 + 7*x^3 + 4*x^2 + 11*x - 6,
+             Number Field in a with defining polynomial x^5 - x^4 - 40*x^3 - 93*x^2 - 21*x + 17]
+            sage: J.ramified_at((2, 5, 29), 3, 'c')
+            [Number Field in c with defining polynomial x^3 - x^2 - 8*x - 28,
+             Number Field in c with defining polynomial x^3 - x^2 + 10*x + 102,
+             Number Field in c with defining polynomial x^3 - x^2 - 48*x - 188,
+             Number Field in c with defining polynomial x^3 - x^2 + 97*x - 333]
+        """
+        Z = self.get(S, var=var)
+        if d is not None:
+            Z = [k for k in Z if k.degree() == d]
+        return sorted(Z, key=sortkey)