Data.Number.ER.Real.Approx.Interval

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

Documentation

data ERInterval base

Type for arbitrary precision interval arithmetic.

Constructors

ERInterval

Fields

erintv_left :: !base

erintv_right :: !base

Instances

Typeable1 ERInterval

ERRealBase b => Eq (ERInterval b)

ERRealBase b => Fractional (ERInterval b)

Data base => Data (ERInterval base)

ERRealBase b => Num (ERInterval b)

ERRealBase b => Ord (ERInterval b)

ERRealBase b => Show (ERInterval b)

Binary a => Binary (ERInterval a)

(ERRealBase b, HTML b) => HTML (ERInterval b)

ERRealBase b => ERIntApprox (ERInterval b)

ERRealBase b => ERInnerOuterApprox (ERInterval b)

ERRealBase b => ERApprox (ERInterval b)

ERRealBase b => ERInnerOuterApproxElementary (ERInterval b)

ERRealBase b => ERApproxElementary (ERInterval b)

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

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 b

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.