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

\begin{Mhelppage}{PCore2Part}%
      {V. Prosper}%
      \begin{MInfo}
        \eng{a partition from its \Mex{p}-core and \Mex{p}-quotient}
      \end{MInfo}
      
      

\begin{MCalls}
  \Mcall{pcore}
\end{MCalls}

\begin{MParameters}
  \param{pcore}
  \eng{a list of lists} 
\end{MParameters}

\begin{MIntro}
  \eng{
The function {\Mthis} is the inverse function of \Mex{Part2PCore}.

\Mex{pcore} is  a list
\Mmath{[c, v0, v1, ..., v\{\Mex{p}-1\}]}{[c, v_0, v_1, ..., v_{\mathtt{p}-1}]}:
\Mmath{c}{c}  is the \Mex{p}-core  (obtained by removing all  possible outside
ribbons of length \Mex{p} from the diagram of \Mex{part});
\Mmath{v0, v1, ..., v\{p-1\}}{v_0, v_1, ..., v_{\mathtt{p}-1}} are the
partitions obtained by sorting
\Mex{part}[1], \Mex{part}[2]-1, \Mex{part}[3]-2, ... according to their
residue modulo \Mex{p}.
}
\end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::PART::Part2PCore( [5,5,5,4,3,3,2,1,1,1], 3 );
\end{Mexin}
\begin{Mexout}
            [[2, 2, 1, 1], [1, 1, 1], [1], [3, 1]]
\end{Mexout}
\begin{Mexin}
muEC::PART::PCore2Part( % );
\end{Mexin}
\begin{Mexout}
                [5, 5, 5, 4, 3, 3, 2, 1, 1, 1]
\end{Mexout}
\end{MExample}

\MRelatedFunctions{Part2PCore}
\end{Mhelppage}
