Represent symmetric by elementary symmetric polynomials
This functionality does not run in MATLAB.
polylib::representByElemSym(f, [x1,...,xn]) returns
g in the identifiers x1 through xn such
that replacing each
xi by the
elementary symmetric polynomial gives
l must have as many operands as
The result is
FAIL if the input is not symmetric.
The symmetric polynomial x2 + y2 can be written as (x + y)2 - 2 (x y):
polylib::representByElemSym works over domains
f:=poly(x^2+y^2, Dom::IntegerMod(7)): polylib::representByElemSym(f, [u,v])
List of indeterminates
Result is a polynomial having the same coefficient ring as
It is a well-known theorem that every symmetric polynomial can be written in this way.