View Single Post
Old 2021-09-18, 14:54   #3
paulunderwood's Avatar
Sep 2002
Database er0rr

2×5×421 Posts

Originally Posted by paulunderwood View Post
[Side note: gcd(t^3-t,n)==1 might not be required in the above tests.]
With the counterexample [n, a, t, t2, gcd((t*t2)^2-1,n), gcd(t^2-t2^2,n)] = [5983, 5514, 5512, 5982, 1, 1] it is advisable to take the above GCD giving a non-degenerative Fermat PRP-t test. For this "counterexample" gcd(5982^2-1,5983) = 5983.
paulunderwood is offline   Reply With Quote