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