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

\begin{Mhelppage}{ListCompoFiner}{V. Prosper}%
  \begin{MInfo}
    \eng{all compositions finer than a given one}
  \end{MInfo}
  

\begin{MCalls}
\Mcall{compo}
\end{MCalls}

\begin{MParameters}
  \param{compo}
  \eng{any list denoting a composition}
\end{MParameters}

\begin{MIntro}
  \eng{
The {\Mthis} function generates all compositions finer than a given
composition \Mex{compo} (obtained by decomposing  parts of \Mex{compo}).
The result is a list of compositions.
}
\end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::COMP::ListCompoFiner([2,1,3]);
\end{Mexin}
\begin{Mexout}
[[2, 1, 3], [1, 1, 1, 3], [2, 1, 2, 1], [1, 1, 1, 2, 1],

   [2, 1, 1, 2], [1, 1, 1, 1, 2], [2, 1, 1, 1, 1],

   [1, 1, 1, 1, 1, 1]]
\end{Mexout}
\end{MExample}

\MRelatedFunctions{ListCompo,ListCompoFatter,TYP::IsCompo}
\end{Mhelppage}
