"Source: Text/Lat/Lat.text";
"Line: 3008";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 3008
// 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);
