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 WAA29349; Sun, 16 May 2004 22:10:56 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA24370 for ; Sun, 16 May 2004 22:10:55 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from picsou.chatons.dyndns.org (massena-8-82-225-77-14.fbx.proxad.net [82.225.77.14]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4GKAsSH014833 for ; Sun, 16 May 2004 22:10:54 +0200 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by picsou.chatons.dyndns.org (Postfix) with ESMTP id 32ED51778E; Sun, 16 May 2004 22:10:54 +0200 (CEST) Subject: Re: [Caml-list] OCaml and bignums From: David Monniaux To: Michel Quercia Cc: Roberto Bagnara , caml-list@inria.fr In-Reply-To: <20040510103916.2575ec5f.michel.quercia@prepas.org> References: <409E9D6C.7020001@cs.unipr.it> <20040510064127.32fa2c30.michel.quercia@prepas.org> <409F39EC.8060207@cs.unipr.it> <20040510103916.2575ec5f.michel.quercia@prepas.org> Content-Type: text/plain Organization: Ăcole Normale SupĂ©rieure Message-Id: <1084738253.21965.4.camel@picsou> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.5 (1.4.5-7) Date: Sun, 16 May 2004 22:10:54 +0200 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 40A7CACE.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 monniaux:01 monniaux:01 2004:99 quercia:01 mlgmp:01 changelog:01 gmp:01 gmp:01 api:01 mlgmp:01 recreate:01 floats:01 compiles:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 2004-05-10 at 10:39, Michel Quercia wrote: > > [MLGMP] As far as you can tell, is it still maintained? The latest > > item in ChangeLog appears to be on November 2002. > Same, David will surely reply. Well, the library *is* maintained. I haven't quite kept up with the newest stuff in GMP (fancy operations), but I can add it if it's needed. Sometimes GMP breaks API compatibility, so I adapt to the newest versions. Some people have noted poor performance with MLGMP memory-wise. Such problems are very difficult to fix - they have to do with the GC speed in OCaml etc... I've not been able to recreate the problems, so I suspect that I would have to be given some actual source code exhibiting the problems in question. I suspect that it has to do with the fact that MLGMP provides a functional interface to GMP, while GMP was written with in-place modification in mind. That's why there exist for integer values the Z2 module, which provides for in-place modification. I may extend this to rational and floats if needed. The latest version compiles and runs at least on GMP-4.1.2 on x86 and AMD64. -- D.M. ------------------- 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