Subject: bad interaction of rassociative and tellsimp
From: Henry Baker
Date: Sun, 27 Mar 2011 16:36:59 -0700
Wow! Fast response!
Was the problem something trivial, or was it something more fundamental?
I'm going to be nosing around quite a bit using tellsimp & tellsimpafter, so I may find a number of additional bugs/misfeatures of this type.
At 12:40 PM 3/27/2011, Robert Dodier wrote:
>On 3/25/11, Henry Baker <hbaker1 at pipeline.com> wrote:
>
>> declare(zand,rassociative);
>>
>> matchdeclare(var1,true);
>> matchdeclare(var2,true);
>> matchdeclare(var3,true);
>>
>> tellsimp(zand(var1,zor(var2,var3)),zor(zand(var1,var2),zand(var1,var3)));
>>
>> (%i1) zand(zor(a,b),c);
>> (%o1) zand(zor(a, b), c)
>> (%i2) zand(a,zor(b,c));
>> (%o2) zand(zand(a, b), zand(a, c))
>> (%i3)
>
>I think I;ve fixed this. Committed r1.38 src/asum.lisp,
>to appear in Maxima 5.24. Thanks for the bug report.
>
>best
>
>Robert Dodier