This type encapsulates the result of a semidefinite programming computation.
|
|
|
|
The fields can be extracted with the operator #.
|
If the Gram matrix is different from null, then the sum-of-squares polynomial can be recovered with sosPoly.
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/SumsOfSquares/SOSdoc.m2:221:0.