Data.Number.Flint.NF
Description
data NF Source #
Constructors
data CNF Source #
Defined in Data.Number.Flint.NF.FFI
Methods
sizeOf :: CNF -> Int #
alignment :: CNF -> Int #
peekElemOff :: Ptr CNF -> Int -> IO CNF #
pokeElemOff :: Ptr CNF -> Int -> CNF -> IO () #
peekByteOff :: Ptr b -> Int -> IO CNF #
pokeByteOff :: Ptr b -> Int -> CNF -> IO () #
peek :: Ptr CNF -> IO CNF #
poke :: Ptr CNF -> CNF -> IO () #
newNF :: FmpqPoly -> IO NF Source #
Create a new number field
withNF :: NF -> (Ptr CNF -> IO a) -> IO (NF, a) Source #
Use number field
nf_init :: Ptr CNF -> Ptr CFmpqPoly -> IO () Source #
nf_init nf pol
Perform basic initialisation of a number field (for element arithmetic) given a defining polynomial over \(\mathbb{Q}\).
nf_clear :: Ptr CNF -> IO () Source #
nf_clear nf
Release resources used by a number field object. The object will need initialisation again before it can be used.