Re: [Maxima-discuss] simplify_sum leads to a wrong value

[Richard F. <fa...@cs...>]

On 4/11/2020 1:57 PM, Robert Dodier wrote:
>   it employs is the Zeilberger/Gosper
> algorithm which works, from what I understand, on summands which are
> rational functions.
It's a much more interest class of summands...
the requirement is that for  sum(a[i],....)   a[i+1]/a[i] is rational.

If you are interested in this topic and related computing and mathematical
identities, see the fascinating and amusing book A=B
https://www.math.upenn.edu/~wilf/AeqB.html 
<https://www.math.upenn.edu/~wilf/AeqB.html>

RJF