Goes from highest to lowest for all items that are contained in this Intersection
Goes from lowest to highest for all items that are contained in this Intersection
Map the Interval with a non-decreasing function.
Map the Interval with a non-decreasing function. If you use a non-monotonic function (like x^2) then the result is meaningless. TODO: It might be good to have types for these properties in algebird.
Some intervals can actually be synonyms for empty: (0,0) for instance, contains nothing.
Some intervals can actually be synonyms for empty: (0,0) for instance, contains nothing. This cannot be normalized to [a, b) form, thus we return an option Also, there are cases like [Int.MinValue, Int.MaxValue] that cannot are actually equivalent to Universe. The bottom line: if this returns None, it just means you can't express it this way, it does not mean it is empty or universe, etc... (there are other cases).