A symmetric polynomial of n variables {x1, ..., xn} is invariant under any permutation of its variables. The k elementary symmetric polynomial is the sum of all square-free monomials of degree k.
The degree k must satisfy 0≤k≤n.
The elementary symmetric polynomials form a basis for the symmetric polynomials.
Expressing a general symmetric polynomial in terms of elementary symmetric polynomials is accomplished by using SymmetricReduction.