AERN-Real-0.9.3: datatypes and abstractions for approximating exact real numbers
Make Double an instance of ERRealBase as much as possible.
initMachineDouble :: IO ()Source
Set machine floating point unit to the upwards-directed rounding
This procedure has to be executed before using Double
as a basis for interval and polynomial arithmetic defined in this package.
Produced by Haddock version 2.8.1