@@ -35,10 +35,10 @@ Interval{Float64}
35
35
default_bound () = Float64
36
36
37
37
# Produce the type of the bounds of an interval when not explicitly imposed
38
- getnumtype (:: Type{T} , :: Type{S} ) where {T<: AbstractFloat , S<: AbstractFloat } = promote_type (T, S)
39
- getnumtype (:: Type{T} , :: Type{S} ) where {T<: AbstractFloat , S} = promote_type (T, S)
40
- getnumtype (:: Type{T} , :: Type{S} ) where {T, S<: AbstractFloat } = promote_type (T, S)
41
- getnumtype (:: Type{T} , :: Type{S} ) where {T, S} = promote_type (default_bound (), T, S)
38
+ promote_numtype (:: Type{T} , :: Type{S} ) where {T<: AbstractFloat , S<: AbstractFloat } = promote_type (T, S)
39
+ promote_numtype (:: Type{T} , :: Type{S} ) where {T<: AbstractFloat , S} = promote_type (T, S)
40
+ promote_numtype (:: Type{T} , :: Type{S} ) where {T, S<: AbstractFloat } = promote_type (T, S)
41
+ promote_numtype (:: Type{T} , :: Type{S} ) where {T, S} = promote_type (default_bound (), T, S)
42
42
43
43
@inline _normalisezero (a:: Real ) = ifelse (iszero (a), zero (a), a)
44
44
@@ -94,7 +94,7 @@ function interval(::Type{T}, a, b) where {T}
94
94
@warn " Invalid input, empty interval is returned"
95
95
return emptyinterval (T)
96
96
end
97
- interval (a:: T , b:: S ) where {T, S} = interval (getnumtype (T, S), a, b)
97
+ interval (a:: T , b:: S ) where {T, S} = interval (promote_numtype (T, S), a, b)
98
98
99
99
# Real: `is_valid_interval(a, a) != true`
100
100
interval (:: Type{T} , a:: Real ) where {T} = interval (T, a, a)
0 commit comments