%% Constraint Polynomial Zonotope
% In CORA, constraint polynomial zonotopes are instantiated by

% cPZ = conPolyZono(c,G,E,A,b,EC,GI);

% where c is the start point, G is the generator matrix with dependent factors, E is the exponent matrix, A is the constraint matrix, b is the constraint offset, EC is the constraint exponent matrix, and GI is the generator matrix with independent factors.
% Example:

% initialize constrained polynomial zonotope
c = [0;0];
G = [1 0 1 -1; 0 1 1 1];
E = [1 0 1 2; 0 1 1 0; 0 0 1 1];
A = [1 -0.5 0.5];
b = 0.5;
EC = [0 1 2; 1 0 0; 0 1 0];
cPZ = conPolyZono(c,G,E,A,b,EC);

% plot constraint polynomial zonotope
plot(cPZ);