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: Michel Quercia <michel.quercia@p...>
Subject: Re: [Caml-list] Miller-Rabin primality test
Le Tue, 3 Jun 2003 18:05:51 +0100 Richard Jones <>

> Be cool if you could include some of the simpler standard number
> theory tests, such as primality testing, in your library.

I intend to call for suggestions when the new version will be usable, before the actual release time. However there is something that I don't like about the Rabin-Miller compositeness test : the output is not well defined from a mathematical viewpoint as it depends on a random sequence of bases. I'd prefer a test that returns reproducible results, perhaps by hard-coding the sequence of bases, or letting the user provide them.

Stay tuned ...
Michel Quercia
23 rue de Montchapet, 21000 Dijon (maths) (informatique)

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