|File Search||Catalog||Content Search|
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.
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 more»
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 <firstname.lastname@example.org> Mon, 10 Sep 2007 15:57:23 -0400 ocamlcreal (0.7-3) unstable; urgency=low more»
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: ~ more»
This package was debianized by Mike Furr <email@example.com> on Sat, 10 Apr 2004 12:49:19 -0400. It more»