Dieter Kaiser wrote:
> I have reported work on the functions TMS und TIMESIN to improve the
> simplification of the multiplication. I have improved the code further.
>
I haven't looked at the code, but I'm grateful that you've figured out
how to make these work better. I think I broke some things a while back
while trying to make maxima simplify things like 2*3*2^n to 3*2^(n+1).
>
> The examples show that the simplification will work commutative, e.g.
> 12*2^k*3^k gives the same result as 2^k*3^k*12. Therefore a lot of known
> problems will vanish.
>
> Most impressive is the problem 9. The complicated expression will
> simplify to an very simple expression without any other help.
>
This is pretty surprising. All of that just because of the changes in
TMS and TIMESIN?
> There is one change:
>
> Expressions like 3*sqrt(3) simplifies always to 3^(3/2). This behavior
> is necessary to get consistent simplifications in much more complicated
> expressions too.
>
This is a bit annoying, but the answer is still correct, so it seems
fine, especially since your changes fix a bunch of issues. Your changes
don't change x*sqrt(x) to x^(3/2), do they?
Very nice work!
Ray