Richard Fateman wrote:
>
>
>
>> -----Original Message-----
>> From: maxima-bounces at math.utexas.edu
>> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of Michel
>> Van den Bergh
>>
> .....
>
>>>
>>>
>> As I said I don't like this. But I would like
>>
>> simpsum:closed_form
>>
>> which would invoke closed_form by default.
>>
>
> I have always been puzzled about why simpsum:true didn't already try to call
> whatever tools were around to compute a closed form.
>
> Setting simpsum:true (in Macsyma) does the job some of the time, to get a
> closed form. But other methods are used only when its version of closedform
> is called.
>
> Perhaps it is just that bringing out the big guns of closedform is too
> expensive to use?
>
I think that's it. Currently in maxima simpsum:true enables a few cheap
simplications.
Those in closedform may be too expensive to use by default (without any
user action). Maybe the idea in maxima
is that expensive operations should be requested explicitly by the user
(ratsimp, trigsimp etc...).
So we should have sumsimp for consistency:-)
Michel