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 TAA06549 for caml-redistribution; Sat, 28 Aug 1999 19:28:50 +0200 (MET DST)
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 LAA10559 for <caml-list@pauillac.inria.fr>; Fri, 27 Aug 1999 11:16:47 +0200 (MET DST)
Received: from lri.lri.fr (lri.lri.fr [129.175.15.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA11273
	for <caml-list@inria.fr>; Fri, 27 Aug 1999 11:16:44 +0200 (MET DST)
Received: from pc89.lri.fr (pc89.lri.fr [129.175.8.108])
	by lri.lri.fr (8.9.1a/8.9.1) with ESMTP id LAA26627;
	Fri, 27 Aug 1999 11:16:20 +0200 (MET DST)
Received: by pc89.lri.fr
	(8.8.7/feuille) id LAA11383
	; Fri, 27 Aug 1999 11:16:19 +0200
X-Authentication-Warning: pc89.lri.fr: filliatr set sender to filliatr@pc89.lri.fr using -f
From: Jean-Christophe Filliatre <filliatr@lri.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14278.22371.225912.741091@pc89.lri.fr>
Date: Fri, 27 Aug 1999 11:16:19 +0200 (MEST)
To: John Skaller <skaller@maxtal.com.au>
Cc: caml-list@inria.fr
Subject: Re: bignums?
In-Reply-To: <3.0.6.32.19990824131900.009a26a0@mail.triode.net.au>
References: <3.0.6.32.19990824131900.009a26a0@mail.triode.net.au>
X-Mailer: VM 6.49 under Emacs 20.3.1
Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre)
Content-Transfer-Encoding: 7bit
Sender: weis


I've got a copy of mlgmp, which is here:

	 http://www.lri.fr/~filliatr/pub/mlgmp_0.13.tar.gz

I recently  used it with  a friend of  mine to compute  huge Fibonacci
numbers,  and  it  was  quite  more efficient  than  bignum  (on  that
problem).

Best regards,
-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr

> In the Caml Hump, the interface to GMP is linked to:
> 
> 	http://www.eleves.ens.fr:8080/~monniaux/programmes.html.en
> 
> but I am unable to retrieve this page. 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. Does anyone have a working link
> to the above interface, or a copy of it? Is it any good?
> 
> (last time I tried, I couldn't build GMP on my linux box
> correctly -- I know my own C code works, but GMP might be
> faster).