Open 7822f248-ba56-45f1-ab3d-4de7482bdf9f opened 3 years ago
I don't think the simplification is actually a bug, because the result is equal to the sum as a symbolic expression, so the code is behaving as advertised. More precisely, the rule in ginac is that a simplification can be made if it is "algebraically correct, possibly except for a set of measure zero (e.g. x/x is transformed to 1 although this is incorrect for x=0)".
The user in this particular ask.sagemath.org
question, seems to be interested in numerical calculations, rather than symbolic manipulations, so perhaps they should have defined a python function, instead of using a symbolic expression.
However, I agree that it would be good to have a way to evaluate the symbolic expression at r = 0
(without having to take a limit).
Moving to 9.4, as 9.3 has been released.
See this
ask.sagemath.org
question for details.which is incorrect if
r==0
.Mathematica
faills in the same trap :Workaround : use
sympy
algorithm :Upstream: Not yet reported upstream; Will do shortly.
Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/31418