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 20180121 at 00:16
