From: On algorithms testing positivity of real symmetric polynomials
Restrictions
Input n:=
Input (r,s):=
(26)r holds since
r ≥ 2
r + s
(p + 2,q + 1)
G,H ≥ 0 = K
r = 1
(1,s)
G = H = K = 0