pre>
<p>Kann <code>is</code> einen Ausdruck mit <code>equal</code> nicht zu <code>true</code> oder
<code>false</code> vereinfachen, h&auml;ngt das Ergebnis vom Wert des globalen Flags
<code>prederror</code> ab.
</p>
<pre class="example">(%i1) [aa : x^2 + 2*x + 1, bb : x^2 - 2*x - 1];
                    2             2
(%o1)             [x  + 2 x + 1, x  - 2 x - 1]
(%i2) ratsimp (aa - bb);
(%o2)                        4 x + 2
(%i3) prederror : true;
(%o3)                         true
(%i4) is (equal (aa, bb