Skip to content

convert from Zonotope to VPolytope fails due to inconsistent argument name #3317

@schillic

Description

@schillic

convert uses the name prune, but this particular vertices_list method expects the name apply_convex_hull. This is an argument for #1660.

julia> Z = rand(Zonotope)
Zonotope{Float64, Vector{Float64}, Matrix{Float64}}([0.28600000547971843, 0.33780737831741153], [-0.45138488890401973 0.9925166097583656 0.7855645481753909; -0.43529733151286754 0.0005006815897614299 -0.19271572818242222])

julia> convert(VPolytope, Z)
ERROR: MethodError: no method matching vertices_list(::Zonotope{Float64, Vector{Float64}, Matrix{Float64}}; prune=true)
Closest candidates are:
  vertices_list(::AbstractZonotope; apply_convex_hull) at ~/.julia/dev/LazySets/src/Interfaces/AbstractZonotope.jl:409 got unsupported keyword argument "prune"
  vertices_list(::AbstractPolyhedron; check_boundedness) at ~/.julia/dev/LazySets/src/Interfaces/AbstractPolyhedron_functions.jl:1035 got unsupported keyword argument "prune"
  vertices_list(::VPolytope) at ~/.julia/dev/LazySets/src/Sets/VPolytope.jl:406 got unsupported keyword argument "prune"
  ...
Stacktrace:
 [1] kwerr(::NamedTuple{(:prune,), Tuple{Bool}}, ::Function, ::Zonotope{Float64, Vector{Float64}, Matrix{Float64}})
   @ Base ./error.jl:165
 [2] convert(::Type{VPolytope}, X::Zonotope{Float64, Vector{Float64}, Matrix{Float64}}; prune::Bool)
   @ LazySets ~/.julia/dev/LazySets/src/convert.jl:187
 [3] convert(::Type{VPolytope}, X::Zonotope{Float64, Vector{Float64}, Matrix{Float64}})
   @ LazySets ~/.julia/dev/LazySets/src/convert.jl:186
 [4] top-level scope
   @ REPL[3]:1

Metadata

Metadata

Assignees

No one assigned

    Labels

    bug 🐛Something isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions