 ineq </h3>

<p>O pacote <code>ineq</code> contém regras de simplificação
para desigualdades.
</p>
<p>Sessão exemplo:
</p>
<pre class="example">(%i1) load(ineq)$
Warning: Putting rules on '+' or '*' is inefficient, and may not work.
Warning: Putting rules on '+' or '*' is inefficient, and may not work.
Warning: Putting rules on '+' or '*' is inefficient, and may not work.
Warning: Putting rules on '+' or '*' is inefficient, and may not work.
Warning: Putting rules on '+' or '*' is inefficient, and may n