Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype LLLMethod = LLLMethod CInt
- newtype FloatType = FloatType CInt
- newtype RedStatus = RedStatus CInt
- newtype LLLFlags = LLLFlags CInt
- allocaMpz :: Int -> (Ptr MPZ -> IO a) -> IO a
- peekBasis :: Int -> Int -> Ptr MPZ -> IO [[Integer]]
- pokeBasis :: Int -> Int -> Ptr MPZ -> [[Integer]] -> IO ()
- allocaAndPokeBasis :: [[Integer]] -> (Int -> Int -> Ptr MPZ -> IO a) -> IO a
- allEqual :: Eq a => [a] -> Bool
- c_lllDefaultDelta :: Ptr CDouble
- c_lllDefaultEta :: Ptr CDouble
- c_lmWrapper :: Ptr CInt
- c_lmProved :: Ptr CInt
- c_lmHeuristic :: Ptr CInt
- c_lmFast :: Ptr CInt
- c_lllMethodStr :: Ptr (Ptr CString)
- c_lllVerbose :: Ptr CInt
- c_lllEarlyRed :: Ptr CInt
- c_lllSiegel :: Ptr CInt
- c_lllDefault :: Ptr CInt
- c_ftDefault :: Ptr CInt
- c_ftDouble :: Ptr CInt
- c_ftLongDouble :: Ptr CInt
- c_ftDpe :: Ptr CInt
- c_ftDD :: Ptr CInt
- c_ftQD :: Ptr CInt
- c_ftMpfr :: Ptr CInt
- c_floatTypeStr :: Ptr (Ptr CString)
- c_redSuccess :: Ptr CInt
- c_redGsoFailure :: Ptr CInt
- c_redBabaiFailure :: Ptr CInt
- c_redLllFailure :: Ptr CInt
- c_redEnumFailure :: Ptr CInt
- c_redBkzFailure :: Ptr CInt
- c_redBkzTimeLimit :: Ptr CInt
- c_redBkzLoopsLimit :: Ptr CInt
- c_redHlllFailure :: Ptr CInt
- c_redHlllNormFailure :: Ptr CInt
- c_redHlllSrFailure :: Ptr CInt
- c_redStatusStr :: Ptr (Ptr CString)
- c_lll_reduction :: CInt -> CInt -> Ptr MPZ -> CDouble -> CDouble -> LLLMethod -> FloatType -> CInt -> LLLFlags -> IO RedStatus
- c_lll_reduction_u_id :: CInt -> CInt -> Ptr MPZ -> Ptr MPZ -> CDouble -> CDouble -> LLLMethod -> FloatType -> CInt -> LLLFlags -> IO RedStatus
- c_lll_reduction_uinv_id :: CInt -> CInt -> Ptr MPZ -> Ptr MPZ -> Ptr MPZ -> CDouble -> CDouble -> LLLMethod -> FloatType -> CInt -> LLLFlags -> IO RedStatus
Documentation
LLLMethod CInt |
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 () |
FloatType CInt |
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 () |
RedStatus CInt |
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 () |
Flags controlling LLL reduction. Can be combined using \/
.
LLLFlags CInt |
Instances
allocaAndPokeBasis :: [[Integer]] -> (Int -> Int -> Ptr MPZ -> IO a) -> IO a Source #
c_lllDefaultDelta :: Ptr CDouble Source #
c_lllDefaultEta :: Ptr CDouble Source #
c_lmWrapper :: Ptr CInt Source #
c_lmProved :: Ptr CInt Source #
c_lmHeuristic :: Ptr CInt Source #
c_lllMethodStr :: Ptr (Ptr CString) Source #
c_lllVerbose :: Ptr CInt Source #
c_lllEarlyRed :: Ptr CInt Source #
c_lllSiegel :: Ptr CInt Source #
c_lllDefault :: Ptr CInt Source #
c_ftDefault :: Ptr CInt Source #
c_ftDouble :: Ptr CInt Source #
c_ftLongDouble :: Ptr CInt Source #
c_floatTypeStr :: Ptr (Ptr CString) Source #
c_redSuccess :: Ptr CInt Source #
c_redGsoFailure :: Ptr CInt Source #
c_redBabaiFailure :: Ptr CInt Source #
c_redLllFailure :: Ptr CInt Source #
c_redEnumFailure :: Ptr CInt Source #
c_redBkzFailure :: Ptr CInt Source #
c_redBkzTimeLimit :: Ptr CInt Source #
c_redBkzLoopsLimit :: Ptr CInt Source #
c_redHlllFailure :: Ptr CInt Source #
c_redHlllNormFailure :: Ptr CInt Source #
c_redHlllSrFailure :: Ptr CInt Source #
c_redStatusStr :: Ptr (Ptr CString) Source #
c_lll_reduction :: CInt -> CInt -> Ptr MPZ -> CDouble -> CDouble -> LLLMethod -> FloatType -> CInt -> LLLFlags -> IO RedStatus Source #