Bugfix for GosperSum? (was: cannot load Zeilberger)
Subject: Bugfix for GosperSum? (was: cannot load Zeilberger)
From: Michel Van den Bergh
Date: Sat, 06 Jan 2007 18:39:07 +0100
Blindly changing
if op(expr) = "+" then
into
if op(expr) = "+" or op(expr)="-" then
near the end of the function
shiftQuoHypCheckAux(expr,k,hyp_flag)
in zeilberger/shiftQuotient.mac
seems to fix this bug.
I didn't do much testing. Are there any regression tests around for
zeilberger?
Michel