A matrix over ZZ determines a lattice: this is the ZZ-module generated by the columns. It also determines a generating set. See the book: [H. Cohen, ...] for the definition and the basic algorithms for computing LLL bases.
LLL bases have nice theoretical properties, but the main benefit of LLL bases is that the entries of the resulting matrix often have dramatically small size, even smaller than theory would imply.
This package implements the following functions.
This documentation describes version 1.1 of LLLBases.
The source code from which this documentation is derived is in the file LLLBases.m2.