# SymmetricReduction

SymmetricReduction[f,{x1,,xn}]

gives a pair of polynomials in such that , where is the symmetric part and is the remainder.

SymmetricReduction[f,{x1,,xn},{s1,,sn}]

gives the pair with the elementary symmetric polynomials in replaced by .

# Details • If is a symmetric polynomial, then is the unique polynomial in elementary symmetric polynomials equal to , and is zero.
• If is not a symmetric polynomial, then the output is not unique, but depends on the ordering of its variables.
• For a given ordering, a nonsymmetric polynomial can be expressed uniquely as a sum of its symmetric part and a remainder that does not contain descending monomials. A monomial is called descending if .
• Changing the ordering of the variables may produce different pairs .
• SymmetricReduction does not check to see that is a polynomial, and will attempt to symmetrize the polynomial part of .

# Examples

open all close all

## Basic Examples(3)

Write a symmetric polynomial as a sum of elementary symmetric polynomials:

 In:= Out= Write a nonsymmetric polynomial as a symmetric part and a remainder:

 In:= Out= Name the first two elementary symmetric polynomials s1 and s2:

 In:= Out= ## Properties & Relations(2)

Introduced in 2007
(6.0)