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:
eq = 1/vars(1)^2 - vars(2);
ls = levelSet(eq,vars,'<=');