restart permet d’effacer le contenu de toutes les variables et d’annuler les hypothèses faites sur ces variables. On tape :
puis
On obtient :
si les variables [A,n] avaient été les seules variables affectées.