id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
26922 Wrong f-vector for unbounded polyhedra gh-kliem "#28625 fixed the `f_vector` in the case of unpointed polyhedra/polyhedra with lines.
We add doctests showing that #28625 fixed a bug in `f_vector`.
Before:
{{{
sage: Polyhedron(ieqs=[[1,-1,0],[1,1,0]]).f_vector()
(1, 2, 1)
}}}
But this polyhedron does not have zero-dimensional faces, and #28625 has correctly changed that:
{{{
sage: Polyhedron(ieqs=[[1,-1,0],[1,1,0]]).f_vector()
(1, 0, 2, 1)
}}}
Also we add documentation, specifically warning users that the methods
- `vertices`,
- `vertices_list`,
- `vertices_generator`
- `vertices_matrix`,
- `n_vertices`,
treat vertices of the `Vrepresentation` and not vertices of the polyhedron in the unpointed case." defect closed major sage-9.0 geometry fixed jipilab moritz Jonathan Kliem Jean-Philippe Labbé N/A 1c5378cd38b1f65717a2556ae7dc9ca7f756a150 1c5378cd38b1f65717a2556ae7dc9ca7f756a150 #28625