Add conversion to and from IntervalBox

docs/src/lib/conversion.md

@@ -37,4 +37,6 @@ convert(::Type{VPolygon}, ::AbstractPolytope)
 convert(::Type{VPolytope}, ::AbstractPolytope)
 convert(::Type{VPolytope}, ::HPolytope)
 convert(::Type{Zonotope}, ::AbstractHyperrectangle)
+convert(::Type{IntervalBox}, ::AbstractHyperrectangle)
+convert(::Type{Hyperrectangle}, ::IntervalBox)
 ```

src/convert.jl

@@ -1,5 +1,7 @@
 import Base.convert
 
+using IntervalArithmetic: IntervalBox, inf, sup
+
 #= conversion between set types =#
 
 """
@@ -497,3 +499,41 @@ function convert(X::Type{HPOLYGON},
         "hyperrectangle into a two-dimensional polygon"
     return HPOLYGON(constraints_list(H))
 end
+
+"""
+    convert(::Type{IntervalBox}, H::AbstractHyperrectangle)
+
+Converts a hyperrectangular set to an `IntervalBox` from `IntervalArithmetic`.
+
+### Input
+
+- `IntervalBox` -- type used for dispatch
+- `H`           -- hyperrectangular set
+
+### Output
+
+An `IntervalBox`.
+"""
+function convert(::Type{IntervalBox}, H::AbstractHyperrectangle)
+    return IntervalBox(low(H), high(H))
+end
+
+"""
+    convert(::Type{Hyperrectangle}, IB::IntervalBox)
+
+Converts an `IntervalBox` from `IntervalArithmetic` to an hyperrectangular set.
+
+### Input
+
+- `Hyperrectangle` -- type used for dispatch
+- `IB`             -- interval box
+
+### Output
+
+A `Hyperrectangle`.
+"""
+function convert(::Type{Hyperrectangle}, IB::IntervalBox)
+    low_IB = Vector(inf.(IB)) # TODO: temprary conversion, see #1214
+    high_IB = Vector(sup.(IB)) # TODO: temprary conversion, see #1214
+    return Hyperrectangle(low=low_IB, high=high_IB)
+end

test/unit_Hyperrectangle.jl

@@ -1,3 +1,5 @@
+using IntervalArithmetic: IntervalBox
+
 for N in [Float64, Rational{Int}, Float32]
     # random hyperrectangle
     rand(Hyperrectangle)
@@ -157,4 +159,9 @@ for N in [Float64, Rational{Int}, Float32]
     @test ispermutation(clist,
                         [HalfSpace(N[1, 0], N(3)), HalfSpace(N[0, 1], N(3)),
                          HalfSpace(N[-1, 0], N(1)), HalfSpace(N[0, -1], N(1))])
+
+    # conversion to and from IntervalArithmetic's IntervalBox type
+    B = IntervalBox(0..1, 0..1)
+    H = convert(Hyperrectangle, B)
+    @test convert(IntervalBox, H) == B
 end