Package: libcreal-ocaml-dev (0.7-7 and others) [debports]

[ Source:  ]

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.

Other Packages Related to libcreal-ocaml-dev

• dep: libgmp-ocaml-dev-sz7n3

  virtual package provided by libgmp-ocaml-dev

• dep: libstdlib-ocaml-dev-rg5q2

  virtual package provided by libstdlib-ocaml-dev

• dep: ocaml-4.14.1

  virtual package provided by ocaml

Download libcreal-ocaml-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
sparc64 (unofficial port)	0.7-7+b1	108.3 kB	405.0 kB	[list of files]