% $Date: 2003/10/28 21:59:21 $ $Author: nthiery $ $Revision: 1.1.1.2 $

\begin{Mhelppage}{TopA}{V. Prosper}

  \begin{MInfo}
    \eng{develops any symmetric function on the \Mex{p}-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{p}-polynomials.
 
      One can develop only symmetric functions of which alphabets are
      given in the optional argument.  }
  \end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::SFA::TopA( s[3](2*A1) );
\end{Mexin}
\begin{Mexout}
         p[3](2 A1)   p[2, 1](2 A1)   p[1, 1, 1](2 A1)
         ---------- + ------------- + ----------------
              3             2                 6
\end{Mexout}
% \begin{Mexout}[hide]
  % p[3](A1*2)*1/3 + p[2, 1](A1*2)*1/2 + p[1, 1, 1](A1*2)*1/6
% \end{Mexout}
\begin{Mexin}
muEC::SFA::TopA( s[3,1](2*A1)*m[2,1](A2^2), [ A2^2, A3 ] );
\end{Mexin}
\begin{Mexout}
                                  2              2
          - s[3, 1](2 A1) (p[3](A2 ) - p[2, 1](A2 ))
\end{Mexout}

\begin{Mexin}
muEC::SFA::TopA( s[2]( p[4,3](2*A1) ) + q*m[2,1](A2^2),
      [ p[4,3](2*A1) ] );
\end{Mexin}
\begin{Mexout}
 p[2](p[4, 3](2 A1))   p[1, 1](p[4, 3](2 A1))               2
 ------------------- + ---------------------- + q m[2, 1](A2 )
          2                       2
\end{Mexout}
\end{MExample}

\MRelatedFunctions{ToeA,TohA,TomA,TosA,TYP::SfA,SYMF::Top,SfAExpand}
\end{Mhelppage}
