If WithLLL=>true then syzygy matrices of the randomly chosen 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