backend_polymake for Polyhedron

[mkoeppe]

Building upon #22658 (Support interface coercion polymake(X) for Polyhedron), we provide a backend in backend_polymake.py that does all Polyhedron computations using polymake (in particular, the initial computation of the double description).

For quadratic field extensions of the rationals, this backend should be faster than the generic implementation in Python (unless the pexpect overhead dominates).

Depends on #22658

CC: @simon-king-jena @jplab @videlec @tscrim @yuan-zhou

Component: geometry

Author: Matthias Koeppe

Branch/Commit: 6d1774b

Reviewer: Travis Scrimshaw

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

[mkoeppe]

Branch: u/mkoeppe/backend_polymake_for_polyhedron

[mkoeppe]

comment:2

As preparation, I have implemented the _sage_ method.

---

Last 10 new commits:

7588b62	Polyhedron_base: Provide `_polymake_init_` instead of @cached_method _polymake_
07270d4	Polyhedron_base._polymake_init_: Pass both representations to polymake, add tests
5fadbcd	Add `_polymake_init_` for some rings
3d3cef2	Polymake: fix typo in docstring
6598823	Polyhedron_base._polymake_init_: Support polyhedra over quadratic extensions
ef23af4	Polyhedron_base._polymake_init_: Add test for RDF polyhedra
205879f	Matrix, MatrixSpace: Add coercion to polymake interface
e49765e	Polymake: Fix tests whose error messages changed because we do not use files
51af468	PolymakeElement.__iter__: New
2f0e059	PolymakeElement._sage_: Implement for *Vector, *Matrix, QuadraticExtension

[mkoeppe]

Commit: 2f0e059

[mkoeppe]

Dependencies: #22658

[mkoeppe]

Author: Matthias Koeppe

[sagetrac-git]

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

218daca

Add Polyhedron_polymake

[sagetrac-git]

Changed commit from 2f0e059 to 218daca

[sagetrac-git]

Changed commit from 218daca to 5ab94a2

[sagetrac-git]

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

5ab94a2

Merge tag '7.6' into t/22683/backend_polymake_for_polyhedron

[tscrim]

comment:8

Two things I see:

• def _polymake_ is missing doctests.
• In __iter__, you should use ``self`` in the docstrings. You also don't need to have an INPUT: block since there essentially no input.

Otherwise LGTM modulo the dependency.

[sagetrac-git]

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

8fd81c7	Polyhedron_polymake._polymake_: Add doctest
952b860	PolymakeElement.__iter__: Doc fixes

[sagetrac-git]

Changed commit from 5ab94a2 to 952b860

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:10

Thank you.