iv
zu erkl&auml;ren.  Selbst wenn der Optionsvariablen <code>assume_pos_pred</code> eine 
Aussagefunktion zugewiesen wird, die alle Ausdr&uuml;cke als positiv erkl&auml;rt,
werden Differenzen <code>a-b</code> oder das Vorzeichen der Logarithmusfunktion 
<code>log(a)</code> nicht als positiv ermittelt.  Die Fragen der Funktion 
<code>asksign</code> an den Nutzer k&ouml;nnen daher nie vollst&auml;ndig mit dem 
Mechanismus der Optionsvariablen <code>assume_pos</code> unterdr&uuml;ckt werden.
</p>
<p>Siehe f&uu