Yeah, a lot of work is needed in sets.
I see that error on master but not on my PR:
https://github.com/sympy/sympy/pull/17593
There it doesn't raise but just returns unevaluated:
In [3]: simplify(a.intersect(b))
Out[3]: {(t, t) | t ∊ [0, 1]} ∩ {(1 - t, t) | t ∊ [0, 1]}
There is no code to
OK, I wasn't sure if that was the intended way, since using tuples quickly
leads to errors such as:
>>> a = ImageSet(Lambda(t, (t, t)), Interval(0, 1))
>>> a
ImageSet(Lambda(t, (t, t)), Interval(0, 1))
>>> (0,0) in a
True
>>> b = ImageSet(Lambda(t, (1 - t, t)), Interval(0, 1))
>>> b