From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15190; Mon, 10 May 2004 10:12:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA15252 for ; Mon, 10 May 2004 10:12:44 +0200 (MET DST) Received: from smtp1.libero.it (smtp1.libero.it [193.70.192.51]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4A8ChEV005517 for ; Mon, 10 May 2004 10:12:43 +0200 Received: from zoltan.unisuv.it (151.27.31.192) by smtp1.libero.it (7.0.027-DD01) id 404891150102AB8C; Mon, 10 May 2004 10:13:03 +0200 Received: from cs.unipr.it (localhost [127.0.0.1]) by zoltan.unisuv.it (8.12.8/8.12.8) with ESMTP id i4A8EbjU022165; Mon, 10 May 2004 10:14:38 +0200 Message-ID: <409F39EC.8060207@cs.unipr.it> Date: Mon, 10 May 2004 10:14:36 +0200 From: Roberto Bagnara Organization: Department of Mathematics, University of Parma, Italy User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040116 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Michel Quercia CC: caml-list@inria.fr Subject: Re: [Caml-list] OCaml and bignums References: <409E9D6C.7020001@cs.unipr.it> <20040510064127.32fa2c30.michel.quercia@prepas.org> In-Reply-To: <20040510064127.32fa2c30.michel.quercia@prepas.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 409F397B.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bignums:01 quercia:01 bignum:01 bignum:01 rationnals:01 mlgmp:01 monniaux:01 monniaux:01 mlgmp:01 rationnals:01 floats:01 changelog:01 numerix:01 quercia:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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