Defining polynomials pix,u, for i = 1,2 as SOS variables, and wx,u = a1b2+a2b1 > 0, condition 14 is implemented as SOS inequality in the SOSTOOLS algorithm.
Definiendo además los polinomios respectivos pix,u como variables polinómicas SOS y wx,u = a1b2+a2b1 > 0, se adecúa la condición 14 a una desigualdad SOS para implementar el algoritmo en SOSTOOLS.