add assertions

JuliaReach · Dec 29, 2024 · 8eaf91e · 8eaf91e
1 parent 7b17d2e
commit 8eaf91e
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/src/Sets/HalfSpace/distance.jl b/src/Sets/HalfSpace/distance.jl
@@ -1,4 +1,6 @@
 @commutative function distance(x::AbstractVector, H::HalfSpace; p::Real=2)
+    @assert length(x) == dim(H) "incompatible dimensions $(length(x)) and $(dim(H))"
+
     if p != 2
         throw(ArgumentError("`distance` is only implemented for Euclidean norm"))
     end

diff --git a/src/Sets/Hyperplane/distance.jl b/src/Sets/Hyperplane/distance.jl
@@ -1,4 +1,6 @@
 @commutative function distance(x::AbstractVector, H::Hyperplane; p::Real=2)
+    @assert length(x) == dim(H) "incompatible dimensions $(length(x)) and $(dim(H))"
+
     if p != 2
         throw(ArgumentError("`distance` is only implemented for Euclidean norm"))
     end

diff --git a/src/Sets/Line/distance.jl b/src/Sets/Line/distance.jl
@@ -1,4 +1,6 @@
 @commutative function distance(x::AbstractVector, L::Line; p::Real=2)
+    @assert length(x) == dim(L) "incompatible dimensions $(length(x)) and $(dim(L))"
+
     d = L.d  # direction of the line
     t = dot(x - L.p, d) / dot(d, d)
     return distance(x, L.p + t * d; p=p)