Minkowski Sum

minkowski_sum(X::LazySet, Y::LazySet)

Compute the Minkowski sum of two sets.

Input

• X – set
• Y – set

Output

A set representing the Minkowski sum $X ⊕ Y$.

Notes

The Minkowski sum of two sets $X$ and $Y$ is defined as

\[ X ⊕ Y = \{x + y \mid x ∈ X, y ∈ Y\}.\]

Extended help

minkowski_sum(PZ::DensePolynomialZonotope, Z::AbstractZonotope)

Output

A DensePolynomialZonotope.

Algorithm

The polynomial zonotope's center is the sum of the centers of PZ and Z, and its generators are the concatenation of the generators of PZ and Z.