"Source: Text/Lat/Lat.text";
"Line: 2841";
"Date: Wed Apr 27 14:29:19 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Lat/Lat.text, line: 2841
// Example: H31E9 ()
print "Example: H31E9";
ei := GetEchoInput();
SetEchoInput(true);
F := GramMatrix(Lattice("Lambda", 24));
[ F[i][i] : i in [1..24] ];
[ (F^-1)[i][i] : i in [1..24] ];
L := LLLGram(F);
P := PairReduceGram(F);
S := SeysenGram(F);
[ L[i][i] : i in [1..24] ];      
[ P[i][i] : i in [1..24] ];      
[ S[i][i] : i in [1..24] ];      
[ (L^-1)[i][i] : i in [1..24] ];
[ (P^-1)[i][i] : i in [1..24] ];
[ (S^-1)[i][i] : i in [1..24] ];
SetEchoInput(ei);
