"Source: Text/Lat/Lat.text";
"Line: 1646";
"Date: Wed Apr 27 14:29:19 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Lat/Lat.text, line: 1646
// 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);
