| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ocaml-creal | Distribution: Mageia |
| Version: 0.7 | Vendor: Mageia.Org |
| Release: 4.mga3 | Build date: Sat Jan 12 23:55:19 2013 |
| Group: Development/OCaml | Build host: ecosse.mageia.org |
| Size: 826504 | Source RPM: ocaml-creal-0.7-4.mga3.src.rpm |
| Packager: umeabot <umeabot> | |
| Url: http://www.lri.fr/~filliatr/creal.en.html | |
| Summary: Exact real arithmetic for OCaml | |
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.
LGPL 2
* Sat Jan 12 2013 umeabot <umeabot> 0.7-4.mga3 + Revision: 361235 - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild * Mon Oct 01 2012 blue_prawn <blue_prawn> 0.7-3.mga3 + Revision: 301645 - new rpm group for ocaml - new rpm group for ocaml * Thu Apr 12 2012 blue_prawn <blue_prawn> 0.7-1.mga2 + Revision: 230541 - imported package ocaml-creal
/usr/bin/ecalc /usr/lib/ocaml/creal /usr/lib/ocaml/creal/META /usr/lib/ocaml/creal/cr.cmi /usr/lib/ocaml/creal/creal.cma /usr/lib/ocaml/creal/creal.cmi /usr/lib/ocaml/creal/dllcreal.so /usr/lib/ocaml/creal/gmp.cma /usr/lib/ocaml/creal/gmp.cmi /usr/share/doc/ocaml-creal /usr/share/doc/ocaml-creal/CHANGES /usr/share/doc/ocaml-creal/README
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue May 21 07:13:27 2013