ml;r weitere Beispiele die Optionsvariable <code><a href="#assume_005fpos_005fpred">assume_pos_pred</a></code>.
</p>
<p>Beispiele:
</p>
<p>Das Vorzeichen der Variablen <code>x</code> ist nicht bekannt.  Erh&auml;lt die
Optionsvariable <code>assume_pos</code> den Wert <code>true</code>, wird f&uuml;r die Variable
<code>x</code> und die indizierte Variable <code>x[1]</code> ein positives Vorzeichen
ermittelt.
</p>
<pre class="example">(%i1) sign(x);
(%o1)                          pnz
(%i2) assume_pos:true;
(%