Safe Haskell | None |
---|---|
Language | Haskell2010 |
Bindings to FPLLL's implementation of the LLL Algorithm.
Synopsis
- lllReduce :: LLLOptions -> [[Integer]] -> Either RedStatus [[Integer]]
- lllReduceTrack :: LLLOptions -> [[Integer]] -> Either RedStatus ([[Integer]], [[Integer]])
- lllReduceTrackInv :: LLLOptions -> [[Integer]] -> Either RedStatus ([[Integer]], [[Integer]], [[Integer]])
- data LLLOptions = LLLOptions {}
- defaultLLL :: LLLOptions
Documentation
lllReduce :: LLLOptions -> [[Integer]] -> Either RedStatus [[Integer]] Source #
Compute an LLL-reduced basis for the given lattice. Each item of the list is a basis vector.
Returns a Left
on failure.RedStatus
lllReduceTrack :: LLLOptions -> [[Integer]] -> Either RedStatus ([[Integer]], [[Integer]]) Source #
Similar to lllReduce
, but additionally return (in the second output) the operations that were
applied to the basis vectors. In other words, the second return value tracks the operations
applied to the basis vectors by applying them to the identity matrix as well.
lllReduceTrackInv :: LLLOptions -> [[Integer]] -> Either RedStatus ([[Integer]], [[Integer]], [[Integer]]) Source #
Like lllReduceTrackInv
, but return the inverse matrix of the applied operations in the third
output.
data LLLOptions Source #
Options to configure the LLL reduction algorithm.
LLLOptions | |
|
Instances
Eq LLLOptions Source # | |
Defined in Math.Lattices.Fplll.LLL (==) :: LLLOptions -> LLLOptions -> Bool (/=) :: LLLOptions -> LLLOptions -> Bool | |
Ord LLLOptions Source # | |
Defined in Math.Lattices.Fplll.LLL compare :: LLLOptions -> LLLOptions -> Ordering (<) :: LLLOptions -> LLLOptions -> Bool (<=) :: LLLOptions -> LLLOptions -> Bool (>) :: LLLOptions -> LLLOptions -> Bool (>=) :: LLLOptions -> LLLOptions -> Bool max :: LLLOptions -> LLLOptions -> LLLOptions min :: LLLOptions -> LLLOptions -> LLLOptions | |
Show LLLOptions Source # | |
Defined in Math.Lattices.Fplll.LLL showsPrec :: Int -> LLLOptions -> ShowS show :: LLLOptions -> String showList :: [LLLOptions] -> ShowS |