Subject: Program stack overflow defining infix operator
From: Stephan Lukits
Date: Fri, 07 Aug 2009 00:58:22 +0200
Robert Dodier schrieb:
> Looking at the stack trace, it appears Maxima is trying to
> evaluate a and b, for which it first needs a, which is
> bound to a and b, for which it first needs a, ... ad infinitum.
> [...]
> Just renaming the argument variables avoids this problem:
>
> imp (aa, bb) := not(aa) or bb;
> a and b imp c;
> => ((not a) or (not b)) or c
How subtle, thanks for pointing that out.
regards
Stephan