"Source: Text/Lat/Lat.text";
"Line: 4401";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 4401
// Example: H31E16 ()
print "Example: H31E16";
ei := GetEchoInput();
SetEchoInput(true);
function Theta(L, n)
    Z := IntegerRing();
    P := ShortVectorsProcess(L, n);
    C := [1] cat [0: i in [1 .. n]];
    while not IsEmpty(P) do
        v, norm := NextVector(P);
        C[Z!norm + 1] +:= 2;
    end while;
    return PowerSeriesRing(IntegerRing()) ! C;
end function;
L := Lattice("E", 8);
time T<q> := Theta(L, 10);
T;
time TT<r> := ThetaSeries(L, 10);
TT;
SetEchoInput(ei);
