View Single Post
Old 2009-01-21, 17:52   #11
bsquared
 
bsquared's Avatar
 
"Ben"
Feb 2007

2×17×97 Posts
Default

Quote:
Originally Posted by J.F. View Post
According to Mathematica (PrimeQ) the cofactors are both prime.
Edgingtons factoredM.txt agrees, which indicates he has primality certificates.
I guess your program contains a bug...
FWIW, Yafu also agrees that the cofactors are prime. It uses the Rabin-Miller prp test with 20 witnesses (the first 20 primes). I believe Mathematica does MR base 2 and 3, then a lucas test.
bsquared is offline   Reply With Quote