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