[Maxima] Should opproperties functions do more simplification?

[Stavros Macrakis]

------=_Part_14002_28682535.1149019787079
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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

------=_Part_14002_28682535.1149019787079
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

On 5/30/06, <b class="gmail_sendername">Barton Willis</b> &lt;<a href="mailto:willisb at unk.edu">willisb at unk.edu</a>&gt; wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Should %o2 be p(z) + p(x) * p(y)?<br><br>(%i1) declare(p,additive,p, multiplicative);<br>(%o1) done<br>(%i2) p(x*y + z);<br>(%o2) p(z)+p(x*y)&nbsp;&nbsp;&lt;-- could be p(z) + p(x) p(y)<br><br>(%i3) ev(%);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &lt;-- needs an extra ev. Why?
<br>(%o3) p(z)+p(x)*p(y)<br></blockquote><div>&nbsp;</div>This is a bug.&nbsp; &quot;ev&quot; works because it is causing a re-simplification -- this is not an evaluation problem.&nbsp; You can also force resimplification using expand(..., 0,0).&nbsp; Resimplification should ONLY change anything if something has changed in the environment -- assumptions, global variable settings, etc.
<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -s<br><br></div>

------=_Part_14002_28682535.1149019787079--