Zonotope

A zonotope is defined as

$$\mathcal{Z} := \bigg\{ c + \sum_{i=1}^\gamma \beta_i G_{(\cdot,i)} \, \bigg| \, \beta_i \in [-1,1] \bigg\}.$$

Zonotopes are compact, convex, and bounded sets. More information in Section 2.2.1.1 in the CORA manual.

Website by Matthias Althoff, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner