fracmod (ou iratrecon pour compatibilité Maple) a deux
arguments, un entier n (ou une expression
entière) et un nombre entier p.
fracmod renvoie une fraction a/b vérifiant :
− |
| < a ≤ |
| , 0 ≤ b < |
| , n × b =a (mod p ) |
En d’autres termes n=a/b(mod p ).
On tape :
On obtient :
En effet : 3*−4=−12=1 (mod 13) donc 3=−1/4% 13. On tape :
On obtient :
En effet : 13×−9=−117=4 (mod 121) donc 13=−4/9% 13.