AERN-Real-0.10.0.2: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Base

Description

Abstraction over various fixed and floating point types as well as rational numbers.

This module should be included qualified as is often given the local synonym B.

Synopsis

Documentation

class (RealFrac rb, Ord rb) => ERRealBase rb whereSource

This class is an abstraction of a subset of real numbers with *upwards rounded* operations.

Methods

typeName :: rb -> StringSource

initialiseBaseArithmetic :: rb -> IO ()Source

defaultGranularity :: rb -> GranularitySource

getApproxBinaryLog :: rb -> ExtendedIntegerSource

getGranularity :: rb -> GranularitySource

setMinGranularity :: Granularity -> rb -> rbSource

setGranularity :: Granularity -> rb -> rbSource

getMaxRounding :: rb -> rbSource

if a is rounded to ao then |a-ao| <= getBaseMaxRounding ao

isERNaN :: rb -> BoolSource

erNaN :: rbSource

isPlusInfinity :: rb -> BoolSource

isMinusInfinity :: rb -> BoolSource

plusInfinity :: rbSource

minusInfinity :: rbSource

fromIntegerUp :: Integer -> rbSource

fromIntegerDown :: Integer -> rbSource

fromDouble :: Double -> rbSource

toDouble :: rb -> DoubleSource

fromFloat :: Float -> rbSource

toFloat :: rb -> FloatSource

showDiGrCmpSource

Arguments

:: Int

number of decimal digits to show

-> Bool

whether to show granularity

-> Bool

whether to show internal structure

-> rb 
-> String