Division euclidienne
En donnant 4 billes à chacun : il en reste 2 dans le sac, et l'on écrit 30 = 7 × 4 + 2. Le quotient est 4, le reste est 2. L'égalité 30 = 7 × 3 + 9 est exacte elle aussi, mais ce n'est pas une division euclidienne : il reste 9 billes pour 7 joueurs, la distribution n'est pas terminée. Le reste doit toujours être plus petit que le diviseur.
En donnant 4 billes à chacun : il en reste 2 dans le sac, et l'on écrit 30 = 7 × 4 + 2. Le quotient est 4, le reste est 2. L'égalité 30 = 7 × 3 + 9 est exacte elle aussi, mais ce n'est pas une division euclidienne : il reste 9 billes pour 7 joueurs, la distribution n'est pas terminée. Le reste doit toujours être plus petit que le diviseur.
3, et non −2. Dans les entiers relatifs, le reste doit vérifier 0 ≤ r < |b| : il est toujours positif ou nul. On écrit donc −17 = 5 × (−4) + 3, avec un quotient de −4. L'écriture −17 = 5 × (−3) − 2 est exacte, mais son reste négatif ne respecte pas la convention.
Au moins deux. Dans Excel, la formule =MOD(-201;23) renvoie 6, conformément à −201 = 23 × (−9) + 6. En VBA, R = -201 MOD 23 donne −17, l'opposé du reste de 201 par 23. Le langage C laisse le signe du reste dépendre de la machine. La définition générale des anneaux euclidiens n'impose que |r| < |b| : c'est cette latitude qui rend les implémentations non univoques.