Merge pull request #3322 from JuliaReach/schillic/linear_map

Fix linear_map with number
JuliaReach · May 8, 2023 · 4299e76 · 4299e76 · schillic · May 8, 2023
2 parents bb1804d + fba1338
commit 4299e76
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "LazySets"
 uuid = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
-version = "2.7.5"
+version = "2.7.6"
 
 [deps]
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"

diff --git a/src/Interfaces/LazySet.jl b/src/Interfaces/LazySet.jl
@@ -1979,10 +1979,10 @@ function linear_map(M::AbstractMatrix, P::LazySet; kwargs...)
 end
 
 """
-    linear_map(a::Number, P::LazySet; kwargs...)
+    linear_map(a::Number, X::LazySet; kwargs...)
 
-Alias for `scale(a, P; kwargs...)`.
+Alias for `scale(a, X; kwargs...)`.
 """
-function linear_map(a::Number, P::LazySet; kwargs...)
+function linear_map(a::Number, X::LazySet; kwargs...)
     return scale(a, X; kwargs...)
 end
diff --git a/test/Sets/Interval.jl b/test/Sets/Interval.jl
@@ -46,6 +46,8 @@ for N in [Float64, Float32, Rational{Int}]
 
     # concrete linear map
     @test linear_map(hcat(N(2)...), x) == Interval(N(2) * x.dat)
+    # alias for scale
+    @test linear_map(N(2), x) == Interval(N(2) * x.dat)
 
     # concrete linear map with zonotope output
     M2 = hcat(N[1, 2, 3])