On pet, 2004-12-17 at 05:11 -0800, C Y wrote:
> At last, as discussed a while back, Fabrizio Caruso's Zeilberger
> package is now GPL and has been uploaded to cvs
> (share/contrib/Zeilberger). I haven't verified if it works with modern
> Maxima, mostly because I just last night got back online after some
> weeks off. (Apologies Fabrizio for the delay - let me know if anything
> needs changing.)
Will the author maintain this package? The part which implements the
Gosper algorithm (functions Gosper and GosperSum) does not work:
Gosper(1/(4*k^2-1), k) => 4*(k+1/2)*(%R1*k-(4*%R1*y+1)/4)
should be -1/(2*(2*k-1)). GosperSum(1/(4*k^2-1), k, 1, n) also returns
wrong result (GosperSum should be equivalent to nusum I think).
Also, are there any plans to implement algorithms for solving
recurrences with polynomial coefficients (which are returned by
Zeilberger)?
Andrej