Bug in Gosper (simpler version)? (was: Symbolic summation)
Subject: Bug in Gosper (simpler version)? (was: Symbolic summation)
From: Robert Dodier
Date: Sat, 30 Dec 2006 09:51:36 -0700
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