  pos
(%i4) sign (a[1]);
(%o4)                          pnz
</pre>
<p>Der Optionsvariablen <code>assume_pos_pred</code> wird ein Lambda-Ausdruck zugewiesen,
der f&uuml;r alle Argumente das Ergebnis <code>true</code> hat.  Die Funktion <code>sign</code>
ermittelt nun f&uuml;r Variablen, indizierte Variablen und den Werten von 
Funktionen ein positives Vorzeichen.  Dies trifft jedoch nicht f&uuml;r die 
Logarithmusfunktion oder eine Differenz zu.
</p>
<pre class="example">(%i1) assume_pos: true$
(%i2) assume_