ocamlcreal 0.7-6build5 source package in Ubuntu
ocamlcreal (0.7-6build5) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose <email address hidden> Mon, 23 Dec 2013 16:18:02 +0000
- diff from 0.7-6build4 to 0.7-6build5 (287 bytes)
Binary packages built by this source
- libcreal-ocaml-dev: O'Caml library that implements exact real arithmetic
This module implements exact real arithmetic, following Valerie
Menissier-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.