Forgetting facts from the global context

Dear all,

After adding the assumptions zeroa > 0 and zerob < 0 to the global context
recently (the same way the assumptions about built-in constants are added
on startup), Barton and I discovered that these facts can be forgotten via
forget.

Interestingly, after calling forget(zeroa > 0), that fact still exists in
the global context, but the $zeroa symbol has lost its DATA property, and
as a result, Maxima doesn't know any more that zeros > 0.

While that's probably a bug on its own, the actual question is this: Should
it be forbidden to forget facts that live in the global context? (At least
when the current context is not the global one?)

My personal opinion is that it should be forbidden, just like we forbid to
assign values to %pi etc.

Best regards
David Scherfgen

_______________________________________________
Maxima-discuss mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-discuss