SymmetricPolys(P: RING): LIST of RINGELEM
/**/ use P ::= QQ[x,y,z]; /**/ SymmetricPolys(P); [x +y +z, x*y +x*z +y*z, x*y*z]