Recent changes to 16: dot simplifier doesn't simplify univariate case fullyhttps://sourceforge.net/p/maxima/feature-requests/16/Recent changes to 16: dot simplifier doesn't simplify univariate case fullyenWed, 09 Jul 2003 18:06:01 -0000dot simplifier doesn't simplify univariate case fullyhttps://sourceforge.net/p/maxima/feature-requests/16/The 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
Stavros MacrakisWed, 09 Jul 2003 18:06:01 -0000https://sourceforge.net0bbad12010be7151dd9f04b6a9cb07252f45489b