Recent changes to 16: dot simplifier doesn't simplify univariate case fullyhttps://sourceforge.net/p/maxima/feature-requests/16/2003-07-09T18:06:01Zdot simplifier doesn't simplify univariate case fully2003-07-09T18:06:01Z2003-07-09T18:06:01ZStavros Macrakishttps://sourceforge.net/u/macrakis/https://sourceforge.net0bbad12010be7151dd9f04b6a9cb07252f45489bThe expression
b . \(b+1\) . b
is equivalent to
b^^2 . \(b+1\)
because univariate terms containing the same variable
commute in ALL rings.
But Maxima doesn't know this. Of course, in this
example, Expand gives the correct result, but how about
b . \(b+1\)^^n . b
or
\(b+1\)^^n . b . \(b+1\)^^-n
Expand can't do those....
This is really an enhancement request, not a bug....
Also, I am not sure whether this belongs in the general
simplifier for dot \(simpnct\), or whether an explicit call to
a dotsimplify routine would be better.
Maxima 5.9.0