id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
29898 vertex facet graph for trivial polyhedra fails gh-kliem "The vertex facet graph of `CombinatorialPolyhedron` only works for polyhedra of dimension at least one. With #29188 this makes it fail with for `Polyhedron_base` as well.
We fix this to return
- the `Digraph` on 0 vertices for the empty polyhedron and
- the `Digraph` on 1 vertex for the 0-dimensional polyhedron (it was misbehaved even before #29188).
We also ""fix"" the definition of facets to correspond to inequalities.
The `0`-dimensional polyhedron does not have facets in this case anymore.
(Before this ticket `n_facets` and `facets` would use different definitions of facets.)" defect closed major sage-9.2 geometry fixed polyhedra, vertex facet graph jipilab gh-LaisRast Jonathan Kliem Matthias Koeppe N/A 25cfaa04806fdd91dc1d5aebac5b946d10f19f83