Flint2-0.1.0.5: Haskell bindings for the flint library for number theory
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Number.Flint.NMod.Types

Documentation

data NModPoly Source #

Constructors

NModPoly !(ForeignPtr CNModPoly) 

Instances

Instances details
UFD NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

factor :: NModPoly -> [(NModPoly, Int)] Source #

unfactor :: [(NModPoly, Int)] -> NModPoly Source #

Storable CNModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Types.FFI

Methods

sizeOf :: CNModPoly -> Int #

alignment :: CNModPoly -> Int #

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

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

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

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

peek :: Ptr CNModPoly -> IO CNModPoly #

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

Semigroup NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

(<>) :: NModPoly -> NModPoly -> NModPoly #

sconcat :: NonEmpty NModPoly -> NModPoly #

stimes :: Integral b => b -> NModPoly -> NModPoly #

Enum NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

succ :: NModPoly -> NModPoly #

pred :: NModPoly -> NModPoly #

toEnum :: Int -> NModPoly #

fromEnum :: NModPoly -> Int #

enumFrom :: NModPoly -> [NModPoly] #

enumFromThen :: NModPoly -> NModPoly -> [NModPoly] #

enumFromTo :: NModPoly -> NModPoly -> [NModPoly] #

enumFromThenTo :: NModPoly -> NModPoly -> NModPoly -> [NModPoly] #

Num NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

(+) :: NModPoly -> NModPoly -> NModPoly #

(-) :: NModPoly -> NModPoly -> NModPoly #

(*) :: NModPoly -> NModPoly -> NModPoly #

negate :: NModPoly -> NModPoly #

abs :: NModPoly -> NModPoly #

signum :: NModPoly -> NModPoly #

fromInteger :: Integer -> NModPoly #

Integral NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

quot :: NModPoly -> NModPoly -> NModPoly #

rem :: NModPoly -> NModPoly -> NModPoly #

div :: NModPoly -> NModPoly -> NModPoly #

mod :: NModPoly -> NModPoly -> NModPoly #

quotRem :: NModPoly -> NModPoly -> (NModPoly, NModPoly) #

divMod :: NModPoly -> NModPoly -> (NModPoly, NModPoly) #

toInteger :: NModPoly -> Integer #

Real NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

toRational :: NModPoly -> Rational #

Show NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

showsPrec :: Int -> NModPoly -> ShowS #

show :: NModPoly -> String #

showList :: [NModPoly] -> ShowS #

Eq NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

(==) :: NModPoly -> NModPoly -> Bool #

(/=) :: NModPoly -> NModPoly -> Bool #

Ord NModPoly Source # 
Instance details

Defined in Data.Number.Flint.NMod.Poly.Instances

Methods

compare :: NModPoly -> NModPoly -> Ordering #

(<) :: NModPoly -> NModPoly -> Bool #

(<=) :: NModPoly -> NModPoly -> Bool #

(>) :: NModPoly -> NModPoly -> Bool #

(>=) :: NModPoly -> NModPoly -> Bool #

max :: NModPoly -> NModPoly -> NModPoly #

min :: NModPoly -> NModPoly -> NModPoly #

type CNModPoly = CFlint NModPoly Source #

data NModPolyFactor Source #

Constructors

NModPolyFactor !(ForeignPtr CNModPolyFactor) 

data CNModPolyFactor Source #

Constructors

CNModPolyFactor (Ptr CNModPoly) (Ptr CLong) CLong CLong 

Instances

Instances details
Storable CNModPolyFactor Source # 
Instance details

Defined in Data.Number.Flint.NMod.Types.FFI

Methods

sizeOf :: CNModPolyFactor -> Int #

alignment :: CNModPolyFactor -> Int #

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

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

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

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

peek :: Ptr CNModPolyFactor -> IO CNModPolyFactor #

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

data NModMat Source #

Constructors

NModMat !(ForeignPtr CNModMat) 

data CNModMat Source #

Constructors

CNModMat (Ptr CMpLimb) CLong CLong (Ptr (Ptr CMpLimb)) (Ptr CNMod) 

Instances

Instances details
Storable CNModMat Source # 
Instance details

Defined in Data.Number.Flint.NMod.Types.FFI

Methods

sizeOf :: CNModMat -> Int #

alignment :: CNModMat -> Int #

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

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

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

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

peek :: Ptr CNModMat -> IO CNModMat #

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

data NModPolyMat Source #

Constructors

NModPolyMat !(ForeignPtr CNModPolyMat) 

data CNModPolyMat Source #

Constructors

CNModPolyMat (Ptr CNModPoly) CLong CLong (Ptr (Ptr CNModPoly)) (Ptr CNMod) 

Instances

Instances details
Storable CNModPolyMat Source # 
Instance details

Defined in Data.Number.Flint.NMod.Types.FFI

Methods

sizeOf :: CNModPolyMat -> Int #

alignment :: CNModPolyMat -> Int #

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

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

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

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

peek :: Ptr CNModPolyMat -> IO CNModPolyMat #

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