Die Funktion modinv berechnet das multiplikative Inverse einer Ganzzahl in einem Restklassenring. Das bedeutet, dass das Produkt von (modinv n m) und n modulo m den Wert 1 ergibt, wenn n und m teilerfremd sind. Die Funktion wertet beide Argumente aus.

> (modinv 3 11)
4

> (modinv 244 117)
82