 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.
(%i2) a&gt;=4;  /* uma desigualdade exemplo */
(%o2)                               a &gt;= 4
(%i3) (b&gt;c)+%; /* adiciona uma segunda e estrita desigualdade */
(%o3)                            b + a &gt; c + 4
(%i4) 7*(x&lt;y); /* multiplica por um n&uacute;mero positivo */
(%o4)                              7 x &lt; 7 y
(%i5) -2*(x&gt