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
>> import intervals as I
>> x = I.open(int(1), int(3))
>> y = I.open(int(4), int(5))
>> x|y
(1,3)|(4,5)
these are open intervals, the bounds are defined as Int instances. So, unlike reals, the two integers abut, there is not an infintity of real points or intervals between them. Surely the result of x|y should be a singleton which is the extend of x.left and y.right not the explicit x|y outcome?
If I coerce this as (1,3) | (3,5) it works. So for the bounds matching it works. It feels like the difference between open and closed intervals has been lost here.
The text was updated successfully, but these errors were encountered:
these are open intervals, the bounds are defined as Int instances. So, unlike reals, the two integers abut, there is not an infintity of real points or intervals between them. Surely the result of x|y should be a singleton which is the extend of
x.left
andy.right
not the explicit x|y outcome?If I coerce this as (1,3) | (3,5) it works. So for the bounds matching it works. It feels like the difference between open and closed intervals has been lost here.
The text was updated successfully, but these errors were encountered: