made SDP constraint include symmetry