sympy__sympy-13915

Issue with a substitution that leads to an undefined expression

Verdict: the fix is stated in the issue (Tier A).

I am considering a solution that returns NaN when Mul cancels an expression with infinity of any kind. So for example (z+zoo)/(z+zoo) and (z-oo)/(z-oo) both return NaN.

The text states the fix: “I am considering a solution that returns NaN when Mul cancels an expression with infinity of any kind. So for example (z+zoo)/(z+zoo) and (z-oo)/(z-oo) both return NaN.”

All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works