Should opproperties functions do more simplification?
- Subject: Should opproperties functions do more simplification?
- From: Barton Willis
- Date: Tue, 30 May 2006 08:10:52 -0500
Should %o2 be p(z) + p(x) * p(y)?
(%i1) declare(p,additive,p, multiplicative);
(%o1) done
(%i2) p(x*y + z);
(%o2) p(z)+p(x*y) <-- could be p(z) + p(x) p(y)
(%i3) ev(%); <-- needs an extra ev. Why?
(%o3) p(z)+p(x)*p(y)
Barton