Module Interval_crlibmSource

Interval library for OCaml (crlibm version).

This library has the important property that the functions are proved correct (while Interval_intel mostly uses the processor implementation, which is sometimes flawed). It is sometimes faster, sometimes slightly slower than Interval_intel. Some additional functions are also available, thanks to CRlibm.

It is recommended to open this module.

Interval sub-module

Sourcetype interval = Interval_base.interval = {
  1. low : float;
    (*

    lower bound, possibly = -∞

    *)
  2. high : float;
    (*

    higher bound, possibly = +∞

    *)
}
Sourcemodule I : sig ... end

Interval operations. Locally open this module — using e.g. I.(...) — to redefine classical arithmetic operators for interval arithmetic.

Directed rounding

Sourcemodule type DIRECTED = sig ... end

Functions rounding down their results.

Sourcemodule Low = RoundDown

Functions rounding up their results.

Sourcemodule High = RoundUp