Re: Forgetting facts from the global context

The global context contains facts such as %pi, %e, %phi etc. being
constants as well as their numerical values. It also contains facts such as
that the acosh function is increasing.
I'm working on a patch to prevent creation and deletion of global facts. I
also found some oddities in the database code that I might clean up along
the way.

Raymond Toy <[email protected]> schrieb am Mi., 27. Mai 2026, 19:09:

> 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]> <[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
>

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