1 | initial version |

To compute the elem. sym pol. on some (calculated) roots `y1,...,y6`

, one forms the the polynomial `P=(T-y1)*...*(T-y6)`

and then apply:

`[e(SymmetricFunctions(my.base_ring().from_polynomial(P.coefficients()[i])) for i in range(0,P.degree()+1)]`

with`e=SymmetricFunctions().elementary()`

then these coefficients appear in the form of a sum of elementary functions `e[4,2,1..]=e[4]*e[2]*e[1]...`

Then I identify "by hand" the `e[i]`

's

2 | No.2 Revision |

To compute the elem. sym pol. on some (calculated) roots `y1,...,y6`

, I create the ring `R=PolynomialRing(ZZ,6,'y')`

and `RR.<T>=R[]`

. I can assign some calculated values to these `yi`

's. Then one forms the the polynomial `P=(T-y1)*...*(T-y6)`

and ~~then apply:~~then:

~~[e(SymmetricFunctions(my.base_ring().from_polynomial(P.coefficients()[i])) ~~[e(SymmetricFunctions(RR.base_ring().from_polynomial(P.coefficients()[i])) for i in range(0,P.degree()+1)]

with`e=SymmetricFunctions().elementary()`

then these coefficients appear in the form of a sum of elementary functions `e[4,2,1..]=e[4]*e[2]*e[1]...`

Then I identify "by hand" the `e[i]`

's

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.