The Set.is subset method has a flawed implementation that causes incorrect results in several cases.
The Set.is subset method has a flawed implementation that causes incorrect results in several cases.: a task in LegoFlow-SWE (Harbor dataset). odd integers = ImageSet(Lambda( n, 2 n + 1), Integers) greater than n10 = Interval(-10, oo) odd integers & greater than n10 Currently: {0}, but 0 is not…
The task
odd_integers = ImageSet(Lambda(_n, 2 * _n + 1), Integers) greater_than_n10 = Interval(-10, oo) odd_integers & greater_than_n10 # Currently: {0}, but 0 is not even in odd_integers! ```
Part of Lego-X/LegoFlow-SWE.