Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data LLLMethod
- lmWrapper :: LLLMethod
- lmProved :: LLLMethod
- lmHeuristic :: LLLMethod
- lmFast :: LLLMethod
- data FloatType
- ftDefault :: FloatType
- ftDouble :: FloatType
- ftLongDouble :: FloatType
- ftDpe :: FloatType
- ftDD :: FloatType
- ftQD :: FloatType
- ftMpfr :: FloatType
- data LLLFlags
- lllDefault :: LLLFlags
- lllVerbose :: LLLFlags
- lllEarlyRed :: LLLFlags
- lllSiegel :: LLLFlags
- data RedStatus
- redSuccess :: RedStatus
- redGsoFailure :: RedStatus
- redBabaiFailure :: RedStatus
- redLllFailure :: RedStatus
- redEnumFailure :: RedStatus
- redBkzFailure :: RedStatus
- redBkzTimeLimit :: RedStatus
- redBkzLoopsLimit :: RedStatus
- redHlllFailure :: RedStatus
- redHlllNormFailure :: RedStatus
- redHlllSrFailure :: RedStatus
Documentation
Instances
Eq LLLMethod Source # | |
Ord LLLMethod Source # | |
Defined in Math.Lattices.Fplll.Internal | |
Show LLLMethod | |
Storable LLLMethod Source # | |
Defined in Math.Lattices.Fplll.Internal peekElemOff :: Ptr LLLMethod -> Int -> IO LLLMethod pokeElemOff :: Ptr LLLMethod -> Int -> LLLMethod -> IO () peekByteOff :: Ptr b -> Int -> IO LLLMethod pokeByteOff :: Ptr b -> Int -> LLLMethod -> IO () |
lmHeuristic :: LLLMethod Source #
Use the heuristic method.
Instances
Eq FloatType Source # | |
Ord FloatType Source # | |
Defined in Math.Lattices.Fplll.Internal | |
Show FloatType | |
Storable FloatType Source # | |
Defined in Math.Lattices.Fplll.Internal peekElemOff :: Ptr FloatType -> Int -> IO FloatType pokeElemOff :: Ptr FloatType -> Int -> FloatType -> IO () peekByteOff :: Ptr b -> Int -> IO FloatType pokeByteOff :: Ptr b -> Int -> FloatType -> IO () |
ftLongDouble :: FloatType Source #
Use the long double
type.
Use DPE (Double Plus Exponent) floating point representation, which can represent values with extra large exponents.
Use double-double arithmetic, where each value is represented as the sum of two double values, representing the most and least significant bits, respectively.
Use quad-double arithmetic. Values are represented as the sum of four doubles.
Flags controlling LLL reduction. Can be combined using \/
.
Instances
lllDefault :: LLLFlags Source #
Default options, i.e. no flags.
Instances
Eq RedStatus Source # | |
Ord RedStatus Source # | |
Defined in Math.Lattices.Fplll.Internal | |
Show RedStatus | |
Storable RedStatus Source # | |
Defined in Math.Lattices.Fplll.Internal peekElemOff :: Ptr RedStatus -> Int -> IO RedStatus pokeElemOff :: Ptr RedStatus -> Int -> RedStatus -> IO () peekByteOff :: Ptr b -> Int -> IO RedStatus pokeByteOff :: Ptr b -> Int -> RedStatus -> IO () |
Orphan instances
Show LLLFlags Source # | |
Show RedStatus Source # | |
Show FloatType Source # | |
Show LLLMethod Source # | |
BoundedJoinSemiLattice LLLFlags Source # | |
BoundedLattice LLLFlags Source # | |
BoundedMeetSemiLattice LLLFlags Source # | |
JoinSemiLattice LLLFlags Source # | |
Lattice LLLFlags Source # | |
MeetSemiLattice LLLFlags Source # | |
BiHeytingAlgebra LLLFlags Source # | |
BooleanAlgebra LLLFlags Source # | |
complement :: LLLFlags -> LLLFlags | |
CoHeytingAlgebra LLLFlags Source # | |
supplement :: LLLFlags -> LLLFlags | |
DistributiveLattice LLLFlags Source # | |
HeytingAlgebra LLLFlags Source # | |
LowerBoundedDistributiveLattice LLLFlags Source # | |
LowerBoundedLattice LLLFlags Source # | |
SemiCoHeytingAlgebra LLLFlags Source # | |
SemiHeytingAlgebra LLLFlags Source # | |
UpperBoundedDistributiveLattice LLLFlags Source # | |
UpperBoundedLattice LLLFlags Source # | |