COMP 547: Assignment 1 Solutions

if not pqsqrt(x, p, q) = ’FAIL’ then
s := pqsqrt(x, p, q);
cx := cx + 1;
printf("%d%s%d%s", x, " is in QR_n (root of x: ",\
s, ")\n\n");
elif not pqsqrt(y*x, p, q) = ’FAIL’ then
s := pqsqrt(y*x, p, q);
cyx := cyx + 1;
printf("%d%s%d%s", x, " is not in QR_n (root of \
yx: ", s, ")\n\n");
elif not pqsqrt(z*x, p, q) = ’FAIL’ then
s := pqsqrt(z*x, p, q);
czx := czx + 1;
printf("%d%s%d%s", x, " is not in QR_n (root of \
zx: ", s, ")\n\n");
elif not pqsqrt(z*y*x, p, q) = ’FAIL’ then
s := pqsqrt(z*y*x, p, q);
czyx := czyx + 1;
printf("%d%s%d%s", x, " is not in QR_n (root of \
zyx: ", s, ")\n\n");
end if;
end do;
return(cx, cyx, czx, czyx);
end proc;
This generated the following output:
5471234567890 is not in QR_n (root of zyx: 13705545460247289\
385083062216614968438591792875825598148556471487933775598975\
208946117455903638843760177127586959484871315643403479941704\
843055989868092690941284507754839297216918187353326155897289\
21)
5471234567891 is not in QR_n (root of zx: 114614823566925985\
551643515222801620939415339830502482519536289797210146571280\
221966028283198847782656061957650810514691634551130723655740\
190889283119459024340464899241280645213504198822616182807224\
4)
5471234567892 is not in QR_n (root of zyx: 26647195806483089\
703118775564941631528157362744464496065099558544537315633433\
059571016323384817120797438855826535022742906605003383848290\
875178308792485186669115380551093195142943362548830949456443\
5)
5471234567893 is in QR_n (root of x: 13526909176657070629036\
14