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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.BasicTypes

Description

auxiliary types for exact real number processing

Synopsis

Documentation

type Precision = ExtendedIntegerSource

Precision represents an upper bound on the measure of an approximation viewed as a set; not to be confused with the precision of an Data.Number.ER.Real.Base.Float.ERFloat and similar.

In an approximation comprising a number of instances of Data.Number.ER.Real.Base.ERRealBase, we will refer to the bit-precision of these base components as the Granularity of the approximation.

type Granularity = IntSource

The bit size of the floating point numbers (or similar) used internally in real number and function approximations.

type EffortIndex = IntegerSource

This type synonym should be used for funciton parameter(s) that guide the convergence of the function's result to a perfect (exact) result.

The name should remind us that there is no universally valid relationship between this integer the quality (precision) of the result. The only condition usually assumed is that in the limit when the effort index rises to infinity, the result should be exact.