muEC::TYP::IseA( e[3,3,1](2/3*A3) );
muEC::TYP::SfA – how symmetric functions are encoded in SFA
This part describes how symmetric functions are represented in SFA.
Call:
Related Functions:
muEC::TYP::IseA, muEC::TYP::IshA, muEC::TYP::IsmA, muEC::TYP::IspA, muEC::TYP::IsPart, muEC::TYP::IssA, muEC::TYP::Sf
Details:
Symmetric function names are compatible with Macdonald's conventions.
The bases that are considered in SFA are the same as in muEC::SYMF.
All symmetric functions in SFA must have as alphabet a valid formal alphabet expression.
Allowed alphabet expressions are linear combinations of formal alphabets A1, A2, A3, ..., for instance 3/2*A1 - A3 + 3/4 is valid.
One can also introduce variables in alphabets through the instruction SfAVars( {{x}, {y}, z1, z2 }). Here, z1, z2, all xi's and yi's will be held as variables and not constants, although z3 for instance is a constant, and so is B1: both of them are interpretated as formal reals.
muEC::TYP::IseA( e[3,3,1](2/3*A3) );