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