JuliaIntervals / IntervalArithmetic.jl

Library for validated numerics using interval arithmetic
https://juliaintervals.github.io/IntervalArithmetic.jl/
Other
297 stars 71 forks source link

`hull` with `NaI` gives non-NaI #662

Closed dpsanders closed 4 months ago

dpsanders commented 4 months ago
julia> hull(nai(), 1..2)
┌ Warning: interval part of NaI
└ @ IntervalArithmetic ~/Dropbox/packages/IntervalArithmetic/src/intervals/construction.jl:300
[1.0, 2.0]_ill

What does the standard say about this?

OlivierHnt commented 4 months ago

I believe we are doing the right thing. Also I am not sure I understand the issue, for me

julia> isnai(hull(nai(), interval(1,2)))
┌ Warning: interval part of NaI
└ @ IntervalArithmetic ~/.julia/dev/IntervalArithmetic/src/intervals/construction.jl:300
true