Ask Your Question

Compute elementary Symmetrical functions on roots of a polynomial

asked 2017-04-13 16:57:55 +0200

nd gravatar image

updated 2017-04-13 19:27:52 +0200

How to compute the elementary symmetric functions e[1,1,..]'s of given variables a,b,c,..., typically computing "elements" on roots of a polynomial? This seems such a basic question, but I can't find anywhere.

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted

answered 2017-04-13 20:20:48 +0200

dan_fulea gravatar image

Use the method expand with a specific alphabet. (If the default alphabet is not wanted.) For instance:

e = SymmetricFunctions( QQ ).e()
alphabet = 'a,b,c,d'

print "The elementary symmetric functions in the alphabet %s are:" % alphabet
for k in [0,1,2,3,4]:
    print e( [k] ).expand( 4, alphabet=alphabet )

print "\ne(3,2,2,1) is:\n%s" % e( [3,2,2,1] ).expand( 4, alphabet=alphabet ).factor()

And we get:

The elementary symmetric functions in the alphabet a,b,c,d are:
a + b + c + d
a*b + a*c + b*c + a*d + b*d + c*d
a*b*c + a*b*d + a*c*d + b*c*d

e(3,2,2,1) is:
(a + b + c + d) * (a*b + a*c + b*c + a*d + b*d + c*d)^2 * (a*b*c + a*b*d + a*c*d + b*c*d)
edit flag offensive delete link more


Yes but this is not only symbolic computation as I have some calculated values for a,b,c.., say a=u1*u2 and b=u3*u4 and c=u5*u6. Then how to assign them to the e's? (and the ui's can be complicated !

e[2].expand(3) = ab+ac+bc=(u1*u2)*(u3*u4)+(u1*u2)*(u5*u6)+(u3*u4)*(u5*u6)

nd gravatar imagend ( 2017-04-13 20:56:00 +0200 )edit

answered 2017-04-14 16:15:59 +0200

nd gravatar image

updated 2017-04-14 20:07:09 +0200

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:

[e(SymmetricFunctions(RR.base_ring().from_polynomial(P.coefficients()[i])) for i in range(0,]


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

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-04-13 16:57:55 +0200

Seen: 305 times

Last updated: Apr 14 '17