package interval_base

You can search for identifiers within the package.

in-package search v0.2.0

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

Module `Interval.Low`Source

Functions rounding down their results.

include 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 = I.U

Locally open to restore standard integer and floating point operators.