Re: Forgetting facts from the global context

On 5/25/26 9:43 PM, Robert Dodier wrote:

> On Sat, May 23, 2026 at 9:44 AM David Scherfgen via Maxima-discuss
> <[email protected]> wrote:
>
>> 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?
> I have mixed feelings about it, but I'm leaning towards allowing the
> user to forget built-in facts. Ideally the built-in stuff is
> implemented via the same mechanisms as the user-level stuff, so that
> user-defined stuff is on an equal footing with built-in stuff.
>
> There are various problems with that, which probably motivate in the
> opposite direction, towards not allowing users to forget built-in
> facts.
What’s in the global context now? I think it would be really bad for 
users if they can delete important facts from the global context and 
maxima stops working like it used to because the default facts/info has 
been removed.
&#8203;

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