Package : ocaml-creal > RPM : ocaml-creal-0.7-10.mga6.src.rpm
Basic items
Name | ocaml-creal |
Version | 0.7 |
Release | 10.mga6 |
URL | http://www.lri.fr/~filliatr/creal.en.html |
Group | Development/OCaml |
Summary | Exact real arithmetic for OCaml |
Size | 64KB |
Arch | x86_64 |
License | LGPL 2 |
Description
Creal is an exact real arithmetic library for Objective Caml.
This module implements exact real arithmetic, following Valérie
Ménissier-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.
Written by Jean-Christophe Filliâtre.
This module implements exact real arithmetic, following Valérie
Ménissier-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.
Written by Jean-Christophe Filliâtre.
Media information
Distribution release | Mageia 6 |
Media name | core-release |
Media arch | x86_64 |
Advanced items
Source RPM | NOT IN DATABASE ?! |
Build time | 2016-09-26 01:06:10 |
Changelog | View in Sophie |
Files | View in Sophie |
Dependencies | View in Sophie |