SumsOfSquares : Table of Contents
-
-
-
clean(RR,SOSPoly) -- remove squares with very small coefficients from a sum of squares
-
-
library -- library of interesting nonnegative forms
-
lowerBound -- finds a lower bound for a polynomial
-
-
RoundTol -- tolerance for rational rounding
-
SDPResult -- result of a semidefinite programming computation
-
solveSOS -- solve a sum-of-squares problem
-
-
-
-
-
-
SOSPoly -- A type to store sums-of-squares polynomials
-
-
TraceObj -- whether to use trace as the objective function
-