AERN-Real-0.9.7: 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 VarID = IntSource

type Box ira = IntMap iraSource