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