Let’s say I have a primal problem for some SDP coded up in CVX. Running the CVX solver gives the primal objective value as well as the dual objective value. Since the dual is also solved, is it possible to check the dual feasibility of some solution I might have without explicitly writing the dual in CVX?
CVX doesn’t do feasibility checks for primal points, either.