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

\begin{Mhelppage}{CompCompo}{V. Prosper}%
  \begin{MInfo}
    \eng{compares two compositions}
  \end{MInfo}

  \begin{MCalls}
    \Mcall{\Mmath{comp1}{compo_1}, \Mmath{compo2}{compo_2}, kind}
  \end{MCalls}

  \begin{MParameters}
    \param{\Mmath{compo1}{compo_1}}
    \eng{any list denoting a composition}
    \param{\Mmath{compo2}{compo_2}}
    \eng{any list denoting a composition}
    \param{kind}
    \eng{\Mex{lexic}, \Mex{cixel} or \Mex{finer}}
  \end{MParameters}

  \begin{MIntro}
    \eng{The {\Mthis} function compares two compositions.  The
      ordering is set by the argument \Mex{kind}, and the function
      returns \Mex{TRUE} if \Mmath{compo1 <=
        compo2}{\mathtt{compo_1}\le\mathtt{compo_2}}.
      
      Decomposing parts of the first composition gives the list of
      \Mpar{finer} compositions. }
  \end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::COMP::CompCompo( [2,3,4], [1,1,3,4], finer );
\end{Mexin}
\begin{Mexout}
                             TRUE
\end{Mexout}
 
\begin{Mexin}
muEC::COMP::CompCompo( [1,1,3,4], [2,3,3], lexic );
\end{Mexin}
\begin{Mexout}
                             FALSE
\end{Mexout}
 
\begin{Mexin}
muEC::COMP::CompCompo( [1,1,3,4], [2,3,3], cixel );
\end{Mexin}
\begin{Mexout}
                             TRUE
\end{Mexout}
\end{MExample}

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