From: Roberto Bagnara <bagnara@cs.unipr.it>
To: Michel Quercia <michel.quercia@prepas.org>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] OCaml and bignums
Date: Mon, 10 May 2004 10:14:36 +0200 [thread overview]
Message-ID: <409F39EC.8060207@cs.unipr.it> (raw)
In-Reply-To: <20040510064127.32fa2c30.michel.quercia@prepas.org>
Michel Quercia wrote:
> To my knowledge, there are 3 bignum packages available for Ocaml :
Hi Michel,
thanks for your input.
> 1. The Bignum library shipped within the standard Ocaml distribution and maintained by the INRIA team. It provides support for big integers and for rationnals.
Are there any news concerning the licensing problems?
See http://pauillac.inria.fr/~aschmitt/cwn/2003.10.07.html#12
and http://lists.debian.org/debian-legal/2003/12/msg00240.html
if you don't know what I am talking about.
> 2. MLGMP : bindings for the GNU Multiprecision library, maintained by David Monniaux (http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz). It provides support for big integers, for rationnals and for big precision floats.
As far as you can tell, is it still maintained? The latest
item in ChangeLog appears to be on November 2002.
> 3. Numerix : another multiprecision library maintained by me (http://pauillac.inria.fr/~quercia/cdrom/bibs/numerix-0.19b.tar.gz). It provides support for big integers only, on x86/Unix platforms.
Do you have any plans to improve portability?
Thanks again,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-05-10 8:12 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-09 21:06 Roberto Bagnara
2004-05-10 4:41 ` Michel Quercia
2004-05-10 8:14 ` Roberto Bagnara [this message]
2004-05-10 8:39 ` Michel Quercia
2004-05-16 20:10 ` David Monniaux
2004-05-10 8:46 ` Jean-Christophe Filliatre
2004-05-10 17:49 ` Roberto Bagnara
2004-05-10 17:22 ` Remi Vanicat
2004-05-10 18:29 ` Roberto Bagnara
2004-05-11 17:21 ` Christophe TROESTLER
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=409F39EC.8060207@cs.unipr.it \
--to=bagnara@cs.unipr.it \
--cc=caml-list@inria.fr \
--cc=michel.quercia@prepas.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).