SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

ocaml-creal rpm build for : Mandriva 2011. For other distributions click ocaml-creal.

Name : ocaml-creal
Version : 0.7 Vendor : Mandriva
Release : 8mdv2011.0 Date : 2010-10-06 06:46:08
Group : Development/Other Source RPM : ocaml-creal-0.7-8mdv2011.0.src.rpm
Size : 0.30 MB
Packager : Funda Wang < fwang_mandriva_org>
Summary : Exact real arithmetic for Objective Caml
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.

RPM found in directory: /mirror/carroll.cac.psu.edu/pub/linux/distributions/mandrakelinux/official/2011/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.gwdg.de  ocaml-creal-0.7-8mdv2011.0.i586.rpm
ftp.gwdg.de  ocaml-creal-0.7-8mdv2011.0.i586.rpm
bo.mirror.garr.it  ocaml-creal-0.7-8mdv2011.0.i586.rpm
ftp.icm.edu.pl  ocaml-creal-0.7-8mdv2011.0.i586.rpm
ftp.pbone.net  ocaml-creal-0.7-8mdv2011.0.i586.rpm
     Search for other platforms
ocaml-creal-0.7-8mdv2011.0.sparc.rpm
ocaml-creal-0.7-8mdv2011.0.alpha.rpm
ocaml-creal-0.7-8mdv2011.0.ppc.rpm
ocaml-creal-0.7-8mdv2011.0.ia64.rpm
ocaml-creal-0.7-8mdv2011.0.s390.rpm

Provides :
ocaml-creal
ocaml-creal(x86-32)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
ocaml = 3.12.0


Content of RPM :
/usr/lib/ocaml/creal
/usr/lib/ocaml/creal/cr.cmi
/usr/lib/ocaml/creal/creal.cma
/usr/lib/ocaml/creal/creal.cmi
/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