[Previous] [Next] [Contents]

## `SFA::SfA2TableVar` -- symmetric functions appearing in an expression

#### Call(s)

`SFA::SfA2TableVar(sfa <,b>)`

#### Parameters

`sfa` | - | any valid expression in `SFA`
`b` | - | a basis belonging to `SFA::SFABases`

#### Introduction

The `SFA::SfA2TableVar` function extracts symmetric functions appearing in `sfa`, and returns a table indexed by each basis `b`, each entry being itself a table indexed by each alphabet belonging to a `b`-function. The final entry is the set of indexing vectors of the `b`-function.

When a base is specified as second argument, `SFA::SfA2TableVar` only returns the second table corresponding to the `b`-functions appearing in `sfa`.

#### Example 1

    >> muEC::SFA::SfA2TableVar( q*s[3,2](A1)^2*m[3,1](p[2](A1))
                   - s[2](A1)*h[3,2](k) );

                           table(
                                 table(
                             s =   A1 = {[2], [3, 2]} ,
                                 )
                                 table(
                             m =   p[2](A1) = {[3, 1]} ,
                                 )
                             p = table(),
                                 table(
                             h =   k = {[3, 2]} ,
                                 )
                             e = table()
                           )

    >> last(1)[s][A1];

                                   {[2], [3, 2]}

    >> muEC::SFA::SfA2TableVar( q*s[3,2](A1)^2*m[3,1](p[2](A1))
                   - s[2](A1)*h[3,2](k), s );

                               table(
                                 A1 = {[2], [3, 2]}
                               )

#### Related Functions

`SYMF::Sf2TableVar`

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package