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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.BasicTypes.PlusMinus

Description

A mini enumeration to represent the sign of different numbers and approximations.

Documentation