TYP::IseA --
tests whether the argument is a product of generators of the
e-basis on a formal alphabet expression
Call(s)
TYP::IseA(expr)
Parametersexpr | - | any expression |
IntroductionThe TYP::IseA function tests whether expr is a product
of generators of the e-basis on a formal alphabet expression,
that is a product of elementary symmetric functions 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::IseA( e[](A1-A2) );
TRUE
>> muEC::TYP::IseA( e[3,3,1](k/3*A3) );
TRUE
Related FunctionsIshA, IsmA, IspA, IssA, SfA, Ise
MuPAD Combinat, an open source algebraic combinatorics package