package interval_intel

You can search for identifiers within the package.

in-package search v0.2.0

interval_intel
- Library interval_intel
  - Interval_intel
    
    I
    
    U
    
    Arr
    
    Fpu
    
    Low
    
    U
    
    High
    
    U
    
    Rename
    
    Rename_all
    
    Low
    
    High
- Sources
  - interval_intel
    
    fpu.ml
    
    fpu_rename.ml
    
    fpu_rename_all.ml
    
    generic.ml
    
    interval_intel.ml
    
    interval_intel__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fpu.Rename_all`Source

Aliases floating point functions to their "constant" counterparts, including +., -., *. and /..

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.

Sourceval (+.) : float -> float -> float

Alias for Fpu.fadd.

Sourceval (-.) : float -> float -> float

Alias for Fpu.fsub.

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

Alias for Fpu.fmul.

Sourceval (/.) : float -> float -> float

Alias for Fpu.fdiv.

Sourceval mod_float : float -> float -> float

Alias for Fpu.fmod.

Sourceval sqrt : float -> float

Alias for Fpu.fsqrt.

Sourceval exp : float -> float

Alias for Fpu.fexp.

Sourceval log : float -> float

Alias for Fpu.flog.

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

Alias for Fpu.fpow.

Sourceval sin : float -> float

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

Sourceval cos : float -> float

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

Sourceval tan : float -> float

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

Sourceval asin : float -> float

Alias for Fpu.fasin.

Sourceval acos : float -> float

Alias for Fpu.facos.

Sourceval atan : float -> float

Arc-tangent function using Fpu.fatan.

Sourceval atan2 : float -> float -> float

atan2 function using Fpu.fatan.

Sourceval cosh : float -> float

Alias for Fpu.fcosh.

Sourceval sinh : float -> float

Alias for Fpu.fsinh.

Sourceval tanh : float -> float

Alias for Fpu.ftanh.

package interval_intel

Module Fpu.Rename_allSource

Module `Fpu.Rename_all`Source