Revision history [back]

Have you tried the standard ".LLL" method on integer matrices? It seems to work fine on non-maximal rank examples too. You might want to dig into the documentation of the underlying libraries to confirm that the results are intended to be valid.