libcreal-ocaml-dev | O'Caml library that implements exact real arithmetic | Mehr ... |
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. |