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

\begin{Mhelppage}{SfA2TableVar}{V. Prosper}%
  \begin{MInfo}
    \eng{symmetric functions appearing in an expression}
  \end{MInfo}

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

  \begin{MParameters}
    \param{sfa}
    \eng{any valid expression in \Mex{SFA}}
    \param{b}
    \eng{a basis belonging to \Mex{SFA::SFABases}}
  \end{MParameters}

  \begin{MIntro}
    \eng{The {\Mthis} function extracts symmetric functions appearing
      in \Mex{sfa}, and returns a table indexed by each basis
      \Mpar{b}, each entry being itself a table indexed by each
      alphabet belonging to a \Mpar{b}-function.  The final entry is
      the set of indexing vectors of the \Mpar{b}-function.
 
      When a base is specified as second argument, {\Mthis} only
      returns the second table corresponding to the \Mex{b}-functions
      appearing in \Mex{sfa}. }
  \end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::SFA::SfA2TableVar( q*s[3,2](A1)^2*m[3,1](p[2](A1))
            - s[2](A1)*h[3,2](k) );
\end{Mexin}
\begin{Mexout}
                 table(
                       table(
                   s =   A1 = {[2], [3, 2]} ,
                       )
                       table(
                   m =   p[2](A1) = {[3, 1]} ,
                       )
                   p = table(),
                       table(
                   h =   k = {[3, 2]} ,
                       )
                   e = table()
                 )
\end{Mexout}
% \begin{Mexout}[hide]
% table(s=table(A1={[2], [3, 2]}),e=table(),h=table(k={[3, 2]}),
% m=table(p[2](A1)={[3, 1]}),p=table())
% \end{Mexout}
\begin{Mexin}
last(1)[s][A1];
\end{Mexin}
\begin{Mexout}
                         {[2], [3, 2]}
\end{Mexout}
\begin{Mexin}
muEC::SFA::SfA2TableVar( q*s[3,2](A1)^2*m[3,1](p[2](A1))
            - s[2](A1)*h[3,2](k), s );
\end{Mexin}
\begin{Mexout}
                     table(
                       A1 = {[2], [3, 2]}
                     )
\end{Mexout}
\end{MExample}

\MRelatedFunctions{SYMF::Sf2TableVar}
\end{Mhelppage}
