Package com.hp.creals

Class Summary
CR Constructive real numbers, also known as recursive, or computable reals.
UnaryCRFunction Unary functions on constructive reals implemented as objects.