Skip to content
Sections
>> Trisquel >> Paketit >> aramo >> libdevel >> libcreal-ocaml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Source: ocamlcreal  ]

Paketti: libcreal-ocaml-dev (0.7-6build12)

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.

Muut pakettiin libcreal-ocaml-dev liittyvät paketit

  • depends
  • recommends
  • suggests

Imuroi libcreal-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 173.7 kt610 kt [tiedostoluettelo]
arm64 178.7 kt630 kt [tiedostoluettelo]
armhf 181.2 kt548 kt [tiedostoluettelo]
ppc64el 186.1 kt680 kt [tiedostoluettelo]