remove scalar 'linear_map'

JuliaReach · Dec 30, 2024 · 7ee026f · 7ee026f
1 parent bb66e35
commit 7ee026f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 12 deletions.
diff --git a/docs/src/lib/interfaces/LazySet.md b/docs/src/lib/interfaces/LazySet.md
@@ -71,7 +71,6 @@ radius(::LazySet, ::Real=Inf)
 diameter(::LazySet, ::Real=Inf)
 isempty(::LazySet, ::Bool=false)
 linear_map(::AbstractMatrix, ::LazySet; kwargs...)
-linear_map(::Number, ::LazySet; kwargs...)
 affine_map(::Any, ::LazySet, ::AbstractVector)
 exponential_map(::AbstractMatrix, ::LazySet)
 an_element(::LazySet)

diff --git a/src/Interfaces/LazySet.jl b/src/Interfaces/LazySet.jl
@@ -1494,15 +1494,6 @@ function linear_map(M::AbstractMatrix, P::LazySet; kwargs...)
     end
 end
 
-"""
-    linear_map(a::Number, X::LazySet; kwargs...)
-
-Alias for `scale(a, X; kwargs...)`.
-"""
-function linear_map(a::Number, X::LazySet; kwargs...)
-    return scale(a, X; kwargs...)
-end
-
 """
 ### Algorithm
 

diff --git a/test/Sets/Interval.jl b/test/Sets/Interval.jl
@@ -48,8 +48,6 @@ 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])