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

\begin{Mhelppage}{TomA}{V. Prosper}
  
  \begin{MInfo}
    \eng{develops any symmetric function on the \Mex{m}-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{m}-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::TomA( s[3,1](2*A1) ); // BROKEN EXAMPLE
\end{Mvin}
\begin{Mvout}{test=false}
            2 m[3, 1](2 A1) + 2 m[2, 1, 1](2 A1) +
            3 m[1, 1, 1, 1](2 A1)
\end{Mvout}
% \begin{Mexout}[hide]
% m[3, 1](A1*2)*2 + m[2, 1, 1](A1*2)*2 + m[1, 1, 1, 1](A1*2)*3
% \end{Mexout}
\begin{Mexin}
muEC::SFA::TomA( s[3,1](2*A1)*m[2](A2^2)^2, [ A2^2, A3 ] );
\end{Mexin}
\begin{Mexout}
                                2                2
          s[3, 1](2 A1) (m[4](A2 ) + 2 m[2, 2](A2 ))
\end{Mexout}
% \begin{Mexout}[hide]
        % s[3, 1](A1*2)*(m[4](A2^2) + m[2, 2](A2^2)*2)
% \end{Mexout}
\begin{Mexin}
muEC::SFA::TomA( s[2]( p[4,3](2*A1) ) + q*m[2,1](A2^2),
      [ p[4,3](2*A1) ] );
\end{Mexin}
\begin{Mexout}
                                                            2
 m[2](p[4, 3](2 A1)) + m[1, 1](p[4, 3](2 A1)) + q m[2, 1](A2 )
\end{Mexout}
% \begin{Mexout}[hide]
% q*m[2, 1](A2^2) + m[2](p[4, 3](A1*2)) + m[1, 1](p[4, 3](A1*2))
% \end{Mexout}
\end{MExample}

\MRelatedFunctions{ToeA,TohA,TopA,TosA,TYP::SfA,SYMF::Tom,SfAExpand}
\end{Mhelppage}
