Logged In: YES
user_id=1179910
Fixed in CVS. GosperSum returns nonGosper_summable.
This is correct since the example is summable only if a is a
fixed integer.
Andrej
GosperSum(1+n^a,n,1,k);
Maxima was unable to evaluate the predicate:
max(a, 0) < 2
#0: integerLinear(expr=n^a+1,var=n)
#1: intLinSep(expr=n^a+1,k=n)(norm.mac line 79)
#2:
makeGosperFormVerboseOpt(expr=((n+1)^a+1)/(n^a+1),k=n,mode=-1)(makeGosperForm.mac
line 148)
GosperSum should be using Ask
Maxima 5.9.2 http://maxima.sourceforge.net
Using Lisp GNU Common Lisp (GCL) GCL 2.6.7 (aka GCL)
load("zeilberger/loadzeilberger.mac");
Logged In: YES
user_id=1179910
Fixed in CVS. GosperSum returns nonGosper_summable.
This is correct since the example is summable only if a is a
fixed integer.
Andrej
Logged In: YES
user_id=501686
Retesting against Zeilberger 4.0 (just committed). This bug
has reappeared:
(%i4) GosperSum(1+n^a,n,1,k);
Maxima was unable to evaluate the predicate:
max(a, 0) < 2
There is new code to attempt to detect non-summable
expressions in Gosper.mac, but I guess it misses this one.
Reopening this report.
Logged In: YES
user_id=501686
Fixed by r1.6 share/contrib/Zeilberger/shiftQuotient.mac .
Log in to post a comment.