"Source: Text/Geometry/Polyhedra.text";
"Line: 1649";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Polyhedra.text, line: 1649
// Example: H156E12 ()
print "Example: H156E12";
ei := GetEchoInput();
SetEchoInput(true);
P := Polytope([[-4,2,1],[0,3,4],[3,1,-3],[3,0,0],[2,-1,1]]);
D := Polar(P);
D;
HasIntegralPoint(D);
assert $1;
IntegralPart(D);
cD := CompactPart(D);
cD;
IsPolytope(cD);
assert $1;
IsPolytope(D);
assert not $1;
SetEchoInput(ei);
