passagemath-polyhedra 10.6.30__cp312-cp312-macosx_13_0_arm64.whl

passagemath_polyhedra-10.6.30.dist-info/METADATA

@@ -0,0 +1,366 @@
+Metadata-Version: 2.4
+Name: passagemath-polyhedra
+Version: 10.6.30
+Summary: passagemath: Convex polyhedra in arbitrary dimension, mixed integer linear optimization
+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 :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.14,>=3.10
+Description-Content-Type: text/x-rst
+Requires-Dist: gmpy2~=2.1.b999
+Requires-Dist: cysignals<1.12.4; sys_platform == "win32"
+Requires-Dist: cysignals!=1.12.0,>=1.11.2
+Requires-Dist: passagemath-ppl
+Requires-Dist: memory_allocator
+Requires-Dist: passagemath-environment~=10.6.30.0
+Requires-Dist: passagemath-glpk~=10.6.30.0
+Requires-Dist: passagemath-modules~=10.6.30.0
+Provides-Extra: conf
+Provides-Extra: test
+Requires-Dist: passagemath-repl; extra == "test"
+Provides-Extra: flint
+Requires-Dist: passagemath-flint; extra == "flint"
+Provides-Extra: fpylll
+Requires-Dist: fpylll>=0.5.9; extra == "fpylll"
+Provides-Extra: linbox
+Requires-Dist: passagemath-linbox; extra == "linbox"
+Provides-Extra: pari
+Requires-Dist: passagemath-pari; extra == "pari"
+Provides-Extra: 4ti2
+Requires-Dist: passagemath-latte-4ti2; extra == "4ti2"
+Provides-Extra: cddlib
+Requires-Dist: passagemath-cddlib; extra == "cddlib"
+Provides-Extra: latte
+Requires-Dist: passagemath-polyhedra[latte_int]; extra == "latte"
+Provides-Extra: latte-int
+Requires-Dist: passagemath-latte-4ti2; extra == "latte-int"
+Provides-Extra: normaliz
+Requires-Dist: pynormaliz==2.21; extra == "normaliz"
+Provides-Extra: palp
+Requires-Dist: passagemath-palp; extra == "palp"
+Provides-Extra: polymake
+Requires-Dist: jupymake>=0.9; extra == "polymake"
+Provides-Extra: ppl
+Provides-Extra: topcom
+Requires-Dist: passagemath-topcom; extra == "topcom"
+Provides-Extra: cbc
+Requires-Dist: passagemath-polyhedra[cbc_sage]; extra == "cbc"
+Provides-Extra: cbc-sage
+Requires-Dist: passagemath-coin-or-cbc; extra == "cbc-sage"
+Provides-Extra: coin
+Requires-Dist: passagemath-polyhedra[cbc_sage]; extra == "coin"
+Provides-Extra: coin-sage
+Requires-Dist: passagemath-polyhedra[cbc_sage]; extra == "coin-sage"
+Provides-Extra: cplex
+Requires-Dist: passagemath-polyhedra[cplex_sage]; extra == "cplex"
+Provides-Extra: cplex-sage
+Requires-Dist: passagemath-cplex; extra == "cplex-sage"
+Provides-Extra: cvxopt
+Requires-Dist: passagemath-polyhedra[cvxopt_sage]; extra == "cvxopt"
+Provides-Extra: cvxopt-sage
+Requires-Dist: cvxopt>=1.2.5; extra == "cvxopt-sage"
+Provides-Extra: cvxpy
+Requires-Dist: cvxpy; extra == "cvxpy"
+Provides-Extra: glpk
+Requires-Dist: passagemath-polyhedra[glpk_sage]; extra == "glpk"
+Provides-Extra: glpk-sage
+Provides-Extra: gurobi
+Requires-Dist: passagemath-polyhedra[gurobi_sage]; extra == "gurobi"
+Provides-Extra: gurobi-sage
+Requires-Dist: passagemath-gurobi; extra == "gurobi-sage"
+Provides-Extra: scip
+Requires-Dist: PySCIPOpt; extra == "scip"
+Provides-Extra: polytopes-db-4d
+Requires-Dist: passagemath-polytopes-db-4d; extra == "polytopes-db-4d"
+Provides-Extra: qq
+Provides-Extra: zz
+Provides-Extra: rdf
+Requires-Dist: passagemath-polyhedra[cddlib]; extra == "rdf"
+Provides-Extra: numberfield
+Requires-Dist: passagemath-polyhedra[flint]; extra == "numberfield"
+Provides-Extra: databases
+Requires-Dist: passagemath-polyhedra[polytopes-db-4d]; extra == "databases"
+Provides-Extra: graphs
+Requires-Dist: passagemath-graphs; extra == "graphs"
+Provides-Extra: groups
+Requires-Dist: passagemath-groups; extra == "groups"
+Provides-Extra: plot
+Requires-Dist: passagemath-plot; extra == "plot"
+Provides-Extra: standard
+Requires-Dist: passagemath-polyhedra[RDF,flint,fpylll,glpk,graphs,groups,linbox,pari]; extra == "standard"
+Requires-Dist: passagemath-plot[tachyon]; extra == "standard"
+
+====================================================================================================================
+ passagemath: Convex polyhedra in arbitrary dimension, mixed integer linear optimization
+====================================================================================================================
+
+`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.13.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-polyhedra`` is a distribution of a part of the Sage Library.  It provides a small subset of the modules of the Sage library ("sagelib", `passagemath-standard`), sufficient for computations with convex polyhedra in arbitrary dimension (in exact rational arithmetic), and linear and mixed integer linear optimization (in floating point arithmetic).
+
+
+What is included
+----------------
+
+* `Combinatorial and Discrete Geometry <https://passagemath.org/docs/latest/html/en/reference/discrete_geometry/index.html>`_: Polyhedra, lattice polyhedra, lattice points in polyhedra, triangulations, fans, polyhedral complexes, hyperplane arrrangements
+
+* `Parma Polyhedra Library (PPL) backends for rational polyhedra <https://passagemath.org/docs/latest/html/en/reference/discrete_geometry/sage/geometry/polyhedron/backend_ppl.html>`_, `lattice polygons <https://passagemath.org/docs/latest/html/en/reference/discrete_geometry/sage/geometry/polyhedron/ppl_lattice_polygon.html>`_, `lattice polytopes <https://passagemath.org/docs/latest/html/en/reference/discrete_geometry/sage/geometry/polyhedron/ppl_lattice_polytope.html>`_; via `pplpy <https://passagemath.org/docs/latest/html/en/reference/spkg/pplpy.html#spkg-pplpy>`_
+
+* `Python backend for polyhedra over general ordered fields <https://passagemath.org/docs/latest/html/en/reference/discrete_geometry/sage/geometry/polyhedron/backend_field.html>`_
+
+* `Linear, Mixed Integer Linear, and Semidefinite Optimization frontends <https://passagemath.org/docs/latest/html/en/reference/numerical/index.html#numerical-optimization>`_
+
+* `GNU Linear Programming Kit (GLPK) backend for large-scale linear and mixed integer linear optimization (floating point arithmetic) <https://passagemath.org/docs/latest/html/en/reference/numerical/sage/numerical/backends/glpk_backend.html>`_
+
+* `Interactive Simplex Method <https://passagemath.org/docs/latest/html/en/reference/numerical/sage/numerical/interactive_simplex_method.html>`_
+
+* see https://github.com/passagemath/passagemath/blob/main/pkgs/sagemath-polyhedra/MANIFEST.in
+
+
+Examples
+--------
+
+A quick way to try it out interactively::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: P = Polyhedron(ieqs=[[0, 1, 0, 0, 0, 0, 0], [0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 0, 1, 0, 0], [0, 0, 0, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0, 1], [0, 0, 1, -1, -1, 1, 0], [0, 0, -1, 1, -1, 1, 0]], eqns=[[-31, 1, 1, 1, 1, 1, 1]]); P
+    Out[2]: A 5-dimensional polyhedron in QQ^6 defined as the convex hull of 7 vertices
+
+    In [3]: P.Vrepresentation()
+    Out[4]:
+    (A vertex at (31, 0, 0, 0, 0, 0),
+     A vertex at (0, 0, 0, 0, 0, 31),
+     A vertex at (0, 0, 0, 0, 31, 0),
+     A vertex at (0, 0, 31/2, 0, 31/2, 0),
+     A vertex at (0, 31/2, 31/2, 0, 0, 0),
+     A vertex at (0, 31/2, 0, 0, 31/2, 0),
+     A vertex at (0, 0, 0, 31/2, 31/2, 0))
+
+
+Available as extras, from other distributions
+---------------------------------------------
+
+Additional features
+~~~~~~~~~~~~~~~~~~~
+
+``pip install "passagemath-polyhedra[graphs]"``
+ Face lattices, combinatorial polyhedra, graph-theoretic constructions
+
+ ::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[graphs,test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: c5_10 = Polyhedron(vertices = [[i, i**2, i**3, i**4, i**5] for i in range(1, 11)]); c5_10
+    Out[2]: A 5-dimensional polyhedron in ZZ^5 defined as the convex hull of 10 vertices
+
+    In [3]: c5_10_fl = c5_10.face_lattice(); [len(x) for x in c5_10_fl.level_sets()]
+    Out[3]: [1, 10, 45, 100, 105, 42, 1]
+
+``pip install "passagemath-polyhedra[graphs,groups]"``
+ Constructing symmetric polyhedra, computing automorphisms, lattice point counting modulo group actions
+
+ ::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[graphs,groups,test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: P24 = polytopes.twenty_four_cell(); P24
+    Out[2]: A 4-dimensional polyhedron in QQ^4 defined as the convex hull of 24 vertices
+
+    In [3]: AutP24 = P24.restricted_automorphism_group(); AutP24.order()
+    Out[3]: 1152
+
+``pip install "passagemath-polyhedra[toric]"``
+ `Toric varieties <https://passagemath.org/docs/latest/html/en/reference/schemes/index.html#toric-varieties>`_
+
+ ::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[graphs,toric,test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: TV3 = ToricVariety(NormalFan(lattice_polytope.cross_polytope(3))); TV3
+    Out[2]: 3-d toric variety covered by 6 affine patches
+
+    In [3]: TV3.is_orbifold()
+    Out[3]: False
+
+``pip install "passagemath-polyhedra[latte]"``
+ Installs `LattE integrale <https://passagemath.org/docs/latest/html/en/reference/spkg/latte_int.html#spkg-latte-int>`_
+ for lattice point counting and volume computation using generating function techniques.
+
+ ::
+
+   $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[latte,test]" ipython
+
+   In [1]: from sage.all__sagemath_polyhedra import *
+
+   In [2]: P = polytopes.cube()
+
+   In [3]: P.integral_points_count()
+   Out[3]:
+   27
+
+   In [4]: (1000000000*P).integral_points_count(verbose=True)
+   This is LattE integrale...
+   ...
+   Total time:...
+   Out[4]:
+   8000000012000000006000000001
+
+
+Additional backends for polyhedral computations
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+``pip install "passagemath-polyhedra[normaliz]"``
+ `Normaliz <https://passagemath.org/docs/latest/html/en/reference/spkg/normaliz.html#spkg-normaliz>`_, via `PyNormaliz <https://passagemath.org/docs/latest/html/en/reference/spkg/pynormaliz.html#spkg-pynormaliz>`_,
+ provides very fast computations in particular for polyhedra with data in algebraic number fields.
+
+ ::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[normaliz,test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: gap_norm = polytopes.grand_antiprism(backend='normaliz'); gap_norm
+
+    In [3]: gap_norm.f_vector()
+
+``pip install "passagemath-polyhedra[cddlib]"``
+ cddlib provides support for computations with polyhedra in floating-point arithmetic.
+
+ ::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[cddlib,test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: P1 = polytopes.regular_polygon(5, exact=False); P1
+    Out[2]: A 2-dimensional polyhedron in RDF^2 defined as the convex hull of 5 vertices
+
+``pip install "passagemath-polyhedra[lrslib]"``
+ `lrslib <https://passagemath.org/docs/latest/html/en/reference/spkg/lrslib.html#spkg-lrslib>`_
+ can be used for polytope volume computations and for enumerating Nash equilibria.
+
+ ::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-polyhedra[flint,lrslib,test]" ipython
+
+    In [1]: from sage.all__sagemath_polyhedra import *
+
+    In [2]: A = matrix([[2, 1], [1, 5/2]]); B = matrix([[-1, 3], [2, 1]])
+
+    In [3]: g = NormalFormGame([A, B]); g.obtain_nash(algorithm='lrs')
+    Out[3]: [[(1/5, 4/5), (3/5, 2/5)]]
+
+``pip install "passagemath-polyhedra[polymake]"``
+ `Polymake <https://passagemath.org/docs/latest/html/en/reference/spkg/polymake.html#spkg-polymake>`_, via `JuPyMake <https://pypi.org/project/JuPyMake/>`_
+
+ This currently requires a separate installation of polymake.
+
+Optional backends for optimization
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+``pip install "passagemath-polyhedra[cbc]"``
+ `COIN/OR CBC <https://passagemath.org/docs/latest/html/en/reference/spkg/cbc.html#spkg-cbc>`_ Mixed Integer Linear Optimization solver,
+ via `sage_numerical_backends_coin <https://passagemath.org/docs/latest/html/en/reference/spkg/sage_numerical_backends_coin.html#spkg-sage-numerical-backends-coin>`_
+
+``pip install "passagemath-polyhedra[cplex]"``
+ CPLEX Mixed Integer Optimization solver (proprietary; requires licensed installation),
+ via `sage_numerical_backends_cplex <https://passagemath.org/docs/latest/html/en/reference/spkg/sage_numerical_backends_cplex.html#spkg-sage-numerical-backends-cplex>`_
+
+``pip install "passagemath-polyhedra[cvxpy]"``
+ `CVXPy <https://passagemath.org/docs/latest/html/en/reference/spkg/cvxpy.html#spkg-cvxpy>`_ as middle-end for `various backends <https://www.cvxpy.org/install/>`_
+
+``pip install "passagemath-polyhedra[gurobi]"``
+ Gurobi Mixed Integer Optimization solver (proprietary; requires licensed installation), via `sage_numerical_backends_gurobi <https://passagemath.org/docs/latest/html/en/reference/spkg/sage_numerical_backends_gurobi.html#spkg-sage-numerical-backends-gurobi>`_
+
+``pip install "passagemath-polyhedra[scip]"``
+ `SCIP <https://passagemath.org/docs/latest/html/en/reference/spkg/scip.html#spkg-scip>`_ Mixed Integer Optimization solver,
+ via `PySCIPOpt <https://passagemath.org/docs/latest/html/en/reference/spkg/pyscipopt.html#spkg-pyscipopt>`_
+
+
+Development
+-----------
+
+::
+
+    $ git clone --origin passagemath https://github.com/passagemath/passagemath.git
+    $ cd passagemath
+    passagemath $ ./bootstrap
+    passagemath $ python3 -m venv polyhedra-venv
+    passagemath $ source polyhedra-venv/bin/activate
+    (polyhedra-venv) passagemath $ pip install -v -e pkgs/sagemath-polyhedra