sympy__sympy-14396
Poly(domain='RR[y,z]') doesn't work
Verdict: disputed: one of the two checks found quoted evidence (not counted as a flag).
The preprocessing of options should be extended to accept polynomial rings with real coefficients.
Disputed: one of the two checks found a stated fix, the other found nothing. Not counted as a flag; the quote is on the task page.
All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works