Stavros Macrakis wrote:
>>
>> >> I think the summand in (%o1) isn't fully simplified:
>> >> (%i44) (3^(i1+1)-2*2^i1)*x^i1;
>
>
> Worth figuring out why this happens. My guess is that some code in
> powerseries is generating unsimplified subexpressions and then passing them
> to add/mul/etc., which assume that their arguments are simplified. But I'm
It could be due to some changes I made some time ago to the function tms
and friends to tell maxima to simplify expressions of the form a*a^n to
a^(n+1), where a is a number. The code is rather tricky so I could very
well have made a mistake there.
But entering (3^(i1+1)-2*2^i1)*x^i1 itself does produce a simplifed
2^(i1+1).
Ray