package interval_crlibm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Interval sub-module
Directed rounding

interval_crlibm
- Interval_crlibm
  - DIRECTED
  - High
  - I
    
    U
  - Low

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

version 1.5

Interval sub-module

type t = Interval.t = {

low : float;
(*
lower bound, possibly = -∞
*)
high : float;
(*
higher bound, possibly = +∞
*)

}

module I : sig ... end

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

Directed rounding

module type DIRECTED = sig ... end

module Low : DIRECTED

Functions rounding down their results.

module High : DIRECTED

Functions rounding up their results.