Multiplying an expression by a Poly does not evaluate when the expression is on the left side of the…
Multiplying an expression by a Poly does not evaluate when the expression is on the left side of the…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). x Poly(x) x Poly(x, x, domain='ZZ')
The task
>>> x*Poly(x) x*Poly(x, x, domain='ZZ')
Part of Lego-X/Lego-RL-SWE-Bench-Verified.