Broadcast in isinf and contains_zero, with tests (#162)

Author: lbenet

src/multidim/intervalbox.jl

@@ -73,12 +73,12 @@ diam(X::IntervalBox) = maximum(diam.(X.v))
 
 emptyinterval(X::IntervalBox{N,T}) where {N,T} = IntervalBox(emptyinterval.(X.v))
 
-isinf(X::IntervalBox) = any(isinf(X))
+isinf(X::IntervalBox) = any(isinf.(X))
 
 isinterior(X::IntervalBox{N,T}, Y::IntervalBox{N,T}) where {N,T} = all(isinterior.(X, Y))
 
-contains_zero(X::SVector) = all(contains_zero(X))
-contains_zero(X::IntervalBox) = all(contains_zero(X))
+contains_zero(X::SVector) = all(contains_zero.(X))
+contains_zero(X::IntervalBox) = all(contains_zero.(X))
 
 import Base.×
 ×(a::Interval...) = IntervalBox(a...)

test/multidim_tests/multidim.jl

@@ -33,6 +33,11 @@ using StaticArrays
     @test isempty(X ∩ Y)
     @test X ∪ Y == IntervalBox(1..4, 3..4)
 
+    @test !contains_zero(X ∩ Y)
+    @test contains_zero( (-1..1) × (-1..1) )
+    @test !isinf( (-1..1) × (0..Inf) )
+    @test isinf( entireinterval() × entireinterval() )
+
     X = IntervalBox(2..4, 3..5)
     Y = IntervalBox(3..5, 4..17)
     @test X ∩ Y == IntervalBox(3..4, 4..5)