% $Date: 2003/09/15 16:37:46 $ $Author: nthiery $ $Revision: 1.1.1.1 $

\begin{Mhelppage}{SfA}%
  {V. Prosper}%
  \begin{MInfo}
    \eng{how symmetric functions are encoded in \Mex{SFA}}
  \end{MInfo}
  

\begin{MIntro}
  \eng{
This part describes how symmetric functions are represented in \Mex{SFA}.
 
Symmetric function names are compatible with Macdonald's conventions.
 
The bases that are considered in \Mex{SFA} are the same as in
\Mup[SYMF]{SYMF}.
 
All symmetric functions in \Mex{SFA} must have as alphabet a valid formal
alphabet expression.
 
Allowed alphabet expressions are linear combinations of formal alphabets
\Mex{A1}, \Mex{A2}, \Mex{A3}, ..., for instance \Mex{3/2*A1 - A3 + 3/4}
is valid.
 
One can  also introduce  variables in  alphabets through the instruction
\Mex{SfAVars( \{ \{x\}, \{y\}, z1, z2 \} )}.
Here, \Mex{z1}, \Mex{z2}, all \Mex{x}i's and \Mex{y}i's will be
held as variables and  not constants, although \Mex{z3} for instance is a
constant, and so is \Mex{B1}: both of them are interpretated as formal reals.

}
\end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::TYP::IseA( e[3,3,1](2/3*A3) );
\end{Mexin}
\begin{Mexout}
                             TRUE
\end{Mexout}
\end{MExample}

\MRelatedFunctions{IseA,IshA,IsmA,IspA,IssA,IsPart,Sf}
\end{Mhelppage}
