GosperSum(1+n^a) should use Ask

rtoy / maxima

A Clone of Maxima's repo

Other

0 stars 0 forks source link

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

Closed rtoy closed 2 days ago

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:37 Created by macrakis on 2005-12-19 16:46:10 Original: https://sourceforge.net/p/maxima/bugs/846

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

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:38 Created by andrejv on 2006-04-13 22:13:58 Original: https://sourceforge.net/p/maxima/bugs/846/#f6fc

status: open --> closed

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:42 Created by andrejv on 2006-04-13 22:13:58 Original: https://sourceforge.net/p/maxima/bugs/846/#8a17

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

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:45 Created by robert_dodier on 2006-06-10 05:34:45 Original: https://sourceforge.net/p/maxima/bugs/846/#6df3

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.

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:49 Created by robert_dodier on 2006-06-10 05:34:45 Original: https://sourceforge.net/p/maxima/bugs/846/#1f4e

status: closed --> open
labels: --> Share Libraries
assigned_to: nobody --> robert_dodier

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:52 Created by robert_dodier on 2006-06-11 18:41:10 Original: https://sourceforge.net/p/maxima/bugs/846/#0a73

Logged In: YES user_id=501686

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

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:56 Created by robert_dodier on 2006-06-11 18:41:10 Original: https://sourceforge.net/p/maxima/bugs/846/#d01c

status: open --> closed