[Previous] [Contents]

## `SFA::TosA` -- develops any symmetric function on the `s`-basis

#### Call(s)

`SFA::TosA(sfa <,alist>)`

#### Parameters

`sfa` | - | any valid expression of `SFA`
`alist` | - | a list of alphabets

#### Introduction

The `SFA::TosA` function analyses `sfa` and develops any symmetric function in `sfa` on the basis of `s`-polynomials.

One can develop only symmetric functions of which alphabets are given in the optional argument.

#### Example 1

    >> muEC::SFA::TosA( h[4,3](2*A1) );

                           s[7](2 A1) + 3 s[5, 2](2 A1)

    >> muEC::SFA::TosA( s[3,1](2*A1)*m[2,1](A2^2), [ A2^2, A3 ] );

                                          2                   2
                 s[3, 1](2 A1) (s[2, 1](A2 ) - 2 s[1, 1, 1](A2 ))

    >> muEC::SFA::TosA( s[4]( p[4,3](2*A1) )^2 + q*p[2](A2),
             [ p[4,3](2*A1) ] );

                        q p[2](A2) + s[8](p[4, 3](2 A1)) +
                        4 s[5, 3](p[4, 3](2 A1))

#### Related Functions

`ToeA`, `TohA`, `TomA`, `TopA`, `TYP::SfA`, `SYMF::Tos`, `SfAExpand`

[Previous] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package