"Source: Text/Geometry/Polyhedra.text";
"Line: 1719";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Polyhedra.text, line: 1719
// Example: H156E13 ()
print "Example: H156E13";
ei := GetEchoInput();
SetEchoInput(true);
C:=Cone([[0,1,0],[0,1,1],[1,1,2],[1,1,4]]);
P:=Polyhedron(C);
P;
CC:=Cone([[1,0],[1,1]]);
QQ:=Polytope([[1,2],[1,4]]);
PP:=CC + QQ;
PP;
PP eq P;
assert not $1;
Ambient(PP);
Ambient(P);
P:=ChangeAmbient(P,Ambient(PP));
PP eq P;
assert $1;
SetEchoInput(ei);
