Full-dimensional face of Polyhedron should have equations

[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,)

CC: @jplab @LaisRast

Component: geometry

Keywords: polytopes, universe face, equations

Author: Jonathan Kliem

Branch/Commit: d7f47ad

Reviewer: Travis Scrimshaw

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

[kliem]

Branch: public/29155

[kliem]

Commit: d7f47ad

[kliem]

New commits:

d7f47ad

initialize full-dimensional face with equations

[tscrim]

comment:2

LGTM.

[tscrim]

Reviewer: Travis Scrimshaw

[vbraun]

Changed branch from public/29155 to d7f47ad