Symmetry reduction in Sumsofsquares

[Khashayar-Neshat]

Now, it works. Thank you. Why is just the objective value negative of the real objective? Here, you can see that in your result:

@abulak

objective = 1.417411
------------------------------------------------------------------
(status = MathOptInterface.OPTIMAL, objective = -1.4174111165076462, symmetry_adaptation_t = 0.001210972, creation_t = 0.000426226, solve_t = 0.000723593)