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 on a :
-1/4 mod 13 renvoie 3 % 13 i.e.
3*−4=−12=1 (mod 13) donc 3% 13=−1/4% 13.
On tape :
On obtient :
En effet on a :
-4/9 mod 121 renvoie 13 % 121 i.e.
:
13×−9=−117=4 (mod 121) donc 13% 121=−4/9% 121.