d></dl>

<p><a name="assume_005fpos_005fpred"></a>
</p><dl>
<dt><u>Optionsvariable:</u> <b>assume_pos_pred</b>
<a name="IDX474"></a>
</dt>
<dd><p>Standardwert: <code>false</code>
</p>
<p>Der Optionsvariablen <code>assume_pos_pred</code> kann eine Aussagefunktion wie zum
Beispiel <code><a href="maxima_6.html#symbolp">symbolp</a></code> oder ein Lambda-Ausdruck mit einem Argument <code>x</code>
zugewiesen werden.  Hat die Optionsvariable <code><a href="#assume_005fpos">assume_pos</a></code> den Wert
<code>tru