On veut pouvoir considérer que des variables sont non nulles, et donc que l'on peut diviser par elles. Il faut réutiliser les techniques de saturation qui furent codé pour AutoGnp.
On veut pouvoir considérer que des variables sont non nulles, et donc que l'on peut diviser par elles.
Il faut réutiliser les techniques de saturation qui furent codé pour AutoGnp.