Make SDP problem specification implicit