Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] OCaml and bignums
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-05-16 (20:10)
From: David Monniaux <David.Monniaux@e...>
Subject: Re: [Caml-list] OCaml and bignums
On Mon, 2004-05-10 at 10:39, Michel Quercia wrote:

> > [MLGMP] As far as you can tell, is it still maintained?  The latest
> > item in ChangeLog appears to be on November 2002.
> Same, David will surely reply.

Well, the library *is* maintained. I haven't quite kept up with the
newest stuff in GMP (fancy operations), but I can add it if it's needed.
Sometimes GMP breaks API compatibility, so I adapt to the newest

Some people have noted poor performance with MLGMP memory-wise. Such
problems are very difficult to fix - they have to do with the GC speed
in OCaml etc... I've not been able to recreate the problems, so I
suspect that I would have to be given some actual source code exhibiting
the problems in question.

I suspect that it has to do with the fact that MLGMP provides a
functional interface to GMP, while GMP was written with in-place
modification in mind. That's why there exist for integer values the Z2
module, which provides for in-place modification. I may extend this to
rational and floats if needed.

The latest version compiles and runs at least on GMP-4.1.2 on x86 and

-- D.M.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: