TYP::IsmA --
tests whether the argument is a generator of the m-basis on a
formal alphabet expression
Call(s)
TYP::IsmA(expr)
Parametersexpr | - | any expression |
Introduction
The TYP::IsmA function tests whether expr is a generator of
the m-basis on a formal alphabet expression, that is a monomial
symmetric function on a given alphabet.
The indexing vector must be a partition.
The alphabet can be for instance a polynomial in A1, A2, ....
Note that the Ai's are the only formal variables in alphabets.
Example 1>> muEC::TYP::IsmA( m[](A1-A2) );
TRUE
>> muEC::TYP::IsmA( m[3,3,1](k/3*A3) );
TRUE
Related FunctionsIseA, IshA, IspA, IssA, SfA, Ism
MuPAD Combinat, an open source algebraic combinatorics package