sympy__sympy-19254
sympy.polys.factortools.dmp_zz_mignotte_bound improvement
Verdict: the issue points to the file or function that was changed (Tier B).
Considering the results and the feedback from Mr.Kalevi Suominen, our proposal is that the mignotte_bound should be replaced by the knuth-cohen bound.
The two checks disagreed (stated fix vs. points to it); the lower reading shown: “Considering the results and the feedback from Mr.Kalevi Suominen, our proposal is that the mignotte_bound should be replaced by the knuth-cohen bound.”
All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works