Satchmo.PolynomialSOS
nonNegative Source #
Arguments
Bit width of coefficients
Maximum degree
Maximum number of polynomials
positive Source #
strictlyMonotone Source #