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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Base.Rational

Description

Unlimited size rational numbers extended with signed infinities and NaN.

These can serve as endpoints of Data.Number.ER.Real.Approx.Interval.ERInterval.

To be imported qualified, usually with prefix ERAT.

Documentation