This function is provided by the package
LLLBases.
If the matrix is not in LLL reduced form, then the offending conditions are displayed. For example,
m = matrix {{1, 0}, {1, 1}, {1, 2}, {1, 3}} |
isLLL m |
n = LLL m |
isLLL n |
If the optional argument Threshold is given, the conditions are checked using that value.
m = matrix {{1, 0}, {1, 1}, {1, 2}, {1, 3}} |
isLLL(m, Threshold=>1) |