Skip to main content

Table 8 Checking conditions (26)r for the second 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}{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