Conversion of polyhedral set to star set

[mforets]

Should be

function Base.convert(::Type{LazySets.STAR}, P::AbstractPolyhedron{N}) where {N}
    n = dim(P)
    c = zeros(N, n)
    V = Matrix(one(N)*I, n, n)
    return Star(c, V, P)
end

S = convert(LazySets.STAR, rand(HPolygon))

@show typeof(S)
@show basis(S)
@show center(S)

typeof(S) = AffineMap{Float64, HPolygon{Float64, Vector{Float64}}, Float64, Matrix{Float64}, Vector{Float64}}

basis(S) = [1.0 0.0; 0.0 1.0]

center(S) = [0.0, 0.0]