package interval_intel

You can search for identifiers within the package.

in-package search v0.2.0

interval_intel
- Interval_intel
  - Fpu
    
    Rename
    
    Rename_all
    
    RoundDown
    
    RoundUp
  - I
    
    Arr
    
    Precision
    
    U

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

val mod_float : float -> float -> float

Alias for Fpu.fmod.

val exp : float -> float

Alias for Fpu.fexp.

val log : float -> float

Alias for Fpu.flog.

val (**) : float -> float -> float

Alias for Fpu.fpow.

val sin : float -> float

Alias for Fpu.fsin. Computes sin(x) for x ∈ [-2⁶³, 2⁶³].

val cos : float -> float

Alias for Fpu.fcos. Computes cos(x) for x ∈ [-2⁶³, 2⁶³].