SumsOfSquares : Index

• checkSolver -- tests a semidefinite programming solver
• checkSolver(...,Verbosity=>...) -- control the level of information printed
• checkSolver(String) -- tests a semidefinite programming solver
• checkSolver(String,Function) -- tests a semidefinite programming solver
• checkSolver(String,String) -- 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
• coefficients(SOSPoly) -- A type to store sums-of-squares polynomials
• expression(SOSPoly) -- A type to store sums-of-squares polynomials
• generators(SOSPoly) -- A type to store sums-of-squares polynomials
• GramMatrix -- result of a semidefinite programming computation
• length(SOSPoly) -- A type to store sums-of-squares polynomials
• library -- library of interesting nonnegative forms
• library(String,List) -- library of interesting nonnegative forms
• library(String,Ring) -- library of interesting nonnegative forms
• lowerBound -- finds a lower bound for a polynomial
• lowerBound(...,RoundTol=>...) -- tolerance for rational rounding
• lowerBound(...,Solver=>...) -- picking a semidefinite programming solver
• lowerBound(...,Verbosity=>...) -- control the level of information printed
• lowerBound(RingElement) -- finds a lower bound for a polynomial
• lowerBound(RingElement,Matrix,ZZ) -- finds a lower bound for a polynomial
• lowerBound(RingElement,ZZ) -- finds a lower bound for a polynomial
• Matrix == SOSPoly -- A type to store sums-of-squares polynomials
• MomentMatrix -- result of a semidefinite programming computation
• net(SDPResult) -- result of a semidefinite programming computation
• net(SOSPoly) -- A type to store sums-of-squares polynomials
• Number * SOSPoly -- A type to store sums-of-squares polynomials
• recoverSolution -- factor a rank one positive semidefinite matrix
• recoverSolution(Matrix,Matrix) -- factor a rank one positive semidefinite matrix
• recoverSolution(SDPResult) -- factor a rank one positive semidefinite matrix
• ring(SOSPoly) -- A type to store sums-of-squares polynomials
• RingElement == SOSPoly -- A type to store sums-of-squares polynomials
• RoundTol -- tolerance for rational rounding
• SDPResult -- result of a semidefinite programming computation
• solveSOS -- solve a sum-of-squares problem
• solveSOS(...,RoundTol=>...) -- tolerance for rational rounding
• solveSOS(...,Solver=>...) -- picking a semidefinite programming solver
• solveSOS(...,TraceObj=>...) -- whether to use trace as the objective function
• solveSOS(...,Verbosity=>...) -- control the level of information printed
• solveSOS(RingElement) -- solve a sum-of-squares problem
• solveSOS(RingElement,Matrix) -- sum-of-squares problem in a quotient ring
• solveSOS(RingElement,RingElement) -- solve a sum-of-squares problem
• solveSOS(RingElement,RingElement,Matrix) -- sum-of-squares problem in a quotient ring
• solveSOS(RingElement,RingElement,ZZ) -- sum-of-squares problem in a quotient ring
• solveSOS(RingElement,ZZ) -- sum-of-squares problem in a quotient ring
• sosdecTernary -- sum of squares decomposition for ternary forms
• sosdecTernary(...,RoundTol=>...) -- tolerance for rational rounding
• sosdecTernary(...,Solver=>...) -- picking a semidefinite programming solver
• sosdecTernary(...,Verbosity=>...) -- control the level of information printed
• sosdecTernary(RingElement) -- sum of squares decomposition for ternary forms
• sosInIdeal -- sum of squares polynomial in ideal
• sosInIdeal(...,RoundTol=>...) -- tolerance for rational rounding
• sosInIdeal(...,Solver=>...) -- picking a semidefinite programming solver
• sosInIdeal(...,Verbosity=>...) -- control the level of information printed
• sosInIdeal(Matrix,ZZ) -- sum of squares polynomial in ideal
• sosInIdeal(Ring,ZZ) -- sum of squares polynomial in ideal
• SOSPoly -- A type to store sums-of-squares polynomials
• sosPoly -- make an SOS polynomial
• SOSPoly * SOSPoly -- A type to store sums-of-squares polynomials
• SOSPoly + SOSPoly -- A type to store sums-of-squares polynomials
• SOSPoly == Matrix -- A type to store sums-of-squares polynomials
• SOSPoly == RingElement -- A type to store sums-of-squares polynomials
• SOSPoly == SOSPoly -- A type to store sums-of-squares polynomials
• SOSPoly ^ ZZ -- A type to store sums-of-squares polynomials
• sosPoly(List,List) -- make an SOS polynomial
• sosPoly(Matrix,Matrix) -- make an SOS polynomial
• sosPoly(Ring,List,List) -- make an SOS polynomial
• sosPoly(SDPResult) -- make an SOS polynomial
• Status -- result of a semidefinite programming computation
• status(SDPResult) -- result of a semidefinite programming computation
• substitute(SOSPoly,Ring) -- A type to store sums-of-squares polynomials
• SumsOfSquares -- A package for sums-of-squares problems
• TraceObj -- whether to use trace as the objective function
• value(SOSPoly) -- expansion of a weighted SOS decomposition