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

Portabilitynon-portable (requires fenv.h)
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Base.MachineDouble

Description

Make Double an instance of ERRealBase as much as possible.

Synopsis

Documentation

initMachineDouble :: IO ()Source

Set machine floating point unit to the upwards-directed rounding mode.

This procedure has to be executed before using Double as a basis for interval and polynomial arithmetic defined in this package.