Constructive reals OCaml library

Creal is an exact real arithmetic library (constructive reals) for OCaml

Creal actually contains two different implementations :

The two interfaces are almost identical, so that it is easy to switch from one to the other, unless your are using the approx function directly: in Creal, it gives an approximation up to 1/4^n, and in Cr up to 2^n

Both implementation are based on mlgmp by David Monniaux (included in the tarball below)

Download

creal-0.7.tar.gz


Homepage Français OCaml
Jean-Christophe.Filliatre[at]lri.fr (formatted with yamlpp).