bad interaction of rassociative and tellsimp
- Subject: bad interaction of rassociative and tellsimp
- From: Henry Baker
- Date: Fri, 25 Mar 2011 09:46:02 -0700
Consider the following:
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)
Note that "zor" became "zand" ?????