muEC::TYP::IshA

muEC::TYP::IshA – tests whether the argument is a product of generators of the h-basis on a formal alphabet expression

The muEC::TYP::IshA function tests whether expr is a product of generators of the e-basis on a formal alphabet expression, that is a product of complete 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.

→ Examples

Call:

muEC::TYP::IshA(expr)

Parameters:

expr:

any expression

Related Functions:

muEC::TYP::IseA, muEC::TYP::Ish, muEC::TYP::IsmA, muEC::TYP::IspA, muEC::TYP::IssA, muEC::TYP::SfA

Example 1:

muEC::TYP::IshA( h[](A1-A2) );

muEC::TYP::IshA( h[3,3,1](k/3*A3) );