SumsOfSquares : Index
- checkSolver -- tests a semidefinite programming solver
- 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