%% Level Set
% In CORA, level sets are instantiated by

% ls = levelSet(eq,vars,op);

% where eq is a symbolic MATLAB function, vars are the symbolic variables, and op is the comparison operator.
% Example:

% init figure
figure;
xlim([-8,8])
ylim([-8,8])

% initialize level set
vars = sym('x',[2;1]);
eq = 1/vars(1)^2 - vars(2);
ls = levelSet(eq,vars,'<=');

% plot level set
plot(ls);