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

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Base.Float

Description

This module defines an arbitrary precision floating point type and its operations. It should be viewed more abstractly as an instance of ERRealBase when used as interval endpoints.

Synopsis

Documentation

data ERFloat Source

A floating point number with a given but arbitrary precision represented by its Granularity.

  • base: 2.
  • granularity specifies the bit-size of both the significand and the exponent
  • special values: NaN, signed Infinity and signed Zero
  • no denormalised numbers
  • operations unify the granularity of their operands to the maximum Granularity
  • Rounding is always towards +Infinity. For field operations, the rounded result is as close as possible to the exact result.