0.0 <= Interval{Float64, Closed, Closed}(0.0, 1.0) returns false

[leoluecken]

That's unexpected, isn't it?

With Julia 1.9.2 and Intervals v1.10.0

[leoluecken]

@omus
Looking into this, the problem seems that there is no specific definition of <= for Intervals, which means the operation defaults to (x < y) | (x == y).

To fix this, one would probably implement corresponding operations along the lines of isless_xxx() in Interval.jl, lines 288 ff (at below ##### EQUALITY #####) - Just copy all that stuff to analogous functions islesseq_xxx(), right?

Refs. #14 <- I didn't dive into that, but might be relevant.