Re: Forgetting facts from the global context
Robert Dodier <[email protected]> Mon, 25 May 2026 21:43:16 -0700
| Newsgroups | gmane.comp.mathematics.maxima.general |
|---|---|
| Message-ID | <CAAsY_sSOVHgtiqA_OWhYZmWuuhHZwtJGGnHC7WNK6a8nJMccDg@mail.gmail.com> |
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. Not a big deal, I could go either way, so I'll let someone else make the call. Robert _______________________________________________ Maxima-discuss mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/maxima-discuss