SumsOfSquares : Table of Contents

• SumsOfSquares -- A package for sums-of-squares problems
• checkSolver -- tests a semidefinite programming solver
• clean(RR,SOSPoly) -- remove squares with very small coefficients from a sum of squares
• coefficient field -- the role of the coefficient field
• library -- library of interesting nonnegative forms
• lowerBound -- finds a lower bound for a polynomial
• recoverSolution -- factor a rank one positive semidefinite matrix
• RoundTol -- tolerance for rational rounding
• SDPResult -- result of a semidefinite programming computation
• solveSOS -- solve a sum-of-squares problem
• solveSOS(...,Solver=>...) -- picking a semidefinite programming solver
• solveSOS(...,Verbosity=>...) -- control the level of information printed
• solveSOS(RingElement,RingElement,Matrix) -- sum-of-squares problem in a quotient ring
• sosdecTernary -- sum of squares decomposition for ternary forms
• sosInIdeal -- sum of squares polynomial in ideal
• SOSPoly -- A type to store sums-of-squares polynomials
• sosPoly -- make an SOS polynomial
• TraceObj -- whether to use trace as the objective function
• value(SOSPoly) -- expansion of a weighted SOS decomposition