% $Date: 2004/10/04 17:25:12 $ $Author: nthiery $ $Revision: 1.1.1.3 $

\begin{Mhelppage}{ToeA}%
  {V. Prosper}%
  \begin{MInfo}
    \eng{develops any symmetric function on the \Mex{e}-basis}
  \end{MInfo}
  

  \begin{MCalls}
    \Mcall{sfa\Mopt{,alist}}
  \end{MCalls}

  \begin{MParameters}
    \param{sfa}
    \eng{any valid expression of \Mex{SFA}}
    \param{alist}
    \eng{a list of alphabets}
  \end{MParameters}

  \begin{MIntro}
    \eng{The {\Mthis} function analyses \Mex{sfa} and develops any
      symmetric function in \Mex{sfa} on the basis of
      \Mex{e}-polynomials.
 
      One can develop only symmetric functions of which alphabets are
      given in the optional argument.  }
  \end{MIntro}

\begin{MExample}{ex1}
\begin{Mvin}{test=false}
muEC::SFA::ToeA( s[3,1](2*A1) ); // BROKEN EXAMPLE
\end{Mvin}
\begin{Mvout}{test=false}
        e[4](2 A1) - 2 e[3, 1](2 A1) + e[2, 1, 1](2 A1)
\end{Mvout}
\begin{Mvin}{test=false}
muEC::SFA::ToeA( s[3,1](2*A1)*m[2,1](A2^2), [ A2^2, A3 ] ); // BROKEN EXAMPLE
\end{Mvin}
\begin{Mvout}{test=false}
                                   2             2
          s[3, 1](2 A1) (e[2, 1](A2 ) - 3 e[3](A2 ))
\end{Mvout}
\begin{Mexin}
muEC::SFA::ToeA( s[2]( p[4,3](2*A1) ) + q*m[2,1](A2^2),
      [ p[4,3](2*A1) ] );
\end{Mexin}
\begin{Mexout}
                                                            2
 e[1, 1](p[4, 3](2 A1)) - e[2](p[4, 3](2 A1)) + q m[2, 1](A2 )
\end{Mexout}
\end{MExample}

\MRelatedFunctions{TohA,TomA,TopA,TosA,TYP::SfA,SYMF::Toe,SfAExpand}
\end{Mhelppage}
