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.High`Source

Functions rounding up their results.

include module type of Interval.High

include Interval.DIRECTED with type t = float

Sourcetype t = float

Type of numbers.

Sourceval zero : t

The neutral element for addition.

Sourceval one : t

The neutral element for multiplication.

Sourceval pi : t

Upper/lower bound on π.

Sourceval two_pi : t

Upper/lower bound on 2π.

Sourceval half_pi : t

Upper/lower bound on π/2.

Sourceval e : t

Upper/lower bound on e (Euler's constant).

Sourceval float : int -> t

When t = float, the float function is exact on 32 bits machine but not on 64 bits machine with ints larger than 53 bits.

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

Sourceval (-.) : t -> t -> t

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

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

Sourceval sqr : t -> t

sqr x returns an upper/lower bound on x².

Sourceval cbr : t -> t

cbr x returns an upper/lower bound on x³.

Sourceval pow_i : t -> int -> t

pow_i x n return a upper/lower bound on xⁿ.

Sourcemodule U = Interval.I.U

Locally open to restore standard integer and floating point operators.

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

x**y computes x at power y, rounded up, expanded to its mathematical limit when it exists.

Sourceval pow : float -> float -> float

pow x y computes x at power y, rounded up, for 0 < x < ∞ and -∞ < y < infty.

Sourceval sqrt : float -> float

Floating point square root, rounded up.

Sourceval exp : float -> float

Floating point exponential, rounded up.

Sourceval log : float -> float

Floating point log, rounded up.

Sourceval sin : float -> float

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

Sourceval cos : float -> float

Computes cos(x) for x in ]-2⁶³, 2⁶³[.

Sourceval tan : float -> float

Computes tan(x) for x in ]-2⁶³, 2⁶³[.

Sourceval asin : float -> float

Arc-sine function.

Sourceval acos : float -> float

Arc-cosine function.

Sourceval atan : float -> float

Arc-tangent function.

Sourceval atan2 : float -> float -> float

atan2 y x returns the arc tangent of y /. x. The signs of x and y are used to determine the quadrant of the result. Result is in radians and is between -π and π.

Sourceval sinh : float -> float

Computes the hyperbolic sine, sinh(x).

Sourceval cosh : float -> float

Computes the hyperbolic cosine, cosh(x).

Sourceval tanh : float -> float

Computes the hyperbolic tangent, tanh(x).

package interval_intel

Module Fpu.HighSource

Module `Fpu.High`Source