Re: bignums?

From: Jean-Christophe Filliatre (filliatr@lri.fr)
Date: Fri Aug 27 1999 - 11:16:19 MET DST

From: Jean-Christophe Filliatre <filliatr@lri.fr>
Date: Fri, 27 Aug 1999 11:16:19 +0200 (MEST)
To: John Skaller <skaller@maxtal.com.au>
Subject: Re: bignums?
In-Reply-To: <3.0.6.32.19990824131900.009a26a0@mail.triode.net.au>

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).

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:24 MET