Modularization of sagelib: Break out a separate package sagemath-polyhedra

[mkoeppe]

We define a superset of the distribution sagemath-categories (from #29865), called https://pypi.org/project/sagemath-polyhedra/, which is large enough to work with rational polyhedra, including running most doctests

In:

• ZZ, QQ, RDF
• enough of sage.modules, sage.matrix to do linear algebra over these rings
• install_requires on pplpy

Out:

• real fields other than RDF
• number fields (we conditionalize out doctests that use them - sage.geometry.polyhedron: Mark doctests # optional - sage.rings.number_field #32652)
• sage.symbolic
• most of sage.combinat (we conditionalize out doctests that use combinatorial examples such as associahedra)
• sage.graphs
• sage.plot

To test:

$ ./bootstrap && ./sage -sh -c '(cd pkgs/sagemath-polyhedra && SAGE_NUM_THREADS=16 tox -v -v -v)'

To run more of the testsuite afterwards:

$ . pkgs/sagemath-polyhedra/.tox/python/bin/activate
(python) $ (cd $(python -c "from sage.env import SAGE_SRC; print(SAGE_SRC)") && sage -tp --environment=sage.all__sagemath_polyhedra sage/geometry)
...
(python) $ deactivate

Follow-up steps:

• redo as distribution with dependency on sagemath-categories
• wheels for this distribution, for pplpy and PyNormaliz
• native Windows port

Depends on #32779
Depends on #34855
Depends on #34849
Depends on #32709
Depends on #34849
Depends on #34931
Depends on #34941

CC: @kliem @tscrim @anneschilling

Component: refactoring

Work Issues: git blame -b --first-parent 32432-base.. src/sage/geometry/polyhedron/base.py

Author: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/32432

[mkoeppe]

Description changed:

--- 
+++ 
@@ -6,5 +6,9 @@
 Out:
 - symbolics
 
+To test:
 
+```
+./bootstrap && ./sage -sh -c '(cd pkgs/sagemath-polyhedra && tox -v -v -v)'
+```
 

[mkoeppe]

Branch: u/mkoeppe/modularization_of_sagelib__break_out_a_separate_package_sagemath_polyhedra

[mkoeppe]

Commit: 8ea1332

[mkoeppe]

comment:3

Initial draft. Needs more work to get integers/rationals to work, and need to include vectors/matrices

---

Last 10 new commits:

08084b3	sage.libs.pari.convert_sage: Move set_integer_from_gen here from sage.rings.integer (set_from_pari_gen)
9986723	remove compile time dependency of Integer and Rational on cypari2
c08a8b5	remove compile-time dependency on flint from integer
b0ba835	Merge #30022
d3479c7	remove some of symbolics from sage.geometry
2991f8d	Merge #32416
0101366	pkgs/sagemath-polyhedra, src/sage/all__sagemath_polyhedra.py: New
bb708f3	#29865: Rename all__sage_objects.py, all__sage_categories.py to all__sagemath_objects.py, all__sagemath_categories.py
a301f70	build/pkgs/sagemath_polyhedra: New
8ea1332	pkgs/sagemath-polyhedra/MANIFEST.in.m4: Include more

[sagetrac-git]

Changed commit from 8ea1332 to 4085b62

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

4085b62

pkgs/sagemath-polyhedra/MANIFEST.in.m4: Add what we can from sage.matrix

[sagetrac-git]

Changed commit from 4085b62 to 1d7f906

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1d7f906

pkgs/sagemath-polyhedra/MANIFEST.in.m4: Add what we can from sage.modules

[mkoeppe]

Changed dependencies from #29865, #30022, #32416 to #29865, #30022, #32416, #32441

[mkoeppe]

Changed dependencies from #29865, #30022, #32416, #32441 to #29865, #30022, #32416, #32441, #32455

[mkoeppe]

comment:8

One of the next issues is use of Matrix_integer_dense in combinatorial_polyhedron.list_of_faces etc.

[mkoeppe]

Changed dependencies from #29865, #30022, #32416, #32441, #32455 to #29865, #32416, #32441, #32455

[sagetrac-git]

Changed commit from 1d7f906 to f0dd43d

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

41df930	fix function signatures
90b6f3d	Merge #32441
13f9003	move pari type detection to convert_sage
e925042	Merge #32455
ccbde78	pkgs/sagemath-polyhedra, src/sage/all__sagemath_polyhedra.py: New
8baebcf	build/pkgs/sagemath_polyhedra: New
039f66b	pkgs/sagemath-polyhedra/MANIFEST.in.m4: Include more
3dfac9f	pkgs/sagemath-polyhedra/MANIFEST.in.m4: Add what we can from sage.matrix
23a49b9	pkgs/sagemath-polyhedra/MANIFEST.in.m4: Add what we can from sage.modules
f0dd43d	pkgs/sagemath-polyhedra/MANIFEST.in.m4: WIP

[sagetrac-git]

Changed commit from f0dd43d to 8159516