elementarySymmetric(PolynomialRing) -- elementary symmetric polynomials algebra

Synopsis

• Function: elementarySymmetric

• Usage:

  elementalSymm R

• Inputs:
  • R, a polynomial ring, aPolynomialRing
• Outputs:
  • a map from R adjoin the elementary symmetric functions e_i to R

Description

i1 : n=5;

i2 : R=QQ[x_1..x_n];

i3 : elementarySymmetric R

o3 = map (QQ[x ..x , e ..e ], R, {x , x , x , x , x })
              1   5   1   5        1   2   3   4   5

o3 : RingMap QQ[x ..x , e ..e ] <--- R
                 1   5   1   5

This function should work up to a size of 15 variables in the base ring

This function is part of the package SymmetricPolynomials.