Cartesian Product
LazySets.API.cartesian_product — Methodcartesian_product(X::LazySet, Y::LazySet)Compute the Cartesian product of two sets.
Input
X– setY– set
Output
A set representing the Cartesian product $X × Y$.
Notes
The Cartesian product of two sets $X$ and $Y$ is defined as
\[ X × Y = \{[x, y] \mid x ∈ X, y ∈ Y\}.\]
LazySets.API.cartesian_product — MethodExtended help
cartesian_product(SPZ::SparsePolynomialZonotope, Z::AbstractZonotope)Algorithm
This method implements Kochdumper [Koc22], Proposition 3.1.22.