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