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] Miller-Rabin primality test
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Yaron M. Minsky <yminsky@C...>
Subject: Re: [Caml-list] Miller-Rabin primality test
There's an implementation that's part of SKS
(  It's based on the Numerix library,
although I'm not sure that's necessarily the best way to go.  The key
files are and, which you can get from the CVS

(Or you can look at to download the distribution.) 

Anyone know what the status of Numerix is these days?  Is it still
faster than the alternatives  (gmp, Nat)?  


On Tue, 2003-06-03 at 07:05, Richard Jones wrote:
> To save me writing this over again, does someone have an
> implementation of a probabilistic primality test in Ocaml?
> Assuming I have to write one, is the 'Nat' module the best (ie.  most
> mature) way to represent natural numbers in Ocaml? Or is there some
> other module I ought to be using instead?
> Thanks,
> Rich.
|--------/            Yaron M. Minsky              \--------|
|--------\ /--------|

Open PGP --- KeyID B1FFD916 (new key as of Dec 4th)
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916

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