bug in is subset(Reals) Solving issue 19513 has given rise to another bug. Now: In 8 : S1 =…
bug in is subset(Reals) Solving issue 19513 has given rise to another bug. Now: In 8 : S1 =…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). In 9 : S1 Out 9 : {n + ⅈ⋅(n - 1)⋅(n + 1) │ n ∊ ℤ}
The task
In [9]: S1 Out[9]: {n + ⅈ⋅(n - 1)⋅(n + 1) │ n ∊ ℤ}
Part of Lego-X/Lego-RL-SWE-Bench-Verified.