- Jan 18, 2013
> All are trapped by Paul's latest wriggle,

Exercise: Show that Paul's test

> which requires x^2-3 to be coprime to n.

Mod(Mod(1,n)*(L+x^2-2),(L^2-x*L+1)*(L^2+x*L+1))^n==-L^3+(x^2-2)*L+x^2-2

requires n to be a Fermat pseudoprime in base 1+(x^2-3)*(x^2-2)^3

and thus loses (at least) one selfridge of potency for x^2 = 3 mod n.

David - << Previous post in topic Next post in topic >>