home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / math / 15113 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1.1 KB  |  32 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!mcsun!julienas!jussieu!ccr-p6.ccr.jussieu.fr!dob
  3. From: dob@ccr-p6.ccr.jussieu.fr (Dominique BERNARDI p3512)
  4. Subject: Re: Prime test algorithm
  5. Message-ID: <1992Nov17.163615.22479@jussieu.fr>
  6. Sender: news@jussieu.fr (Le Facteur)
  7. Nntp-Posting-Host: ccr-p6.ccr.jussieu.fr
  8. Organization: Universites P. & M. Curie / D. Diderot
  9. References: <1992Nov14.154528.17440@husc15.harvard.edu>
  10. Date: Tue, 17 Nov 1992 16:36:15 GMT
  11. Lines: 19
  12.  
  13. If you just want to be reasonably sure that your number
  14. is prime "for all practical purposes" The Miller-Rabin test
  15. is more than adequate. The only problem is to have a good
  16. multiprecision package. One possibility would be our "PARI"
  17. package, available in C source code, for exemple from
  18. math.ucla.edu in /pub/pari
  19.  
  20. If, on the other hand, you want a rigorous proof, with
  21. "evidence" you can oppose to others that your number is
  22. indeed prime, you should take a look to ECPP (Elliptic
  23. Curve Prime ?) written by Francois Morain,
  24. available by anonymous ftp from
  25. ftp.inria.fr
  26. in directory /INRIA
  27.  
  28. ecpp.V3.4.1.tar.Z
  29.  
  30. D. B.
  31.  
  32.