SFA::SfA2TableVar
--
symmetric functions appearing in an expression
SFA::SfA2TableVar(sfa <,b>)
sfa | - | any valid expression in SFA |
b | - | a basis belonging to SFA::SFABases |
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
.
>> 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]} )
MuPAD Combinat, an open source algebraic combinatorics package