Replies: 1 comment
-
At the moment, the only way to obtain the Gram decomposition is by doing the SOS-to-SDP relaxation by hand. It would indeed be possible to provide the Gram decomposition, if existing, upon solution. The best place to do so would be the |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Assume we solved a SOS problem. We are now interested to get the SOS decomposition of a constrait i.e. z^T Q z
Is it currently possible to get this from the solver output? Or does CaSoS already provide a function that might compute such a decomposition?
Beta Was this translation helpful? Give feedback.
All reactions