If WithLLL=>true then syzygy matrices of the randomly choosen matrices are improved for their Height by applying the LLL algorithm.
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