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

Camfort.Specification.Units.InferenceBackendFlint

Documentation

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

fmpz_mat_set :: Ptr FMPZMat -> Ptr FMPZMat -> IO () Source #

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

fmpz_set_si :: Ptr CLong -> CLong -> IO () Source #

fmpz_get_si :: Ptr CLong -> IO CLong Source #

fmpz_mat_clear :: Ptr FMPZMat -> IO () Source #

fmpz_mat_print_pretty :: Ptr FMPZMat -> IO () Source #

fmpz_mat_mul :: Ptr FMPZMat -> Ptr FMPZMat -> Ptr FMPZMat -> IO () Source #

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

fmpz_mat_window_clear :: Ptr FMPZMat -> IO () Source #

fmpz_mat_rref :: Ptr FMPZMat -> Ptr CLong -> Ptr FMPZMat -> IO CLong Source #

fmpz_mat_inv :: Ptr FMPZMat -> Ptr CLong -> Ptr FMPZMat -> IO CLong Source #

fmpz_mat_hnf :: Ptr FMPZMat -> Ptr FMPZMat -> IO () Source #

fmpz_mat_rank :: Ptr FMPZMat -> IO CLong Source #

data FMPZMat Source #

Instances

Instances details
Storable FMPZMat Source # 
Instance details

Defined in Camfort.Specification.Units.InferenceBackendFlint

Methods

sizeOf :: FMPZMat -> Int #

alignment :: FMPZMat -> Int #

peekElemOff :: Ptr FMPZMat -> Int -> IO FMPZMat #

pokeElemOff :: Ptr FMPZMat -> Int -> FMPZMat -> IO () #

peekByteOff :: Ptr b -> Int -> IO FMPZMat #

pokeByteOff :: Ptr b -> Int -> FMPZMat -> IO () #

peek :: Ptr FMPZMat -> IO FMPZMat #

poke :: Ptr FMPZMat -> FMPZMat -> IO () #

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 #

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

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

flintToHMatrix :: CLong -> CLong -> Ptr FMPZMat -> IO (Matrix Double) Source #

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

peekM :: Ptr FMPZMat -> CLong -> CLong -> IO CLong Source #

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

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

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

normhnf :: (CLong, CLong, Ptr FMPZMat) -> IO (Matrix Double, [CLong]) Source #

elemrowscale :: Ptr FMPZMat -> CLong -> CLong -> IO [(CLong, CLong)] Source #

elemrowadds :: Ptr FMPZMat -> CLong -> CLong -> [(CLong, CLong)] -> IO () Source #