View Single Post
Old 2012-06-24, 13:50   #10
science_man_88's Avatar
"Forget I exist"
Jul 2009

26·131 Posts

Originally Posted by Dubslow View Post
EWMayer has explicitly said that the (full) residue can be used to effect a primality test on the cofactor after finding a first factor.
the first m*y+z y>0 can be used so for 2^11-1 that means (194^2-2)%(2^11-1) = 788 can be used.

788%23 = 6 =((194%23)^2-2)%23 since these equal 23 is a factor of m*y at least and in this case a factor of m.

Last fiddled with by science_man_88 on 2012-06-24 at 13:58
science_man_88 is offline   Reply With Quote