[sympy] Is gruntz expected to work properly for factorial2 (Double factorial) ???

I caught this while trying to execute the is_convergent() method from the concrete module for Sum . So the problem is that any expression of the form Sum( f(x), (x, 1, oo)).is_convergent() where f(x) contains factorial2 either gives out an error or False. Some examples being >>> Sum(factorial

Re: [sympy] Doit method in concrete

Your explanation makes eminent sense! I did not think of this at all: surely a term 1^oo does not drop out of the sky, it has a ‚history‘. Thanks! On Sun 7. Nov 2021 at 02:44 Oscar Benjamin wrote: > On Sat, 6 Nov 2021 at 16:55, Peter Stahlecker > wrote: > > > > I am just a hobby mathematician,