CVS commit: wip/creal

["othyro" <othyro%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   othyro
Date:           Wed Apr 28 03:54:13 UTC 2010

Import into wip/creal

Log Message:
Import creal-0.7 as wip/creal.

Creal is an exact real arithmetic library (constructive reals) for ocaml

Creal actually contains two different implementations:

    * Creal: from the PhD thesis of Valerie Menissier-Morain (.ps)
    * Cr: port of Hans Boehm's Java CR library

The two interfaces are almost identical, so that it is easy to switch from one
to the other, unless you are using the approx function directly: in Creal, it
gives an approximation up to 1/4^n, and in Cr up to 2^n

Both implementations are based on mlgmp by David Monniaux (included in this pkg)

Status:

Vendor Tag:     OTHYRO
Release Tags:   OTHYRO_20100428
                
N wip/creal/distinfo
N wip/creal/Makefile
N wip/creal/TODO
N wip/creal/PLIST
N wip/creal/DESCR

No conflicts created by this import


------------------------------------------------------------------------------
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs