bad interaction of rassociative and tellsimp
- Subject: bad interaction of rassociative and tellsimp
- From: Robert Dodier
- Date: Sun, 27 Mar 2011 13:40:35 -0600
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