"Source: Text/Geometry/Polyhedra.text";
"Line: 1649";
"Date: Mon Aug 27 15:44:26 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Polyhedra.text, line: 1649
// Example: H152E12 ()
print "Example: H152E12";
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);
