Filewatcher File Search File Search
Content Search
» » » » »


O'Caml library that implements exact real arithmetic

This module implements exact real arithmetic, following Valerie Menissier-Morain Ph.D. thesis (

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.

Package version:0.7-4+b2


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 (

  A  real  x  is  represented  as  a function  giving,  for  any  n,  an
  approximation zn/4^n 


ocamlcreal (0.7-4+b2) unstable; urgency=low

  * Binary-only non-maintainer upload for i386; no source changes.
  * Rebuild with ocaml 3.10.2

 -- Debian/i386 Build Daemon <buildd_i386-ninsei>  Fri, 23 May 2008 11:02:37 -0700

ocamlcreal (0.7-4) unstable; urgency=low

  * Rebuild for 3.10.0

 -- Mike Furr <>  Mon, 10 Sep 2007 15:57:23 -0400

ocamlcreal (0.7-3) unstable; urgency=low


 o new implementation of constructive reals in module Cr
   (Java library by Hans Boehm ported to ocaml); this one is usually more 
   efficient than Creal (uses less memory).
   The two interfaces are (almost) identical, so it is easy to switch from
   one to the other.
 o slight changes in Creal interface to be compatible with Cr interface:
   - of_string : ?radix:int -> string -> t
   - log: ~


This package was debianized by Mike Furr <> on
Sat, 10 Apr 2004 12:49:19 -0400.


Browse inside libcreal-ocaml-dev_0.7-4+b2_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libcreal-ocaml-dev_0.7-4+b2_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016