Data.Number.Flint.Arb.Types

Documentation

data Mag

Data structure containing the CMag pointer

Constructors

Mag !(ForeignPtr CMag)

Instances

Num Mag

Defined in Data.Number.Flint.Arb.Mag.Instances

Methods

(+) :: Mag -> Mag -> Mag

(-) :: Mag -> Mag -> Mag

(*) :: Mag -> Mag -> Mag

negate :: Mag -> Mag

abs :: Mag -> Mag

signum :: Mag -> Mag

fromInteger :: Integer -> Mag

Fractional Mag

Defined in Data.Number.Flint.Arb.Mag.Instances

Methods

(/) :: Mag -> Mag -> Mag

recip :: Mag -> Mag

fromRational :: Rational -> Mag

Show Mag

Defined in Data.Number.Flint.Arb.Mag.Instances

Methods

showsPrec :: Int -> Mag -> ShowS

show :: Mag -> String

showList :: [Mag] -> ShowS

Eq Mag

Defined in Data.Number.Flint.Arb.Mag.Instances

Methods

(==) :: Mag -> Mag -> Bool

(/=) :: Mag -> Mag -> Bool

Ord Mag

Defined in Data.Number.Flint.Arb.Mag.Instances

Methods

compare :: Mag -> Mag -> Ordering

(<) :: Mag -> Mag -> Bool

(<=) :: Mag -> Mag -> Bool

(>) :: Mag -> Mag -> Bool

(>=) :: Mag -> Mag -> Bool

max :: Mag -> Mag -> Mag

min :: Mag -> Mag -> Mag

data CMag

Constructors

CMag CFmpz CMpLimb

Instances

Storable CMag

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

Methods

sizeOf :: CMag -> Int

alignment :: CMag -> Int

peekElemOff :: Ptr CMag -> Int -> IO CMag

pokeElemOff :: Ptr CMag -> Int -> CMag -> IO ()

peekByteOff :: Ptr b -> Int -> IO CMag

pokeByteOff :: Ptr b -> Int -> CMag -> IO ()

peek :: Ptr CMag -> IO CMag

poke :: Ptr CMag -> CMag -> IO ()

data Arf

Data structure containing the CArb pointer

Constructors

Arf !(ForeignPtr CArf)

Instances

FlintExpression Arf

Defined in Data.Number.Flint.Calcium.Fexpr.Instances

Methods

toFexpr :: Arf -> IO Fexpr

data CArf

Constructors

CFlint CArf

Instances

Storable CArf

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

Methods

sizeOf :: CArf -> Int

alignment :: CArf -> Int

peekElemOff :: Ptr CArf -> Int -> IO CArf

pokeElemOff :: Ptr CArf -> Int -> CArf -> IO ()

peekByteOff :: Ptr b -> Int -> IO CArf

pokeByteOff :: Ptr b -> Int -> CArf -> IO ()

peek :: Ptr CArf -> IO CArf

poke :: Ptr CArf -> CArf -> IO ()

newtype ArfRnd

Arf rounding

Constructors

ArfRnd

Fields

• _ArfRnd :: CInt

Instances

Show ArfRnd

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

Methods

showsPrec :: Int -> ArfRnd -> ShowS

show :: ArfRnd -> String

showList :: [ArfRnd] -> ShowS

Eq ArfRnd

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

Methods

(==) :: ArfRnd -> ArfRnd -> Bool

(/=) :: ArfRnd -> ArfRnd -> Bool

arf_rnd_up :: ArfRnd

Specifies that the result of an operation should be rounded to the nearest representable number in the direction towards zero.

arf_rnd_down :: ArfRnd

Specifies that the result of an operation should be rounded to the nearest representable number in the direction away from zero.

arf_rnd_floor :: ArfRnd

Specifies that the result of an operation should be rounded to the nearest representable number in the direction towards minus infinity.

arf_rnd_ceil :: ArfRnd

Specifies that the result of an operation should be rounded to the nearest representable number in the direction towards plus infinity.

arf_rnd_near :: ArfRnd

Specifies that the result of an operation should be rounded to the nearest representable number, rounding to even if there is a tie between two values.

arf_prec_exact :: ArfRnd

If passed as the precision parameter to a function, indicates that no rounding is to be performed. Warning: use of this value is unsafe in general. It must only be passed as input under the following two conditions:

• The operation in question can inherently be viewed as an exact operation in \(\mathbb{Z}[\tfrac{1}{2}]\) for all possible inputs, provided that the precision is large enough. Examples include addition, multiplication, conversion from integer types to arbitrary-precision floating-point types, and evaluation of some integer-valued functions.
• The exact result of the operation will certainly fit in memory. Note that, for example, adding two numbers whose exponents are far apart can easily produce an exact result that is far too large to store in memory.

The typical use case is to work with small integer values, double precision constants, and the like. It is also useful when writing test code. If in doubt, simply try with some convenient high precision instead of using this special value, and check that the result is exact.

data Arb

Data structure containing the CArb pointer

Constructors

Arb !(ForeignPtr CArb)

Instances

Show Arb

Defined in Data.Number.Flint.Arb.Instances

Methods

showsPrec :: Int -> Arb -> ShowS

show :: Arb -> String

showList :: [Arb] -> ShowS

data CArb

Constructors

CArb CMag CArf

Instances

Storable CArb

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

Methods

sizeOf :: CArb -> Int

alignment :: CArb -> Int

peekElemOff :: Ptr CArb -> Int -> IO CArb

pokeElemOff :: Ptr CArb -> Int -> CArb -> IO ()

peekByteOff :: Ptr b -> Int -> IO CArb

pokeByteOff :: Ptr b -> Int -> CArb -> IO ()

peek :: Ptr CArb -> IO CArb

poke :: Ptr CArb -> CArb -> IO ()

type ArbStrOption = CULong

string options

arb_str_none :: ArbStrOption

Default print option

arb_str_more :: ArbStrOption

If arb_str_more is added to flags, more (possibly incorrect) digits may be printed

arb_str_no_radius :: ArbStrOption

If arb_str_no_radius is added to flags, the radius is not included in the output if at least 1 digit of the midpoint can be printed.

arb_str_condense :: ArbStrOption

By adding a multiple m of arb_str_condense to flags, strings of more than three times m consecutive digits are condensed, only printing the leading and trailing m digits along with brackets indicating the number of digits omitted (useful when computing values to extremely high precision).

data ArbPoly

Data structure containing the CArb pointer

Constructors

ArbPoly !(ForeignPtr CArbPoly)

Instances

Storable CArbPoly

Defined in Data.Number.Flint.Arb.Poly.FFI

Methods

sizeOf :: CArbPoly -> Int

alignment :: CArbPoly -> Int

peekElemOff :: Ptr CArbPoly -> Int -> IO CArbPoly

pokeElemOff :: Ptr CArbPoly -> Int -> CArbPoly -> IO ()

peekByteOff :: Ptr b -> Int -> IO CArbPoly

pokeByteOff :: Ptr b -> Int -> CArbPoly -> IO ()

peek :: Ptr CArbPoly -> IO CArbPoly

poke :: Ptr CArbPoly -> CArbPoly -> IO ()

IsList ArbPoly

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

Associated Types

type Item ArbPoly

Methods

fromList :: [Item ArbPoly] -> ArbPoly

fromListN :: Int -> [Item ArbPoly] -> ArbPoly

toList :: ArbPoly -> [Item ArbPoly]

Show ArbPoly

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

Methods

showsPrec :: Int -> ArbPoly -> ShowS

show :: ArbPoly -> String

showList :: [ArbPoly] -> ShowS

type Item ArbPoly

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

type Item ArbPoly = Arb

type CArbPoly = CFlint ArbPoly