What's the significance of the fact...
That the residues mod some mersenne in the LL test, are quadratic residues mod the next mersenne.
Reason I think this to be true:
Sqr(A*p+b)= A^2(p^2)+ b^2(1^2)-b mod 2p+1 and two parts of that simplify to quadratic residues. Failure would only happen if the sums/ differences of quadratic residues wasn't a quadratic residue ( guess I may be wrong).
Last fiddled with by science_man_88 on 2018-01-21 at 00:16
|