"Source: Text/Geometry/Polyhedra.text";
"Line: 872";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Polyhedra.text, line: 872
// Example: H156E4 ()
print "Example: H156E4";
ei := GetEchoInput();
SetEchoInput(true);
P := Polytope([[1,0],[0,1],[-1,-1]]);
Inequalities(P);
PP := &meet  [HalfspaceToPolyhedron(H[1],H[2]) : H in Inequalities(P)];
PP eq P;
assert $1;
PP;
Q := Polytope([[1,0,2],[0,1,2],[-1,0,2],[0,-1,2]]);
Inequalities(Q);
SetEchoInput(ei);
