camfort-1.1.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units.InferenceBackendFlint

Documentation

rref :: Matrix Double -> (Matrix Double, Int, Int) Source #

hnf :: Matrix Double -> Matrix Double Source #

inv :: Matrix Double -> Maybe (Matrix Double, Int) Source #

withMatrix :: Matrix Double -> ((CLong, CLong, Ptr FMPZMat) -> IO b) -> IO b Source #

withWindow :: Ptr FMPZMat -> CLong -> CLong -> CLong -> CLong -> (Ptr FMPZMat -> IO b) -> IO b Source #

pokeM :: Ptr FMPZMat -> CLong -> CLong -> CLong -> IO () Source #

normHNF :: Matrix Double -> (Matrix Double, [Int]) Source #

normHNF' :: Matrix Double -> (Matrix Double, [Int]) Source #