lll.spad line 1

This package implements LLL reduction. Before use user must set appropriate floating point precision. Too low precision may cause nontermination. Higher precisions require more compute time.

find_relation: (List Float, NonNegativeInteger) -> List Integer
find_relation(lf, k) finds short integer relation between elements of lf rounded to k decimal places.
LLL: Matrix Integer -> Matrix Integer
LLL(m) computes LLL reduction of m