module Fpu_rename_all:sig
..end
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
val (-.) : float -> float -> float
val (/.) : float -> float -> float
val ( *. ) : float -> float -> float
val mod_float : float -> float -> float
val sqrt : float -> float
val log : float -> float
val exp : float -> float
val ( ** ) : float -> float -> float
val cos : float -> float
val sin : float -> float
val tan : float -> float
val asin : float -> float
val acos : float -> float
val atan2 : float -> float -> float
val atan : float -> float
val cosh : float -> float
val sinh : float -> float
val tanh : float -> float