How to see Sum-of-Squares decomposotion in the optimization over domain?

[parfenyev]

Hello everyone!

I am looking through the example of polynomial optimization over the domain. Just before the maxdegree keyword argument subsection, it is explained how the algorithm works. But how can we look at the expressions for polynomials s0-s3 that the algorithm has found?

Thank you in advance.

[blegat]

Yes, you can obtain them with gram_matrix and lagrangian_multipliers