Pacote: libcreal-ocaml-dev (0.7-8 e outros)
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.
Outros pacotes relacionados a libcreal-ocaml-dev
|
|
|
|
-
- dep: libgmp-ocaml-dev-p5s25
- pacote virtual fornecido por libgmp-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- pacote virtual fornecido por libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- pacote virtual fornecido por ocaml
Download de libcreal-ocaml-dev
| Arquitetura | Versão | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|---|
| amd64 | 0.7-8+b2 | 148.2 kB | 488.0 kB | [lista de arquivos] |
| arm64 | 0.7-8+b2 | 149.4 kB | 518.0 kB | [lista de arquivos] |