Fix implicit conversion in +,-,*,/

JuliaIntervals · Sep 5, 2023 · 1314740 · 1314740
1 parent b34380d
commit 1314740
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/intervals/arithmetic/basic.jl b/src/intervals/arithmetic/basic.jl
@@ -22,6 +22,7 @@ end
 
 function +(a::Interval{T}, b::T) where {T<:NumTypes}
     isempty(a) && return a
+    isfinite(b) || return emptyinterval(T)
     return @round(T, inf(a) + b, sup(a) + b)
 end
 
@@ -96,6 +97,7 @@ end
 
 function *(a::Interval{T}, b::T) where {T<:NumTypes}
     (isempty(a) || isthinzero(a) || isone(b)) && return a
+    isfinite(b) || return emptyinterval(T)
     if b ≥ 0
         return @round(T, inf(a) * b, sup(a) * b)
     else
@@ -173,6 +175,7 @@ end
 
 function /(a::Interval{T}, b::T) where {T<:NumTypes}
     isempty(a) && return a
+    isfinite(b) || return emptyinterval(T)
     iszero(b) && return div_by_thin_zero(a)
     if b ≥ 0
         return @round(T, inf(a)/b, sup(a)/b)