sdp symmetry constraint more concise