Paquet : libcreal-ocaml-dev (0.7-7 et autres) [debports]

[ Paquet 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.

Autres paquets associés à libcreal-ocaml-dev

• dep: libgmp-ocaml-dev-sz7n3

  paquet virtuel fourni par libgmp-ocaml-dev

• dep: libstdlib-ocaml-dev-rg5q2

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: ocaml-4.14.1

  paquet virtuel fourni par ocaml

Télécharger libcreal-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	0.7-7+b1	108,2 ko	405,0 ko	[liste des fichiers]