View Single Post
Old 2021-06-07, 07:35   #7
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

2×3×54 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
I
{tst1(n,P,Q)=kronecker(P^2-4*Q,n)==-1&&Mod(Mod(x,n),x^-P*x+Q)^(n+1)==Q;}

{tst2(n,P,Q)=tst1(n,P,Q)&&tst1(n,P,-Q);}

{tst4(n,P,Q_i,Q_j)=tst2(n,P,Q_i)&&tst2(n,P,Q_j)&&gcd(Q_i^2-Q_j^2,n)==1;}
tst4(9809, 577, 27, 171) fails, but if I add the remedy gcd(P,n)==1 all is good.

Last fiddled with by paulunderwood on 2021-06-07 at 08:10
paulunderwood is online now   Reply With Quote