WithLLL -- Option for randomComplex

Description

If WithLLL=>true then syzygy matrices of the randomly chosen matrices are improved for their Height by applying the LLL algorithm.

i1 : randomChainComplex({1,1,1},{2,2},Height=>5,WithLLL=>true)

       3       5       3
o1 = ZZ  <-- ZZ  <-- ZZ
                      
     0       1       2

o1 : Complex

Functions with optional argument named WithLLL:

randomChainComplex(...,WithLLL=>...) -- see randomChainComplex -- random chain complex over the integers with prescribed ranks of the homology group and ranks of the matrices

For the programmer

The object WithLLL is a symbol.

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