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.Approx.Interval

Description

This module defines an arbitrary precision interval type and most of its interval arithmetic operations.

Synopsis

Documentation

data ERInterval base Source

Type for arbitrary precision interval arithmetic.

Constructors

ERInterval 

Fields

erintv_left :: !base
 
erintv_right :: !base
 

normaliseERIntervalOuter :: ERRealBase b => ERInterval b -> ERInterval bSource

convert to a normal form, ie:

  • no NaNs as endpoints

Note that inverted intervals are fully supported using Warmus-Kaucher arithmetic. This version interprets NaN's as bottomApprox.

normaliseERIntervalInner :: ERRealBase b => ERInterval b -> ERInterval bSource

convert to a normal form, ie:

  • no NaNs as endpoints

Note that inverted intervals are fully supported using Warmus-Kaucher arithmetic. This version interprets NaN's as topApprox.