[Previous] [Next] [Contents]

## `SFA::Pol2SfA` -- from the basis of monomials to SFA

#### Call(s)

`SFA::Pol2SfA(pol,vlist)`

#### Parameters

`pol` | - | a polynomial symmetric in `vlist`
`vlist` | - | a list of variables

#### Introduction

The `SFA::Pol2SfA` function transforms any polynomial symmetric in the list of variables `vlist` into a linear combination of monomial symmetric functions of `SFA`.

`SFA::Pol2SfA` does not check that `pol` is symmetric.

#### Example 1

    >> muEC::SFA::SfAVars( {{x}, u, v} );

                                    {{x}, u, v}

    >> tt := muEC::SFA::SfAExpand( m[3,2](x1+u+v) - q*s[2,2](x1+u+v) );

           2  3    3  2    2   3    3   2    2   3    3   2      2  2
          u  v  + u  v  + u  x1  + u  x1  + v  x1  + v  x1  - q u  v  -

                2   2      2   2           2        2         2
             q u  x1  - q v  x1  - q u v x1  - q u v  x1 - q u  v x1

    >> muEC::SFA::Pol2SfA(tt, [x1,u,v]);

          m[3, 2](u + v + x1) - q m[2, 2](u + v + x1) -

             q m[2, 1, 1](u + v + x1)

#### Related Functions

`SfAExpand`, `SfAVars`

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package