SOS : Index
- checkSolver -- tests an SDP solver
- checkSolver(String) -- tests an SDP solver
- checkSolver(String,Function) -- tests an SDP solver
- checkSolver(String,String) -- tests an SDP solver
- chooseMons -- create list of monomials based on the Newton polytope
- clean(RR,SOSPoly) -- Remove terms with very small coefficients from a sum-of-squares.
- coefficients field -- the role of the coefficients field
- coefficients(SOSPoly) -- A type to store SOS decompositions of polynomials
- createSOSModel -- space of Gram matrices of a polynomial (for developers)
- createSOSModel(RingElement,Matrix) -- space of Gram matrices of a polynomial (for developers)
- generators(SOSPoly) -- A type to store SOS decompositions of polynomials
- GramMatrix -- result of an SDP computation
- length(SOSPoly) -- A type to store SOS decompositions of 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(..., Verbose => ...) -- non-essential but informative output
- 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 SOS decompositions of polynomials
- MomentMatrix -- result of an SDP computation
- net(SDPResult) -- result of an SDP computation
- net(SOSPoly) -- A type to store SOS decompositions of polynomials
- Number * SOSPoly -- A type to store SOS decompositions of polynomials
- recoverSolution -- Factor a rank one PSD matrix
- recoverSolution(Matrix,Matrix) -- Factor a rank one PSD matrix
- recoverSolution(SDPResult) -- Factor a rank one PSD matrix
- ring(SOSPoly) -- A type to store SOS decompositions of polynomials
- RingElement == SOSPoly -- A type to store SOS decompositions of polynomials
- RoundTol -- tolerance for rational rounding
- SDPResult -- result of an SDP 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(..., Verbose => ...) -- non-essential but informative output
- 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
- SOS -- A package for sums-of-squares problems
- sosdecTernary -- Sum of squares decomposition for ternary forms.
- sosdecTernary(..., RoundTol => ...) -- tolerance for rational rounding
- sosdecTernary(..., Solver => ...) -- picking a semidefinite programming solver
- sosdecTernary(..., Verbose => ...) -- non-essential but informative output
- 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(..., Verbose => ...) -- non-essential but informative output
- sosInIdeal(Matrix,ZZ) -- Sum of squares polynomial in ideal
- sosInIdeal(Ring,ZZ) -- Sum of squares polynomial in ideal
- SOSPoly -- A type to store SOS decompositions of polynomials
- sosPoly -- make an SOS polynomial
- SOSPoly * SOSPoly -- A type to store SOS decompositions of polynomials
- SOSPoly + SOSPoly -- A type to store SOS decompositions of polynomials
- SOSPoly == Matrix -- A type to store SOS decompositions of polynomials
- SOSPoly == RingElement -- A type to store SOS decompositions of polynomials
- SOSPoly == SOSPoly -- A type to store SOS decompositions of polynomials
- SOSPoly ^ ZZ -- A type to store SOS decompositions of 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
- substitute(SOSPoly,Ring) -- A type to store SOS decompositions of polynomials
- sumSOS -- expansion of a weighted SOS decomposition
- sumSOS(List,List) -- expansion of a weighted SOS decomposition
- sumSOS(SOSPoly) -- expansion of a weighted SOS decomposition
- TraceObj -- whether to use trace as the objective function