|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-6+b1) unstable; urgency=low * Binary-only non-maintainer upload for amd64; no source changes. * Recompile with OCaml 3.11.2 -- Debian amd64 Build Daemon <email@example.com> Tue, 09 Feb 2010 23:53:20 +0000 ocamlcreal (0.7-6) unstable; urgency=low [ Stephane Glondu ] * Switch packaging to git [ Mehdi Dogguy ] * Update my e-mail address * Re 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 <firstname.lastname@example.org> on Sat, 10 Apr 2004 12:49:19 -0400. It more»