module Fpu_rename:Aliases floating point functions to their "constant" counterparts, except for "ordinary functions"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
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
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