On Fri, Apr 26, 2024 at 2:24 PM Georgi Guninski wrote:
>
> On Thu, Feb 15, 2024 at 2:27 AM Dima Pasechnik wrote:
> >
> > I've filed https://sourceforge.net/p/maxima/bugs/4262/
> >
>
> Is maxima supported?
> There is no progress on their bug system for more than 2 months.
not many people are
On Thu, Feb 15, 2024 at 2:27 AM Dima Pasechnik wrote:
>
> I've filed https://sourceforge.net/p/maxima/bugs/4262/
>
Is maxima supported?
There is no progress on their bug system for more than 2 months.
SEGV is not pleasant, but incorrect symbolic result casts doubts about
all symbolic sage
I've filed https://sourceforge.net/p/maxima/bugs/4262/
On Wed, Feb 14, 2024 at 7:14 PM Dima Pasechnik wrote:
>
>
> On Wed, Feb 14, 2024 at 6:12 PM Oscar Benjamin
> wrote:
>
>> Maxima's simplify_sum function produces something similar looking:
>>
>> (%i4) load("simplify_sum");
>> (%o4)
On Wed, Feb 14, 2024 at 6:12 PM Oscar Benjamin
wrote:
> Maxima's simplify_sum function produces something similar looking:
>
> (%i4) load("simplify_sum");
> (%o4) "/usr/share/maxima/5.45.1/share/solve_rec/simplify_sum.mac"
>
> (%i5) sum(1/factorial(n^2), n, 1, inf), simpsum;
> (%o5)
Maxima's simplify_sum function produces something similar looking:
(%i4) load("simplify_sum");
(%o4) "/usr/share/maxima/5.45.1/share/solve_rec/simplify_sum.mac"
(%i5) sum(1/factorial(n^2), n, 1, inf), simpsum;
(%o5) 'sum(1/(n^2)!,n,1,inf)
(%i6) simplify_sum(%);
1/'product(n^2+%,%,1,2*n+1)
It appears to come from Maxima, but I have trouble reproducing this in
Maxima.
Perhaps it's a bug in the Maxima interface?
Is there a direct way to see how Maxima is called in this instance?
Dima
On Mon, Feb 12, 2024 at 2:53 PM Georgi Guninski wrote:
> There is discussion about this on
There is discussion about this on mathoverlow [1]:
The closed form of `sum(1/factorial(n**2),n,1,oo)` doesn't appear
correct and it contradicts numerical computations, including verification
with mpmath.
Session:
sage: import mpmath
sage: su4=sum(1/factorial(n**2),n,1,oo);su4