sympy__sympy-16450

Posify ignores is_finite assmptions

Verdict: the issue points to the file or function that was changed (Tier B).

since the functionality of `posify` is to only add a new assumption `positive=True` when `positive` is not defined, the other assumptions should be retained.

The two checks disagreed (stated fix vs. points to it); the lower reading shown: “since the functionality of `posify` is to only add a new assumption `positive=True` when `positive` is not defined, the other assumptions should be r…”

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