"Source: Text/Lat/Lat.text";
"Line: 1955";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 1955
// Example: H31E6 ()
print "Example: H31E6";
ei := GetEchoInput();
SetEchoInput(true);
L := Lattice(LatticeDatabase(),"LAMBDA29");
Dimension(L);
assert $1 eq 29;
IsEven(L);
assert $1;
IsEven(Dual(L));
G := DualQuotient(L); 
Exponent(G);
assert $1 eq 8;
Factorization(Determinant(L));
PartialDual(L,1) eq L;
assert $1;
Factorization(Determinant(PartialDual(L, 2)));
Factorization(Determinant(PartialDual(L, 4)));
Factorization(Determinant(PartialDual(L, 8)));
Factorization(Determinant(Dual(L)));
SetEchoInput(ei);
