Creal for Objective caml: Exact real arithmetic. Copyright (C) 2000 Jean-Christophe Filliâtre. This library implements exact real arithmetic. There are actually two different implementations: - Module Creal, following Valérie Ménissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/). A real x is represented as a function giving, for any n, an approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an arbitrary precision integer (of type Gmp.Z.t). - Module Cr, a translation of Hans Boehm's Java library CR (see http://www.hpl.hp.com/personal/Hans_Boehm/crcalc/) The two implementations have almost identical interfaces, so that it is easy to switch from one to the other. Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition, subtraction, multiplication, division, power, square root) and transcendental functions (sin, cos, tan, log, exp, arcsin, arccos, etc.) and a few constants (pi, e) are provided. A small reverse-polish calculator is provided to test the library (ecalc.opt). USAGE ===== Compilation of a program with a single module Foo (in foo.ml) using Creal (assumes Creal is installed; see INSTALL). Bytecode: ocamlc -c -I +creal foo.ml ocamlc -o foo -I +creal creal.cma foo.cmo Native-code: ocamlopt -c -I +creal foo.ml ocamlopt -o foo -I +creal creal.cmxa foo.cmx