Should opproperties functions do more simplification?
Subject: Should opproperties functions do more simplification?
From: Stavros Macrakis
Date: Tue, 30 May 2006 22:09:47 +0200
On 5/30/06, Barton Willis <willisb at unk.edu> wrote:
>
> 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)
>
This is a bug. "ev" works because it is causing a re-simplification -- this
is not an evaluation problem. You can also force resimplification using
expand(..., 0,0). Resimplification should ONLY change anything if something
has changed in the environment -- assumptions, global variable settings,
etc.
-s