package interval

  1. Overview
  2. Docs

Module Fpu_renameSource

  • deprecated

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

Sourceval mod_float : float -> float -> float

Computes x mod y

Sourceval sqrt : float -> float

square root function

Sourceval log : float -> float

log function

Sourceval exp : float -> float

exp function

Sourceval (**) : float -> float -> float

Computes x^y

Sourceval cos : float -> float

Computes cos(x) for x in [-2^63, 2^63]

Sourceval sin : float -> float

Computes sin(x) for x in [-2^63, 2^63]

Sourceval tan : float -> float

Computes tan(x) for x in [-2^63, 2^63]

Sourceval asin : float -> float

arc-sinus function

Sourceval acos : float -> float

arc-cosine function

Sourceval atan2 : float -> float -> float

atan2 function

Sourceval atan : float -> float

arc-tan function

Sourceval cosh : float -> float

cosh function

Sourceval sinh : float -> float

sinh function

Sourceval tanh : float -> float

tanh function

OCaml

Innovation. Community. Security.