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 TAA01660 for caml-redistribution; Thu, 26 Aug 1999 19:37:45 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA06649; Thu, 26 Aug 1999 19:28:43 +0200 (MET DST) From: Pierre Weis Message-Id: <199908261728.TAA06649@pauillac.inria.fr> Subject: Re: bignums? To: skaller@maxtal.com.au (John Skaller) Date: Thu, 26 Aug 1999 19:28:43 +0200 (MET DST) Cc: caml-list@pauillac.inria.fr In-Reply-To: <3.0.6.32.19990824131900.009a26a0@mail.triode.net.au> from "John Skaller" at Aug 24, 99 01:19:00 pm X-Mailer: ELM [version 2.4 PL24 ME8] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis > I need an Ocaml multiple precision arithmetic package. I'd like to try > using an existing interface if possible, to say wrapping > my own bignums package. The ``num'' library is distributed with O'Caml; it provides an efficient multiprecision arithmetics package for integers and rational numbers. It is well interfaced to the Caml system and well debugged. If you need rational arithmetics, this package is probably more convenient (and very often much more efficient) than a usual rational arithmetics package (such as GMP), since the ``num'' library gives you the full control over the rational numbers normalisation strategy that is so important to get efficient computation with rational numbers. Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/