id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
31799 From CombinatorialPolyhedron and H-representation to Polyhedron (with double description) mkoeppe "Given an (abstract) `CombinatorialPolyhedron` such that **at least one** of H-representation and V-representation are labeled geometrically, the new method `CombinatorialPolyhedron.as_polyhedron` constructs a geometric polyhedron.
If `check=True` (default), it checks that the result is OK.
We should be able to efficiently build a polyhedron, avoiding to run the double description method when setting up the polyhedron, for the backends that accept double description input:
- if both representations are geometric, just pass them to the polyhedron constructor (#26366)
- if only one representation is geometric, reconstruct the other one from the incidences by equation solving.
Ideally, an optional argument `allow_degeneration` would allow that the given representation data actually gives a degeneration of the given combinatorial polyhedron.
In the context of #31803, this would be a morphism." enhancement new major sage-9.6 geometry gh-kliem yzh jipilab N/A u/mkoeppe/from_combinatorialpolyhedron_and_h_representation_to_polyhedron__with_double_description_ 789eadafc5807c003ccf7f8b0611b68760da2d3a #31823, #26366