"Source: Text/Lat/Lat.text";
"Line: 2263";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Lat/Lat.text, line: 2263
// Example: H31E7 ()
print "Example: H31E7";
ei := GetEchoInput();
SetEchoInput(true);
R:=RealField(5);
B:=RMatrixSpace(IntegerRing(), 50, 51) ! 0;
for i := 1 to 50 do B[i][1] := RandomBits(10000); end for; 
for i := 1 to 50 do B[i][i+1] := 1; end for;
time C:=LLL(B:Proof:=false); 
R!(Norm (C[1]));   
time C:=LLL(B:Proof:=false, SwapCondition:="Siegel"); 
R!(Norm (C[1]));   
time C:=LLL(B:Proof:=false, Delta:=0.9999, Eta:=0.5001); 
R!(Norm (C[1]));   
time C:=LLL(B:Proof:=false, Fast:=1); 
R!(Norm (C[1]));   
SetVerbose ("LLL", 1);
C:=LLL(B:Proof:=false, Fast:=1); 
SetEchoInput(ei);
