Subject: Program stack overflow defining infix operator
From: Stavros Macrakis
Date: Fri, 7 Aug 2009 11:54:15 -0400
On Fri, Aug 7, 2009 at 10:11 AM, Robert Dodier<robert.dodier at gmail.com> wrote:
> ...At present the Boolean functions MAND, MOR, MNOT are
> functions which quote their arguments (DEFMSPEC), then they
> explicitly call MEVAL. (This situation has existed since before
> I arrived on the scene.) It would be better to do away with the
> DEFMSPEC and MEVAL and make them simplifying functions
> instead. That would avoid this bug, and make the Boolean
> functions more like other, mathematical functions in Maxima.
Agreed in principle. There will be an efficiency effect, but this
shouldn't matter in practice.
Writing the simplification code is straightforward. It might be
messier to get the translator to do the right thing, but maybe not.
-s