As an example the power sum symmetric polynomials of a ring with three variables are calculated. These polynomials form a basis for the ring of symmetric polynomials.
i1 : R = QQ[x_1..x_3] o1 = R o1 : PolynomialRing |
i2 : powerSumSymmetricPolynomials R
2 2 2 3 3 3
o2 = {x + x + x , x + x + x , x + x + x }
1 2 3 1 2 3 1 2 3
o2 : List
|