Rezultatul trebuie desigur sa nu contrazica calculul numeric
(Cod Pari/Gp.) Numitorul 8 este gata implementat in formula de mai sus.
N.B. Aceasta este un fel de suma trigonometrica gaussiana, nu este o intamplare cu alegerea parametrilor. De fapt avem:
? {
for( k=0, 6,
print( "5^", k, " = ", 5^k,
" congruent cu ", 5^k % 18, " modulo 18." ) )}
5^0 = 1 congruent cu 1 modulo 18.
5^1 = 5 congruent cu 5 modulo 18.
5^2 = 25 congruent cu 7 modulo 18.
5^3 = 125 congruent cu 17 modulo 18.
5^4 = 625 congruent cu 13 modulo 18.
5^5 = 3125 congruent cu 11 modulo 18.
5^6 = 15625 congruent cu 1 modulo 18.
Acel 17 este de fapt -1 modulo 18, iar cos este functie para, etc.