Strange/wrong? behaviour of subs with ConditionSet / ImageSet I'm not sure what to think of the following…
Strange/wrong? behaviour of subs with ConditionSet / ImageSet I'm not sure what to think of the following…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). In 72 : .subs(y, Rational(1,3)) Out 72 : {-1/3, 1/3}
The task
In [72]: _.subs(y, Rational(1,3)) Out[72]: {-1/3, 1/3}
Part of Lego-X/Lego-RL-SWE-Bench-Verified.