The muEC::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.
Call:
muEC::TYP::IsmA(expr)
Parameters:
expr: |
any expression |
Related Functions:
muEC::TYP::IseA, muEC::TYP::IshA, muEC::TYP::Ism, muEC::TYP::IspA, muEC::TYP::IssA, muEC::TYP::SfA
muEC::TYP::IsmA( m[](A1-A2) );
muEC::TYP::IsmA( m[3,3,1](k/3*A3) );