Zonotope
In CORA, zontopes are instantiated by
where c is the center vector and G is the generator matrix.
Example:
For more information, type
help zonotope
zonotope - object constructor for zonotope objects
Description:
This class represents zonotopes objects defined as
{c +