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 :