LazySets.jl icon indicating copy to clipboard operation
LazySets.jl copied to clipboard

Add more methods for scale

Open schillic opened this issue 4 years ago • 0 comments

julia> methods(scale)
# 3 methods for generic function "scale":
[1] scale(α::Real, x::Interval) in LazySets at .julia/dev/LazySets/src/Sets/Interval.jl:587
[2] scale(α::Real, Z::Zonotope) in LazySets at .julia/dev/LazySets/src/Sets/Zonotope.jl:303
[3] scale(α::Number, pz::PolynomialZonotope) in LazySets at .julia/dev/LazySets/src/Sets/PolynomialZonotope.jl:217

Sets for which scaling is easy (maybe the others are also easy :man_shrugging:):

  • [ ] AbstractZonotope (generalize existing method)
  • [ ] EmptySet/ZeroSet (identity)
  • [ ] Universe (identity except for 0ZeroSet)
  • [ ] Singleton
  • [ ] LineSegment
  • [ ] Ball*
  • [ ] Hyperrectangle
  • [ ] VPolytope/VPolygon
  • [ ] HPolytope/HPolygon (using vrep > scale > hrep)

schillic avatar Mar 03 '21 16:03 schillic