-------- Forwarded Message --------
Od: Fabrizio Caruso
Za: Andrej Vodopivec
Zadeva: Re: Bug in Zeilberger package
Datum: Wed, 26 Jan 2005 18:32:41 +0100 (CET)
Thanks!
I will fix this and probably other things.
Could someone who has access fix it in the CVS?
Regards
Fabrizio
On Wed, 26 Jan 2005, Andrej Vodopivec wrote:
> Hi,
>
> there is a bug in the Zeilberger package. It returns wrong result for
> certain inputs (like binomial(3*k+1, k)*binomial(3*(n-k),n-k)/(3*k+1) ).
>
> To fix it, function leadCoeff in file algUtil.mac should be replaced
> with
>
> leadCoeff(poly,indet)::=
> buildq([poly,indet],
> ratcoeff(poly,indet,hipow(poly,indet)));
>
> (the change is coeff -> ratcoeff).
>
> Andrej
>
>