id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
29155 Full-dimensional face of Polyhedron should have equations gh-kliem "Currently in a Polyhedron with lines, the full-dimensional face is initialized without equations:
{{{
A 2-dimensional face of a Polyhedron in ZZ^3 defined as the convex hull of 6 vertices
sage: P = polytopes.permutahedron(3)
sage: [f] = P.face_generator(2)
sage: f
A 2-dimensional face of a Polyhedron in ZZ^3 defined as the convex hull of 6 vertices
sage: f.ambient_Hrepresentation()
()
}}}
This is a bug from #28646 (probably introduced there). We fix this:
{{{
sage: P = polytopes.permutahedron(3)
sage: [f] = P.face_generator(2)
sage: f.ambient_Hrepresentation()
(An equation (1, 1, 1) x - 6 == 0,)
}}}" enhancement closed major sage-9.1 geometry fixed polytopes, universe face, equations jipilab gh-LaisRast Jonathan Kliem Travis Scrimshaw N/A d7f47ad61838e9fe9b1cb866a1ea9d7925a0b03a d7f47ad61838e9fe9b1cb866a1ea9d7925a0b03a