[Previous] [Next] [Contents]

## `SFA::TopA` -- develops any symmetric function on the `p`-basis

#### Call(s)

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

#### Parameters

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

#### Introduction

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

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

#### Example 1

    >> muEC::SFA::TopA( s[3](2*A1) );

                   p[3](2 A1)   p[2, 1](2 A1)   p[1, 1, 1](2 A1)
                   ---------- + ------------- + ----------------
                        3             2                 6

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

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

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

           p[2](p[4, 3](2 A1))   p[1, 1](p[4, 3](2 A1))               2
           ------------------- + ---------------------- + q m[2, 1](A2 )
                    2                       2

#### Related Functions

`ToeA`, `TohA`, `TomA`, `TosA`, `TYP::SfA`, `SYMF::Top`, `SfAExpand`

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package