package interval

  1. Overview
  2. Docs
  • deprecated

    Use Fpu.Rename_all. 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