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

\begin{Mhelppage}{IsDiagonal}%
  {V. Prosper}%
  \begin{MInfo}
    \eng{tests whether the argument is a diagonal encoding of 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} denotes a coding of  all
diagonals of a partition.
The argument \Mex{expr} must be a list of two components \Mex{[dl, o]} where
\Mex{dl} is a list of diagonals and \Mex{o} the integer denoting the position
of the main diagonal of the diagram of the partition.
}
\end{MIntro}

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

\MRelatedFunctions{IsPart,IsBorder}
\end{Mhelppage}
