elementarySymmetric(PolynomialRing) -- elementary symmetric polynomials algebra

• Function: elementarySymmetric

• Usage:

  elementarySymmetric R

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

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