Result from clear denoms() prints like zero poly but behaves wierdly (due to unstripped DMP) The was the…
Result from clear denoms() prints like zero poly but behaves wierdly (due to unstripped DMP) The was the…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). ~~There may be valid cases (at least with EX coefficients) where the two valued Poly.is zero is False but as expr() evaluates to 0~~…
The task
~~There may be valid cases (at least with EX coefficients) where the two valued Poly.is_zero is False but as_expr() evaluates to 0~~ (@jksuom points out this is a bug in #20428), but other Poly methods don't handle `bad_poly` very well.
Part of Lego-X/Lego-RL-SWE-Bench-Verified.