From 7ee026f80586c72e5889196f4ef72b7dae2737f2 Mon Sep 17 00:00:00 2001 From: schillic Date: Mon, 30 Dec 2024 20:54:33 +0100 Subject: [PATCH] remove scalar 'linear_map' --- docs/src/lib/interfaces/LazySet.md | 1 - src/Interfaces/LazySet.jl | 9 --------- test/Sets/Interval.jl | 2 -- 3 files changed, 12 deletions(-) diff --git a/docs/src/lib/interfaces/LazySet.md b/docs/src/lib/interfaces/LazySet.md index ee6a30dd65..3cb9f7e239 100644 --- 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 index 752e3a9611..9a1ec3def7 100644 --- 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 index 21d9899d12..a02baf8340 100644 --- 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])