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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.DomainBox.IntMap

Description

A simple implementation of the VariableID and DomainBox classes.

Documentation

type Box ira = IntMap iraSource