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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.PlusMinus

Description

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

Documentation

data PlusMinus Source

Constructors

Minus 
Plus 

Instances