Module Fpu_rename_all

module Fpu_rename_all: sig .. end
Aliases floating point functions to their "constant" counterparts.

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_all at the beginning of your program guarantees that floating computation will give the same results on 32 and 64 bits machines. This is not mandatory but might help.

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 transcendantal functions but not +. -. *. and /. then use the Fpu_rename module.


val (+.) : float -> float -> float
Computes x + y
val (-.) : float -> float -> float
Computes x - y
val (/.) : float -> float -> float
Computes x / y
val ( *. ) : float -> float -> float
Computes x * y
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