ode>a</code> und <code>b</code> beide positiv, dann wird f&uuml;r den Ausdruck <code>a+b</code> ein
positives Vorzeichen ermittelt.  Auch wenn die Vorzeichen der Variablen <code>a</code>
und <code>b</code> nicht bekannt sind, hat daher <code>asksign(a+b)</code> das Ergebnis
<code>pos</code>, wenn <code>assume_pos</code> den Wert <code>true</code> hat, da in diesem Fall
die Variablen als positiv angenommen werden.
</p>
<p>Es gibt jedoch keine M&ouml;glichkeit, alle Ausdr&uuml;cke grunds&auml;tzlich als posit