UserManual
lattice module provides lattice.
basis and quadraticForm must be SquareMatrix.
Transforms basis into LLL-reduced basis, and returns its transformation matrix.