rmittelt werden konnte.  Gibt die
Aussagefunktion das Ergebnis <code>true</code> zur&uuml;ck, wird das Argument als
positiv angenommen.
</p>
<p>Hat die Optionsvariable <code>assume_pos_pred</code> den Standardwert <code>false</code>
werden Variablen und indizierte Variablen von Maxima als positiv angenommen,
wenn die Optionsvariable <code>assume_pos</code> den Wert <code>true</code> hat.  Das 
entspricht einer Aussagefunktion, die als <code>lambda([x], symbolp(x) or
subvarp(x))</code> definiert wird.
</p>
<