test_min and test_max in unittest_neos are failing because SDPT3 complains that Ak isn't symmetric. Presumably it means that the variables of PSD matrices are used asymmetrically, ie. X[0, 1] >= -0.2 should be symmetrized to 0.5*(X[0, 1] + X[1, 0]) >= -0.2.
A good place for a symmetrization function to be called would be at the end of make_sedumi_format_problem, after retrieving the simplified problem.
test_min and test_max in unittest_neos are failing because SDPT3 complains that Ak isn't symmetric. Presumably it means that the variables of PSD matrices are used asymmetrically, ie. X[0, 1] >= -0.2 should be symmetrized to 0.5*(X[0, 1] + X[1, 0]) >= -0.2.
A good place for a symmetrization function to be called would be at the end of make_sedumi_format_problem, after retrieving the simplified problem.