add test for non-square linear_map of Interval

JuliaReach · Jul 11, 2024 · 1f4d800 · 1f4d800
1 parent e744692
commit 1f4d800
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/Sets/Interval.jl b/test/Sets/Interval.jl
@@ -346,6 +346,10 @@ for N in [Float64, Float32, Rational{Int}]
     M = hcat(N[2])
     v = N[-3]
     @test affine_map(M, I1, v) == Interval(N(-3), N(-1))
+    M2 = N[2; -2;;]
+    v = N[-1, -1]
+    H = affine_map(M2, I1, v)
+    @test H isa Zonotope && isequivalent(H, LineSegment(N[-1, -1], N[1, -3]))
 
     # exponential_map
     @test exponential_map(M, I1) == Interval(N(0), N(exp(N(2))))