change default implementation of 'scale'

src/Interfaces/LazySet.jl

@@ -1503,12 +1503,25 @@ function linear_map(a::Number, X::LazySet; kwargs...)
     return scale(a, X; kwargs...)
 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