Bug in Gosper (simpler version)?



Robert Dodier wrote:
> On 12/30/06, Michel Van den Bergh <michel.vandenbergh at uhasselt.be> wrote:
>
>> (%i3) AntiDifference(-(1/(n+1)-1/n),n);
>>
>> (%o3) (-n-1)*(1/n-1/(n+1))
>> (%i4) AntiDifference((1/(n+1)-1/n),n);
>>
>> Unknown operator :  -
>> 1/(n+1)-1/n  is not hypergeometric in  n
>> (%o4) NON_HYPERGEOMETRIC
>
> If you have time you might file a bug report
> (http://sourceforge.net/tracker/index.php?group_id=4933&atid=104933)
> and/or contact the author of the zeilberger package,
> Fabrizio Caruso (caruso -at- dm.unipi.it).
>
> All the best,
> Robert Dodier
Done!

Michel