Linux temps réel embarqué et outils de développements Technique


libcreal-ocaml-dev O'Caml library that implements exact real arithmetic
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.

©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S