From: On algorithms testing positivity of real symmetric polynomials
Restrictions | Input n:= | Input (r,s):= | (26)r holds since |
---|---|---|---|
\(s\le \frac{r}{2}\) | r + s | (2s + p,s) | G,H ≥ 0 = K |
\(\frac{r}{2}< s<10r\) | r + s | \((r,\frac{r(q+20)}{2(q+1)} )\) | K = 0>Δ |
s ≥ 10r | r + s | (r,10r + q) | G,H ≥ 0 = K |