muEC::SFA::SfAVars( {{x}, u, v} );
tt := muEC::SFA::SfAExpand( m[3,2](x1+u+v) - q*s[2,2](x1+u+v) );
muEC::SFA::Pol2SfA(tt, [x1,u,v]);
muEC::SFA::Pol2SfA – from the basis of monomials to SFA
transform a symmetric polynomial to an SFA monomial basis
Call:
muEC::SFA::Pol2SfA(pol, vlist)
Parameters:
|
pol: |
a polynomial symmetric in vlist |
|
vlist: |
a list of variables |
Related Functions:
muEC::SFA::SfAExpand, muEC::SFA::SfAVars
Details:
The muEC::SFA::Pol2SfA function transforms any polynomial symmetric in the list of variables vlist into a linear combination of monomial symmetric functions of SFA.
muEC::SFA::Pol2SfA does not check that pol is symmetric.
muEC::SFA::SfAVars( {{x}, u, v} );
tt := muEC::SFA::SfAExpand( m[3,2](x1+u+v) - q*s[2,2](x1+u+v) );
muEC::SFA::Pol2SfA(tt, [x1,u,v]);