p>Siehe auch <code><a href="#assume">assume</a></code> und <code><a href="#assume_005fpos">assume_pos</a></code>.
</p>
<p>Beispiele:
</p>
<p>Der Optionsvariablen <code>assume_pos_pred</code> wird der Name der Aussagefunktion
<code>symbolp</code> zugewiesen.  Indizierte Variablen werden nun nicht mehr als 
positiv angenommen, wie es f&uuml;r den Standartwert <code>false</code> gilt.
</p>
<pre class="example">(%i1) assume_pos: true$
(%i2) assume_pos_pred: symbolp$
(%i3) sign (a);
(%o3)                        