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

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

\MRelatedFunctions{ToeA,TohA,TomA,TopA,TYP::SfA,SYMF::Tos,SfAExpand}
\end{Mhelppage}
