Generalise contractors to bareinterval (#6)

* Generalize contractors to bare intervals * Add test * New line
JuliaIntervals · Aug 25, 2024 · b239a83 · b239a83
1 parent efaa4a4
commit b239a83
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/src/intervalbox.jl b/src/intervalbox.jl
@@ -115,12 +115,12 @@ isinterior(X::IntervalBox{N,T}, Y::IntervalBox{N,T}) where {N,T} = all(isinterio
 # Cartesian product:
 ×(a::IntervalType...) = IntervalBox(a...)
 ×(a::IntervalType, b::IntervalBox) = IntervalBox(a, b.v...)
-×(a::IntervalBox, b::Interval) = IntervalBox(a.v..., b)
+×(a::IntervalBox, b::IntervalType) = IntervalBox(a.v..., b)
 ×(a::IntervalBox, b::IntervalBox) = IntervalBox(a.v..., b.v...)
 
-IntervalBox(x::Interval, ::Val{n}) where {n} = IntervalBox(SVector(ntuple( _ -> x, Val(n) )))
+IntervalBox(x::IntervalType, ::Val{n}) where {n} = IntervalBox(SVector(ntuple( _ -> x, Val(n) )))
 
-IntervalBox(x::Interval, n::Int) = IntervalBox(x, Val(n))
+IntervalBox(x::IntervalType, n::Int) = IntervalBox(x, Val(n))
 
 dot(x::IntervalBox, y::IntervalBox) = dot(x.v, y.v)
 

diff --git a/test/multidim.jl b/test/multidim.jl
@@ -341,3 +341,9 @@ end
 # end
 
 # end
+
+
+@testset "Bare interval boxes" begin
+    x = bareinterval(-1..1)
+    @test IntervalBox(x, 2) == IntervalBox(x, x)
+end