package interval

You can search for identifiers within the package.

in-package search v0.2.0

An interval library for OCaml

Install

Dune Dependency

github.com Readme Changelog LGPL-3.0-only License Edit opam file Versions (5)

Authors

Maintainers

C

Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

interval-1.4.tbz

sha256=083c0e2c20df3d2f2edc497b93d8b7d651c76a51f6d0baf8ae3285c3d08080c9

md5=fe92e35e8a9cc693e250452f225f42ac

doc/interval/Fpu_rename_all/index.html

Module `Fpu_rename_all`Source

deprecated
Use Fpu.Rename_all. Aliases floating point functions to their "constant" counterparts.

As described in the Fpu module documentation, there are problems when mixing some C-lib or ocaml native functions with interval programming on 64 bits machine.

The standard floating point functions results will always lie in the [low; high] interval computed by the Fpu module, but they are slightly different on 32 and 64 bits machines.

Using open Fpu.Rename_all at the beginning of your program guarantees that floating computation will give the same results on 32 and 64 bits machines. This is not mandatory but might help.

NB: while most transcendantal function are almost as fast, and sometimes faster than their "standard" ocaml counterparts, +., -., *. and /. are much slower (from 50% to 100% depending on the processor. If you want to rename transcendantal functions but not +., -., *. and /. then use the Fpu.Rename module.

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

Computes x + y

Sourceval (-.) : float -> float -> float

Computes x - y

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

Computes x / y

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

Computes x * y

Sourceval mod_float : float -> float -> float

Computes x mod y

Sourceval sqrt : float -> float

square root function

Sourceval log : float -> float

log function

Sourceval exp : float -> float

exp function

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

Computes x^y

Sourceval cos : float -> float

Computes cos(x) for x in [-2^63, 2^63]

Sourceval sin : float -> float

Computes sin(x) for x in [-2^63, 2^63]

Sourceval tan : float -> float

Computes tan(x) for x in [-2^63, 2^63]

Sourceval asin : float -> float

arc-sinus function

Sourceval acos : float -> float

arc-cosine function

Sourceval atan2 : float -> float -> float

atan2 function

Sourceval atan : float -> float

arc-tan function

Sourceval cosh : float -> float

cosh function

Sourceval sinh : float -> float

sinh function

Sourceval tanh : float -> float

tanh function