sympy__sympy-13177

Mod(x**2, x) is not (always) 0

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

p.is_Pow and p.base == q and q.is_integer and p.exp.is_Integer and p.exp.is_positive): return S.Zero

The two checks disagreed (stated fix vs. points to it); the lower reading shown: “p.is_Pow and p.base == q and q.is_integer and p.exp.is_Integer and p.exp.is_positive): return S.Zero”

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