#846 GosperSum(1+n^a) should use Ask

closed
5
2006-06-11
2005-12-19
No

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");

Discussion

  • Andrej Vodopivec

    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

     
  • Andrej Vodopivec

    • status: open --> closed
     
  • Robert Dodier

    Robert Dodier - 2006-06-10
    • status: closed --> open
    • labels: --> Share Libraries
    • assigned_to: nobody --> robert_dodier
     
  • Robert Dodier

    Robert Dodier - 2006-06-10

    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.

     
  • Robert Dodier

    Robert Dodier - 2006-06-11

    Logged In: YES
    user_id=501686

    Fixed by r1.6 share/contrib/Zeilberger/shiftQuotient.mac .

     
  • Robert Dodier

    Robert Dodier - 2006-06-11
    • status: open --> closed
     

Log in to post a comment.