
Module Creal for Objective caml: Exact real arithmetic.
Copyright (C) 2000 Jean-Christophe Fillitre.

This  module  implements  exact  real  arithmetic,  following  Valrie
Mnissier-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).

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.


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 gmp.cmxa creal.cmxa foo.cmx
