|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-3) unstable; urgency=low * Remove control.in per new policy * Rebuild for 3.09.2 (Closes: #376398) * svn layout is now svn-buildpackage compatible -- Mike Furr <email@example.com> Fri, 8 Sep 2006 15:47:58 -0400 ocamlcreal (0.7-2) unstable; urgency=low * Remove hard-coded abi strings * Rebuild for 3.09.1 -- Mike Furr <firstname.lastname@example.org> Mon, 9 Jan 2006 19:45:33 -0 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»