>zero</code> (ou <code>z</code>), o programa retorna
<code>X*<var>some_inequality</var></code> e não utiliza a
informação que <code>X</code> é 0. Pode usar <code>ev (%, x:
0)</code> em casos semelhantes a esse; a base de dados irá somente ser usada
para propósitos de comparação em decisões, e não
para o propósito de avaliação de <code>X</code>.
</p>
<p>O utilizador pode notar uma resposta lenta quando esse pacote é
disponibilizado para uso, como o simplificador é forçado
a examinar mais regr