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

\begin{Mhelppage}{IsPart}%
  {V. Prosper}%
  \begin{MInfo}
    \eng{tests whether the argument is a partition}
  \end{MInfo}
  

\begin{MCalls}
\Mcall{expr}
\end{MCalls}

\begin{MParameters}
  \param{expr}
  \eng{any expression}
\end{MParameters}

\begin{MIntro}
  \eng{
The {\Mthis} function tests whether \Mex{expr} is a partition that is a
list of positive integers in non-increasing order.
}
\end{MIntro}

\begin{MExample}{ex1}
\begin{Mexin}
muEC::TYP::IsPart( [1,2] );
\end{Mexin}
\begin{Mexout}
                             FALSE
\end{Mexout}
\begin{Mexin}
muEC::TYP::IsPart( [3,2,2,1] );
\end{Mexin}
\begin{Mexout}
                             TRUE
\end{Mexout}
\end{MExample}

\MRelatedFunctions{IsSkewDiag,IsSkewPart}
\end{Mhelppage}
