Camfort.Specification.Units.InferenceBackendFlint

Documentation

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

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

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

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

fmpz_get_si :: Ptr CLong -> IO CLong

fmpz_mat_clear :: Ptr FMPZMat -> IO ()

fmpz_mat_print_pretty :: Ptr FMPZMat -> IO ()

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

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

fmpz_mat_window_clear :: Ptr FMPZMat -> IO ()

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

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

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

fmpz_mat_rank :: Ptr FMPZMat -> IO CLong

data FMPZMat

Instances

Storable FMPZMat

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)

hnf :: Matrix Double -> Matrix Double

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

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

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

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

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

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

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

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

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

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

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

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

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