testTimeForLLLonSyzygies -- test timing for LLL on syzygies

Usage:

(m,t1,t2)=testTimeForLLLonSyzygies(r,n,Height=>100)
Inputs:
- r, an integer,
- n, an integer,
Optional inputs:
- Height => an integer, default value 11, the sizes of the random integers used
Outputs:
- m, a list, of maximal absolute values of the entries of A, B and the LLL basis of B
- t1, a real number, the time in seconds to compute B = ker A
- t2, a real number, the time to compute the LLL basis of B

Description

We randomly choose an $r \times\ n$ matrix A over ZZ with entries up to the given Height, and take the time to compute B=ker A and an LLL basis of B.

i1 : setRandomSeed "nice example 2";
 -- setting random seed to 12638458417381289481402307077

i2 : r=10,n=20

o2 = (10, 20)

o2 : Sequence

i3 : (m,t1,t2)=testTimeForLLLonSyzygies(r,n,Height=>11)

o3 = ({5, 2.91596e52, 9}, .00211316, .00100987)

o3 : Sequence

i4 : (m,t1,t2)=testTimeForLLLonSyzygies(15,30,Height=>100)

o4 = ({50, 2.30853e454, 98}, .00644653, .0523564)

o4 : Sequence

i5 : L=apply(10,c->(testTimeForLLLonSyzygies(15,30))_{1,2})

o5 = {(.00802322, .0176995), (.00729117, .00582438), (.0072432, .00957518),
     ------------------------------------------------------------------------
     (.00779765, .0142231), (.0068867, .0190726), (.00668034, .0184606),
     ------------------------------------------------------------------------
     (.00580544, .0114241), (.00631367, .0104786), (.0048721, .00695578),
     ------------------------------------------------------------------------
     (.00691691, .0115734)}

o5 : List

i6 : 1/10*sum(L,t->t_0)

o6 = .006783040399999951

o6 : RR (of precision 53)

i7 : 1/10*sum(L,t->t_1)

o7 = .01252870419999992

o7 : RR (of precision 53)

Ways to use testTimeForLLLonSyzygies:

testTimeForLLLonSyzygies(ZZ,ZZ)

For the programmer

The object testTimeForLLLonSyzygies is a method function with options.

The source of this document is in RandomComplexes.m2:507:0.