From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA24773 for caml-redistribution; Mon, 29 Dec 1997 09:33:47 +0100 (MET) 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 TAA19528 for ; Wed, 24 Dec 1997 19:25:30 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id TAA07661 for ; Wed, 24 Dec 1997 19:25:28 +0100 (MET) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.8.7/jtpda-5.1) with ESMTP id TAA02226 for ; Wed, 24 Dec 1997 19:24:57 +0100 (MET) Received: from jonque.ens.fr (jonque [129.199.129.4]) by clipper.ens.fr (8.8.7/jb-1.1) id TAA10819 for ; Wed, 24 Dec 1997 19:24:57 +0100 (MET) Received: from localhost (monniaux@localhost) by jonque.ens.fr (8.8.7/jb-1.1) id TAA01788 for ; Wed, 24 Dec 1997 19:24:56 +0100 (MET) Date: Wed, 24 Dec 1997 19:24:56 +0100 (MET) From: David Monniaux X-Sender: monniaux@jonque Reply-To: David Monniaux To: Liste CAML Subject: O'Caml - GNU MP interface Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis Hi all, here's the Christmas release... Version 0.12 of mlgmp is available on http://www.ens-lyon.fr/~dmonniau/arcs/mlgmp.tar.gz As a reminder, GNU MP is a free extended precision library. mlgmp is an easy-to-use interface between O'Caml and GNU MP, featuring: * functional style functions with infix abbreviations [from v0.11] * imperative style functions (in-place assignments) [from v0.10] with fine-grained control of precision [from v0.11] * pretty-printing support for the toplevel [automatic installation of that feature from v0.12] I've got feedback from M. Quercia about the lack of infix operators and the need of finer precision control operations. The current system only allows fine-grained control for imperative-style programming. I'd like to know what are the needs of the users as to the precision control : should all arithmetic functions be supplemented with a function taking the precision as an extra argument? Also, should "from nothing" (as opposed to from_int etc....) initialization functions be supplied? As a personnal feedback to the O'Caml development team, I think the installation of pretty-printers from extension packages such as mlgmp is for now a bit too "hackish" (I had to use several undocumented features). -- D. Monniaux