From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA28225; Tue, 3 Jun 2003 19:32:13 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA28341 for ; Tue, 3 Jun 2003 19:32:12 +0200 (MET DST) Received: from postfix3-1.free.fr (postfix3-1.free.fr [213.228.0.44]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h53HWBT01291 for ; Tue, 3 Jun 2003 19:32:11 +0200 (MET DST) Received: from montchapet.dijon.fr (lns-p19-6-81-56-121-211.adsl.proxad.net [81.56.121.211]) by postfix3-1.free.fr (Postfix) with SMTP id A7A75C123; Tue, 3 Jun 2003 19:32:10 +0200 (CEST) Date: Tue, 3 Jun 2003 19:31:53 +0200 From: Michel Quercia To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] Miller-Rabin primality test Message-Id: <20030603193153.18791aca.michel.quercia@prepas.org> In-Reply-To: <20030603170551.GD7004@redhat.com> References: <20030603110555.GA7004@redhat.com> <1054640931.8299.30.camel@dragonfly.localdomain> <20030603185206.6c0b0c5d.michel.quercia@prepas.org> <20030603170551.GD7004@redhat.com> Organization: CPGE X-Mailer: Sylpheed version 0.8.8 (GTK+ 1.2.10; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; quercia:01 prepas:01 caml-list:01 ecrivit:01 reproducible:01 montchapet:01 21000:01 simpler:01 library:03 viewpoint:03 michel:04 tuned:05 output:05 mathematical:06 i'd:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le Tue, 3 Jun 2003 18:05:51 +0100 Richard Jones écrivit: > 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 http://michel.quercia.free.fr (maths) http://pauillac.inria.fr/~quercia (informatique) mailto:michel.quercia@prepas.org ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners