llcontext</a></code> entfernt
werden.
</p>
<p>Beispiel:
</p>
<p>Das folgende Beispiel zeigt wie ein Kontext <code>mycontext</code> angelegt wird.  Der
Kontext enth&auml;lt die Aussage <code>[a&gt;0]</code>.  Der Kontext kann mit der Funktion
<code>activate</code> aktiviert werden, um die Aussage verf&uuml;gbar zu machen.
</p>
<pre class="example">(%i1) newcontext(mycontext);
(%o1)                       mycontext
(%i2) context;
(%o2)                       mycontext
(%i3) assume(a&gt;0);
(%o3)                