t komplexen Zahlen.  Enth&auml;lt eine
Aussage eine komplexe Zahl, gibt <code>assume</code> den Wert <code>inconsistent</code>
oder <code>redunant</code> zur&uuml;ck.
</p>
<p><code>assume</code> wertet die Argumente aus.
</p>
<p>Siehe auch <code><a href="#is">is</a></code>, <code><a href="#facts">facts</a></code>, <code><a href="#forget">forget</a></code>,
<code><a href="#context">context</a></code> und <code><a href="#declare">declare</a></code>.
</p>
<p>Beispiele:
</p>
<pre class="example">(%i1) assume (x