RAZ : remise à zéro des champs n1, n2 et r.
% : reste de la division de n1 par n2.
^ : opérateur puissance, attention de ne pas prendre un exposant trop grand.
pp : si la valeur retournée est "faux" alors n1 n'est pas premier. Si la valeur retournée est "vrai", la probabilité pour qu'il soit premier est alors 1-1/2n2.
r->n1, r->n2, r->n3 : copie le contenu du champ r dans le champ n1, n2 ou n3.
! : retourne factorielle n1.
^% : retourne le reste de la division de n1n2 par n3
/% : retourne n1 / n2 dans n3 et n1 % n2 dans r.
inv% : retourne x tel que n1 x = 1 (mod n2) ; une erreur est générée si n1 et n1 ne sont pas premiers entre eux (pas de solutions dans ce cas).