AERN-Real-0.9.8: 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

ERIntervalEmpty

usually represents computation error (top element in the interval domain)

ERIntervalAny

represents no knowledge of result (bottom element in the interval domain)

ERInterval 

Fields

erintv_left :: base
 
erintv_right :: base
 

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

convert to a normal form, ie:

  • no NaNs as endpoints
  • l <= r
  • no (-Infty, +Infty)