"Source: Text/Lat/Lat.text";
"Line: 3173";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 3173
// Example: H31E10 ()
print "Example: H31E10";
ei := GetEchoInput();
SetEchoInput(true);
d:=60;
B:=RMatrixSpace(IntegerRing(), d, d)!0;
for i,j in [1..d] do B[i][j]:=Random(100*d); end for;
time C1 := LLL(B);
time C2 := HKZ(B);
m := Norm(C2[1]);
time _:=ShortVectors(Lattice(C1), 11/10*m);
time _:=ShortVectors(Lattice(C2), 11/10*m);
time _:=ShortVectors(Lattice(C1), 3/2*m);
time _:=ShortVectors(Lattice(C2), 3/2*m);
SetEchoInput(ei);
