Module Fpu_rename


module Fpu_rename: sig .. end
Aliases floating point functions to their "constant" counterparts, except for "ordinary functions"

As described in the Fpu module documentation, there are problems when mixing some C-lib or ocaml native functions with interval programming on 64 bits machine.

The standard floating point functions results will always lie in the low; high interval computed by the Fpu module, but they are slightly different on 32 and 64 bits machines.

Using Open Fpu_rename at the beginning of your program guarantees that floating computation will give the same results on 32 and 64 bits machines for all transcendantal functions but not for ordinary arithmetic functions.

NB: while most transcendantal function are almost as fast, and sometimes faster than their "standard" ocaml counterparts, +. -. *. and /. are much slower (from 50% to 100% depending on the processor). If you want to rename also +. -. *. and /. then use the Fpu_rename_all module.


val mod_float : float -> float -> float
Computes x mod y
val sqrt : float -> float
square root function
val log : float -> float
log function
val exp : float -> float
exp function
val ( ** ) : float -> float -> float
Computes x^y
val cos : float -> float
Computes cos(x) for x in [-2^63, 2^63]
val sin : float -> float
Computes sin(x) for x in [-2^63, 2^63]
val tan : float -> float
Computes tan(x) for x in [-2^63, 2^63]
val asin : float -> float
arc-sinus function
val acos : float -> float
arc-cosine function
val atan2 : float -> float -> float
atan2 function
val atan : float -> float
arc-tan function
val cosh : float -> float
cosh function
val sinh : float -> float
sinh function
val tanh : float -> float
tanh function