update SemidefiniteProgramming