Robert Dodier wrote:
> On 7/9/07, Raymond Toy <raymond.toy at ericsson.com> wrote:
>
>> 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.
>
> I looked at the code for TMS in src/simp.lisp and I don't think
> there is an error, rather just a case which could be handled and is not.
My mistake. I think the TIMESIN is the key function. Changing a few
places like (exponent-of foo ...) to (exponent-of (abs foo) ...) allows
maxima to simplify -2*2^n to -2^(n+1). But more work is needed to
verify that this is actually correct.
Ray