| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@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.
- data ERInterval base = ERInterval {
- erintv_left :: !base
- erintv_right :: !base
- normaliseERIntervalOuter :: ERRealBase b => ERInterval b -> ERInterval b
- normaliseERIntervalInner :: ERRealBase b => ERInterval b -> ERInterval b
Documentation
data ERInterval base Source
Type for arbitrary precision interval arithmetic.
Constructors
| ERInterval | |
Fields
| |
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 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.