Bug#242842: ITP: ocamlcreal -- O'Caml library that implements exact real arithmetic
Package: wnpp
Severity: wishlist
Package name : ocamlcreal
Version : 0.4
Upstream Author : Jean-Christophe Filliâtre
<Jean-Christophe.Filliatre@lri.fr>
URL : http://www.lri.fr/~filliatr/software.en.html
License : LGPL
Description : O'Caml library that implements exact real arithmetic
This module implements exact real arithmetic, following
Val<E9>rie M<E9>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 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.
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.3
Locale: LANG=C, LC_CTYPE=C
Reply to: