|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
libcreal-ocaml-dev
| libcreal-ocaml-dev | O'Caml library that implements exact real arithmetic | | Priority | |
| Section | libdevel |
| Installed size | 364 |
| Maintainer | Mike Furr <mfurr@debian.org> |
| Architecture | i386 |
| Version | 0.7-3 |
| Depends | ocaml-nox-3.09.2, libgmp-ocaml-dev |
| Suggests | libqttestrunner1c2a (= 1.12.0-1), libcppunit-doc |
| File name | pool/main/o/ocamlcreal/libcreal-ocaml-dev_0.7-3_i386.deb |
| Description | 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. |
|
|
|
Etude RTOS