You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I suppose there are two separate issues, one is consistency in which some operations have an implicit "hull" and others do not.
The other issue is about type closure. It would be good if e.g. (even assuming b and c are overlapping to remove the question about whether union should return a hull or a disjoint set)
but since setdiff(a, b) returns something that itself cannot carry the semantics of a union of intervals (Unless everywhere Array{Interval} means "union of itnervals", which is almost certainly not tenable).
So probably setdiff should return an object that can only mean "union of intervals".
This strikes me as inconsistent:
The text was updated successfully, but these errors were encountered: