Polynomial Zonotope

In CORA, polynomial zonotopes are instantiated by

% pZ = polyZonotope(c,G,GI,E);

where c is the start point, G is the generator matrix with dependent factors, GI is the generator matrix with independent factors, and E is the exponent matrix.

Example:

% initialize polynomial zonotope

c = [4; 4];

G = [2 1 2; 0 2 2];

GI = [1; 0];

E = [1 0 3; 0 1 1];

pZ = polyZonotope(c,G,GI,E);

% plot polynomial zonotope

plot(pZ);