% $Date: 2003/09/15 16:37:45 $ $Author: nthiery $ $Revision: 1.1.1.1 $

\begin{Mhelppage}{Sf2SfA}%
  {V. Prosper}%
  \begin{MInfo}
    \eng{from \Mex{SYMF} objects to \Mex{SFA} objects}
  \end{MInfo}
  

  \begin{MCalls}
    \Mcall{sf\Mopt{,alphab}}
  \end{MCalls}

  \begin{MParameters}
    \param{sf}
    \eng{any valid expression in \Mex{SYMF}}
    \param{alphab}
    \eng{any alphabet} 
  \end{MParameters}

  \begin{MIntro}
    \eng{The {\Mthis} function transforms any symmetric function of
      the \Mup[SYMF,firstpage]{\Mex{SYMF}} package into an object of
      \Mex{SFA} for a specific alphabet (by default \Mex{A1}).
 
      Valid bases for symmetric functions are \Mex{e, h, p, s, m}.
 
      Allowed alphabet expressions are linear combinations of formal
      alphabets \Mex{A1}, \Mex{A2}, \Mex{A3}, ....  For instance
      \Mex{3/2*A1 - A3 + 3/4} is valid.
 
      The inverse function is \Mex{SfA2Sf}.}
  \end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::SFA::Sf2SfA( s[3,1]*p[2] - e[2,1] );
\end{Mexin}
\begin{Mexout}
              p[2](A1) s[3, 1](A1) - e[2, 1](A1)
\end{Mexout}
\begin{Mexin}
muEC::SFA::Sf2SfA( s[3,1]*p[2] - e[2,1], A2 );
\end{Mexin}
\begin{Mexout}
              p[2](A2) s[3, 1](A2) - e[2, 1](A2)
\end{Mexout}
\begin{Mexin}
muEC::SFA::Sf2SfA( s[2,2], 2*A3 );
\end{Mexin}
\begin{Mexout}
                         s[2, 2](2 A3)
\end{Mexout}
\end{MExample}

\MRelatedFunctions{SfA2Sf,TYP::Sf,TYP::SfA}
\end{Mhelppage}
