"Source: Text/Lat/Lat.text";
"Line: 1813";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 1813
// Example: H31E5 ()
print "Example: H31E5";
ei := GetEchoInput();
SetEchoInput(true);
L := LatticeWithBasis(4, [1,2,3,4, 0,1,1,1, 0,1,3,5]);
L;
E := ext<L | [1,0,0,0]>;
E;
Index(E, L);
assert $1 eq 2;
Q, f := quo<E | L>;
Q;
f(E.1);
SetEchoInput(ei);
