change default implementation of 'scale'

Author: schillic

src/Interfaces/LazySet.jl

@@ -1545,16 +1545,25 @@ function linear_map(M::AbstractMatrix, P::LazySet; kwargs...)
     end
 end
 
+function linear_map(αI::UniformScaling, X::LazySet)
+    M = Diagonal(fill(αI.λ, dim(X)))
+    return linear_map(M, X)
+end
+
 """
 # Extended help
 
     scale(α::Real, X::LazySet)
 
 ### Algorithm
 
-The default implementation calls `scale!` on a copy of `X`.
+The default implementation computes `linear_map` with the diagonal matrix ``α*I``.
 """
 function scale(α::Real, X::LazySet)
+    return linear_map(α*I, X)
+end
+
+function _scale_copy_inplace(α::Real, X::LazySet)
     Y = copy(X)
     scale!(α, Y)
     return Y