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