How to check whether some value of the optimization variables satisfy all the constraints

[Pan Zhao]

Hi Johan,

I obtained a solution for optimization problem A (for instance, a nonconvex problem) by solving another problem B (a convex problem including LMI constraints).  Is there a convenient way to check whether the solution from problem B satisfy all constraints of problem A?  It seems that the command “check” does not work for this circumstance.

Thanks. 

Pan

[Johan Löfberg]

check sould work as long all variables are assigned. Alternatively, simply compute the value of the expression which you want to study using value, once again assuming the variables are assigned