Skip to content
Sections
>> Trisquel >> Paket >> aramo >> libdevel >> libcreal-ocaml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Källkod: ocamlcreal  ]

Paket: 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.

Andra paket besläktade med libcreal-ocaml-dev

  • beror
  • rekommenderar
  • föreslår

Hämta libcreal-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 173,7 kbyte610 kbyte [filförteckning]
arm64 178,7 kbyte630 kbyte [filförteckning]
armhf 181,2 kbyte548 kbyte [filförteckning]
ppc64el 186,1 kbyte680 kbyte [filförteckning]