1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
Source: ocamlcreal
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Mike Furr <mfurr@debian.org>,
Mehdi Dogguy <mehdi@debian.org>
Build-Depends:
ocaml-nox (>= 3.11.1-3~),
debhelper (>= 7.0.50~),
quilt (>= 0.46-7),
libgmp-ocaml-dev (>= 20021123-16),
dh-ocaml (>= 0.9~)
Standards-Version: 3.8.3
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocamlcreal.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocamlcreal.git
Package: libcreal-ocaml-dev
Architecture: any
Depends:
${ocaml:Depends},
${misc:Depends},
${shlibs:Depends},
Provides:
${ocaml:Provides}
Description: 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.
|
