package interval

You can search for identifiers within the package.

in-package search v0.2.0

package interval

interval
- Fpu
  - High
    
    U
  - Low
    
    U
  - Rename
  - Rename_all
- Fpu_rename
- Fpu_rename_all
- Interval
  - I
    
    Arr
    
    U

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functions rounding down their results.

val float : int -> float

The float function is exact on 32 bits machine but not on 64 bits machine with ints larger than 53 bits.

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

val (-.) : float -> float -> float

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

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

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

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

val pow : float -> float -> float

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

val sqrt : float -> float

Floating point square root, rounded down.

val exp : float -> float

Floating point exponential, rounded down.

val log : float -> float

Floating point log rounded down.

val sin : float -> float

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

val cos : float -> float

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

val tan : float -> float

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

val asin : float -> float

Arc-sine function.

val acos : float -> float

Arc-cosine function.

val atan : float -> float

Arc-tangent function.

val 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 π.

val sinh : float -> float

Computes the hyperbolic sine, sinh(x).

val cosh : float -> float

Computes the hyperbolic cosine, cosh(x).

val tanh : float -> float

Computes the hyperbolic tangent, tanh(x).

module U : sig ... end

Locally open to restore standard integer and floating point operators.