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.
- extendedLLL!: (Matrix Integer, NonNegativeInteger) -> Matrix Integer
extendedLLL!(m, n)with 1
m) performs the
mwhere only the first
ncolumns are considered significant. All matrix transformations, however, will be executed on the full matrix.
mis destructively modified and will be lost after this call.
- extendedLLL: Matrix Integer -> Record(lll: Matrix Integer, trf: Matrix Integer)
mtogether with the transformation matrix, i.e. if [
t] is returned then it holds
- find_relation: (List Float, NonNegativeInteger) -> List Integer
find_relation(lf, k)finds short integer relation between elements of