Macaulay2
»
Documentation
Packages
»
SumsOfSquares
::
Table of Contents
next  previous  forward  backward  up 
index

toc
SumsOfSquares : Table of Contents
SumsOfSquares
 A package for sumsofsquares 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 sumofsquares problem
solveSOS(...,Solver=>...)
 picking a semidefinite programming solver
solveSOS(...,Verbosity=>...)
 control the level of information printed
solveSOS(RingElement,RingElement,Matrix)
 sumofsquares 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 sumsofsquares polynomials
sosPoly
 make an SOS polynomial
TraceObj
 whether to use trace as the objective function
value(SOSPoly)
 expansion of a weighted SOS decomposition