Schur-pqr/Muirhead Method

求助高次的舒尔不等式转化成对称和（Muirhead）和 pqr 法的形式分别是什么样的呢
三次：p^3-4pq+9r>=0，sum_cyc{x^3}-sum_sym{x^2y}+3xyz>=0
四次：p^4-5p^2q+4q^2+6pr>=0，sum_cyc{x^4}-sum_sym{x^3y}+sum_cyc{x^2yz}>=0
五次：
六次：
七次：
八次：