Remove + and - methods for Interval
schillic opened this issue · 0 comments
schillic commented
Currently X + Y is lazy except if X and Y are Intervals. I think this is inconsistent (and also potentially type unstable).
(There are other set types where Minkowski sum is efficient, so Interval should not be special.)
The same is true for -.