SFA::SfA2TableVar --
symmetric functions appearing in an expression
Call(s)
SFA::SfA2TableVar(sfa <,b>)
Parameterssfa | - | any valid expression in SFA |
b | - | a basis belonging to SFA::SFABases |
IntroductionThe 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 FunctionsMuPAD Combinat, an open source algebraic combinatorics package