Quote:
Originally Posted by Dubslow
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.