"Source: Text/Lat/Lat.text";
"Line: 4359";
"Date: Wed Apr 27 14:29:19 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Lat/Lat.text, line: 4359
// Example: H31E18 ()
print "Example: H31E18";
ei := GetEchoInput();
SetEchoInput(true);
SetNthreads(4); // 4 threads (0 to turn off)
L := Lattice(LatticeDatabase(),"Leech");
D := DirectSum([L,L]); // dimension 48
cpu := Cputime(); t := Time();
ThetaSeries(D,6); // real time of 1 min
Cputime(cpu); Time(t);
SetEchoInput(ei);
