bignums?

bignums?

[John Skaller]

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

-------------------------------------------------------
John Skaller    email: skaller@maxtal.com.au
		http://www.maxtal.com.au/~skaller
		phone: 61-2-96600850
		snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia

Re: bignums?

[Pierre 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/

Re: bignums?

[Matías Giovannini]

John Skaller wrote:

> I need an Ocaml multiple precision arithmetic package.
> I'd like to try  using an existing interface if possible,

Why not use Ocaml's own Bigints, or Nats if you need all the speed the
low-level implemetation gives you? You may need to link a special
top-level with libnums.a.

As far as I know, Ocaml's underlying implementation is faster than GMP,
older, stabler and more complete.
-- 
I got your message. I couldn't read it. It was a cryptogram.
-- Laurie Anderson

Re: bignums?

[John Skaller]

At 19:28 26/08/99 +0200, Pierre Weis wrote:
>> 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; 

	Argghhhh :-) 

	My apologies, somehow I missed the num library,
which is plainly there in the standard documentation.

[Note: the URL given in the doco for the Technical
Report is not quite correct. The TR is very nice,
although it exhibits code from an old version of
caml]

-------------------------------------------------------
John Skaller    email: skaller@maxtal.com.au
		http://www.maxtal.com.au/~skaller
		phone: 61-2-96600850
		snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia

Re: bignums?

[Jean-Christophe Filliatre]

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

Re: bignums?

[Daniel de Rauglaudre]

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

Sorry. I could not find the right page either. Try to ask David Monniaux
by searching his Email address on the Web.

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/

Re: bignums?

[David Monniaux]

On Tue, 24 Aug 1999, John Skaller wrote:

> In the Caml Hump, the interface to GMP is linked to:
> 
> 	http://www.eleves.ens.fr:8080/~monniaux/programmes.html.en

This page has been moved to
http://www.di.ens.fr/~monniaux/programmes.html.en

Sorry for the inconvenience.

---
David Monniaux     Tel: +33 1 44 32 20 66    Fax: +33 1 44 32 20 80 
Laboratoire d'informatique de l'École Normale Supérieure,
45 rue d'Ulm - 75230 PARIS cedex 5 - FRANCE