parGosper from zeilberger package doesn't work as expected
Subject: parGosper from zeilberger package doesn't work as expected
From: andre maute
Date: Tue, 16 Aug 2011 11:49:40 +0200
On 08/16/2011 11:23 AM, Andrej Vodopivec wrote:
> (%i6) res : A0(d,a1,k1,a2,k2,b2,l2)*F(d,a1,k1,a2,k2,b2,l2)
> - (R(d,a1,k1,a2,k2,b2+1,l2)*F(d,a1,k1,a2,k2,b2+1,l2)
> - R(d,a1,k1,a2,k2,b2,l2)*F(d,a1,k1,a2,k2,b2,l2))$
> (%i7) factor(minfactorial(%));
> (%o7) 0
>
> 2011/8/14 andre maute<andre.maute at gmx.de>:
>> res : A0(d,a1,k1,a2,k2,b2,l2)*F(d,a1,k1,a2,k2,b2,l2)
>> - (R(d,a1,k1,a2,k2,b2,l2+1)*F(d,a1,k1,a2,k2,b2,l2+1) -
>> R(d,a1,k1,a2,k2,b2,l2)*F(d,a1,k1,a2,k2,b2,l2));
>> res : factor(minfactorial(res));
Aah, i see my typo, i used l2+1 instead of b2+1
Thank you very much
Andre