Table 9 Checking conditions (26)r for the fourth inequality from Example 11
From: On algorithms testing positivity of real symmetric polynomials
Restrictions | Input n:= | Input (r,s):= | (26)r holds since |
|---|---|---|---|
\(s\le \frac{r}{7}\) | r + s | (7s + p,s) | G,H ≥ 0 = K |
\(\frac{r}{7}< s<2r\) | r + s | \((r,\frac{r(q+14)}{7(q+1)} )\) | K = 0>Δ |
s ≥ 2r | r + s | (r,2r + q) | G,H ≥ 0 = K |