search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

GosperSum division by 0 #1587

Closed rtoy closed 2 days ago

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:15 Created by macrakis on 2005-12-19 16:44:41 Original: https://sourceforge.net/p/maxima/bugs/845

GosperSum(1+2^n,n,1,k); => Division by 0 #0: intLinPolyNorm(expr=2*2^n+1,k=n)(norm.mac line 26) #1: intLinNorm(expr=2*2^n+1,k=n)(norm.mac line 45) #2: intLinNormList(exprlist=[2*2^n+1],k=n)(norm.mac line 135)

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:16 Created by macrakis on 2005-12-19 16:48:23 Original: https://sourceforge.net/p/maxima/bugs/845/#c402

Logged In: YES user_id=588346

Similar error (but different line number in intLinNorm):

GosperSum(n^a,n,1,k) => Division by 0 #0: intLinPolyNorm(expr=(n+1)/n,k=n)(norm.mac line 26) #1: intLinNorm(expr=((n+1)/n)^a,k=n)(norm.mac line 39) #2: intLinNormList(exprlist=[((n+1)/n)^a],k=n)(norm.mac line 135)

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:20 Created by andrejv on 2006-04-13 22:08:51 Original: https://sourceforge.net/p/maxima/bugs/845/#9b4a

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:23 Created by andrejv on 2006-04-13 22:08:52 Original: https://sourceforge.net/p/maxima/bugs/845/#852d

Logged In: YES user_id=1179910

Fixed in CVS. GosperSum returns nonGosper_summable for both examples, which is correct.

Andrej

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:27 Created by robert_dodier on 2006-06-10 05:29:29 Original: https://sourceforge.net/p/maxima/bugs/845/#7483

Logged In: YES user_id=501686

Retesting the 2 examples shown here against Zeilberger 4.0 (just now committed) -- both return NON_HYPERGEOMETRIC (OK).

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 20:18:30 Created by robert_dodier on 2006-06-10 05:29:34 Original: https://sourceforge.net/p/maxima/bugs/845/#3e3b