TYP::IseA
--
tests whether the argument is a product of generators of the
e-basis on a formal alphabet expression
TYP::IseA(expr)
expr | - | any expression |
The 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 A
i's are the only formal variables in
alphabets.
>> muEC::TYP::IseA( e[](A1-A2) );
TRUE
>> muEC::TYP::IseA( e[3,3,1](k/3*A3) );
TRUE
IshA
, IsmA
, IspA
, IssA
, SfA
, Ise
MuPAD Combinat, an open source algebraic combinatorics package