rtoy / maxima

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

Limit that once worked is broken #2838

Open rtoy opened 1 week ago

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:09:59 Created by kcrisman on 2015-02-03 14:22:19 Original: https://sourceforge.net/p/maxima/bugs/2899


In older Maxima (up to at least 5.24), this command

limit((1+sqrt(n+1))^(-n-1)/(1+sqrt(n))^(-n),n,inf)

returns 0. Now it doesn't return anything other than itself.

See http://ask.sagemath.org/question/25647/cannot-calculate-limit/ and http://trac.sagemath.org/ticket/17709 for downstream.

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:09:59 Created by kcrisman on 2020-10-13 12:30:21 Original: https://sourceforge.net/p/maxima/bugs/2899/#011a


To be precise, it returns the nounform 'limit((sqrt(n)+1)^n*(sqrt(n+1)+1)^((-n)-1),n,inf)

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:10:03 Created by kcrisman on 2020-10-13 12:36:11 Original: https://sourceforge.net/p/maxima/bugs/2899/#c764


Possibly fixed by Maxima 5.44 - can someone test?

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:10:06 Created by kjak on 2020-10-13 12:46:00 Original: https://sourceforge.net/p/maxima/bugs/2899/#203b


When you say "possibly fixed", does that mean someone sees it returning 0? I'm getting a nounform using git HEAD.

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:10:10 Created by kcrisman on 2020-10-13 13:02:11 Original: https://sourceforge.net/p/maxima/bugs/2899/#d70b


"Possibly fixed" because for some reason a function that should use it downstream is returning zero - but thank you for confirming that it is still returning a nounform. (Is that also true if you add domain:complex; before it? We do use a few custom things like that in general.)

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:10:13 Created by kjak on 2020-10-13 13:30:42 Original: https://sourceforge.net/p/maxima/bugs/2899/#b5d3


I get a nounform either way:

(%i1) domain;
(%o1) real

(%i2) limit((1+sqrt(n+1))^(-n-1)/(1+sqrt(n))^(-n),n,inf);
(%o2) 'limit((sqrt(n)+1)^n*(sqrt(n+1)+1)^((-n)-1),n,inf)

(%i3) domain:complex$

(%i4) limit((1+sqrt(n+1))^(-n-1)/(1+sqrt(n))^(-n),n,inf);
(%o4) 'limit((sqrt(n)+1)^n*(sqrt(n+1)+1)^((-n)-1),n,inf)

Maxima version: "branch_5_44_base_83_gdac3edf2c" Maxima build date: "2020-10-13 08:41:41" Host type: "x86_64-unknown-openbsd6.7" Lisp implementation type: "SBCL" Lisp implementation version: "2.0.1.openbsd"

rtoy commented 1 week ago

Imported from SourceForge on 2024-07-06 23:10:17 Created by kcrisman on 2023-11-30 01:14:20 Original: https://sourceforge.net/p/maxima/bugs/2899/#0fbc


Thanks for the update!