[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