contexts

Hi Barton,

What I see when I run 5.9.2 cvs head or 5.9.3 branch
(sbcl 0.9.9 / linux) is consistent with the documentation which you quoted.

For what it's worth,
Robert

PS. Maxima session:

(%i1) contexts;
(%o1)                   [initial, global]
(%i2) context;
(%o2)                        initial
(%i3) facts (global);
(%o3) [equal(%e, 2.718281828459045),
equal(%pi, 3.141592653589793), equal(%phi, 1.618033988749895),
equal(%gamma, 0.57721566490153), par(even, integer),
kind(integer, rational), par(rational, real),
par(real, complex), kind(log, increasing),
kind(atan, increasing), kind(atan, oddfun),
kind(delta, evenfun), kind(sinh, increasing),
kind(sinh, oddfun), kind(cosh, posfun), kind(tanh, increasing),
kind(tanh, oddfun), kind(coth, oddfun), kind(csch, oddfun),
kind(sech, posfun), kind(li, complex), kind(cabs, complex),
kind(kron_delta, symmetric)]
(%i4) facts (initial);
(%o4)                          []
(%i5) assume (aa > 0, bb < 0);
(%o5)                   [aa > 0, bb < 0]
(%i6) facts (initial);
(%o6)                   [aa > 0, 0 > bb]
(%i7) is (aa*bb < 0);
(%o7)                         true
(%i8) context : global;
(%o8)                        global
(%i9) is (aa*bb < 0);

Maxima was unable to evaluate the predicate:
aa bb < 0
 -- an error.  Quitting.  To debug this try debugmode(true);
(%i10) context : initial;
(%o10)                       initial
(%i11) is (aa*bb < 0);
(%o11)                        true