Return explicitly an NaI for `intersect_interval` and `hull`

JuliaIntervals / IntervalArithmetic.jl

Library for validated numerics using interval arithmetic

https://juliaintervals.github.io/IntervalArithmetic.jl/

Other

290 stars 70 forks source link

Return explicitly an NaI for `intersect_interval` and `hull` #664

Closed OlivierHnt closed 1 month ago

OlivierHnt commented 1 month ago

This PR explicitly returns an NaI by calling nai whenever one of the argument is an NaI. As pointed out in #662, before this PR we would obtain for hull a non trivial interval with ill decoration which could lead to errors down the line if one accesses the bounds of the interval through getproperty.

Closes #662

Also, this PR should supersede #663.