Subject: Program stack overflow defining infix operator
From: Barton Willis
Date: Thu, 6 Aug 2009 07:56:56 -0500
You found a bug in Maxima; if you would, please report this bug to the
Maxima
bug tracker. To demonstrate this bug, the call to 'expand' isn't needed:
Maxima 5.18post http://maxima.sourceforge.net
Using Lisp Clozure Common Lisp Version 1.4-dev (WindowsX8632)
(%i1) infix("imp", 50, 50, clause, clause, clause)$
(%i2) "imp"(a, b):= not(a) or b$
OK:
(%i3) a and (b imp c);
(%o3) a and ((not b) or c)
Not OK: (Maxima terminates)
(%i4) (a and b) imp c;
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>Hello?everybody,
>
>(%i1)?infix("imp",?50,?50,?clause,?clause,?clause);
>
>(%o1)?????????????????????????????????imp
>(%i2)?"imp"(a,?b):=?not(a)?or?b;
>
>(%o2)??????????????????????(a?imp?b)?:=?(not?a)?or?b
>(%i3)?expand(a?imp?b);
>(%o3)????????????????????????????(not?a)?or?b
>(%i4)?expand(a?and?b?imp?c);
>
>***?-?Program?stack?overflow.?RESET
>
>[/build/buildd/clisp-2.44.1/src/eval.d:527]?reset()?found?no?driver
>frame?(sp=0xbfff8fd0-0xbfff2ad0)
>Exiting?on?signal?6
>
>Process?maxima?aborted
>
>What?I'm?doing?wrong?
>Thanks?for?any?help,?regards
>Stephan
>_______________________________________________
>Maxima?mailing?list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima