Update SemidefiniteProgramming