Table 7 Checking conditions (26)r for the first 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}{3}\) | r + s | (3s + p,s) | G,H ≥ 0 = K |
\(\frac{r}{3}< s<5r\) | r + s | \((r,\frac{r(q+15)}{3(q+1)} )\) | K = 0>Δ |
s ≥ 5r | r + s | (r,5r + q) | G,H ≥ 0 = K |