SOS : Table of Contents
SOS -- A package for sums-of-squares problems
-
chooseMons -- create list of monomials based on the Newton polytope
clean(RR,SOSPoly) -- Remove terms with very small coefficients from a sum-of-squares.
-
createSOSModel -- space of Gram matrices of a polynomial (for developers)
library -- library of interesting nonnegative forms
lowerBound -- finds a lower bound for a polynomial
-
RoundTol -- tolerance for rational rounding
-
solveSOS -- solve a sum-of-squares problem
-
-
-
-
-
SOSPoly -- A type to store SOS decompositions of polynomials
-
sumSOS -- expansion of a weighted SOS decomposition
TraceObj -- whether to use trace as the objective function