Pour réaliser une soustraction dans ℤ/pℤ, on utilise le - habituel
et, pour les polynômes de ℤ/pℤ[x], on utilise le - habituel et
la commande normal pour simplifier.
Pour les entiers dans ℤ/pℤ, on tape :
On obtient :
Pour les polynômes à coefficients dans ℤ/pℤ, on tape :
ou encore
On obtient :