"Source: Text/Geometry/Polyhedra.text";
"Line: 2311";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Polyhedra.text, line: 2311
// Example: H156E18 ()
print "Example: H156E18";
ei := GetEchoInput();
SetEchoInput(true);
L := ToricLattice(3);
a := L ! [1,2,3];
a;
L eq Parent(a);
assert $1;
b := L ! [1/2,1,3/2];
a + b;
a eq b;
assert not $1;
a eq 2*b;
assert $1;
b/a;
SetEchoInput(ei);
