einem anderen aktiven Kontext
geh&ouml;ren einschlie&szlig;lich der Unterkontexte, sind nicht in der Liste 
enthalten.
</p>
<p><code>facts()</code> gibt eine Liste der Fakten des aktuellen Kontextes zur&uuml;ck.
</p>
<p>Beispiel:
</p>
<pre class="example">(%i1) context:mycontext;
(%o1)                       mycontext
(%i2) assume(a&gt;0, a+b&gt;0, x&lt;0);
(%o2)               [a &gt; 0, b + a &gt; 0, x &lt; 0]
(%i3) facts();
(%o3)               [a &gt; 0, b + a &gt; 0, 0 &gt; x]
(%i4) facts(a);
(%o4)       