View Single Post
2021-09-18, 14:54   #3
paulunderwood

Sep 2002
Database er0rr

2×33×73 Posts

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