"Source: Text/Lat/Lat.text";
"Line: 5710";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 5710
// Example: H31E21 ()
print "Example: H31E21";
ei := GetEchoInput();
SetEchoInput(true);
Z8 := StandardLattice(8);
v := Z8 ! [1,1,1,1,1,1,1,1];
E8 := Neighbour(Z8, v, 2);
E8;
L := Lattice("E", 8);
L;
E8 eq L;
assert $1;
SetEchoInput(ei);
