Polynomial zonotope sets (AbstractPolynomialZonotope)

AbstractPolynomialZonotope{N} <: LazySet{N}

Abstract type for polynomial zonotope sets.

Notes

Polynomial zonotopes are in general non-convex. They are always bounded.

Every concrete AbstractPolynomialZonotope must define the following functions:

• center(::AbstractPolynomialZonotope) – return the center

• order(::AbstractPolynomialZonotope) – return the order

julia> subtypes(AbstractPolynomialZonotope)
3-element Vector{Any}:
 DensePolynomialZonotope
 SimpleSparsePolynomialZonotope
 SparsePolynomialZonotope

dim(PZ::AbstractPolynomialZonotope)

Return the ambient dimension of a polynomial zonotope.

Input

• PZ – polynomial zonotope

Output

An integer representing the ambient dimension of the polynomial zonotope.