muEC::TYP::IsDiagonal – tests whether the argument is a diagonal encoding of a partition

The muEC::TYP::IsDiagonal function tests whether expr denotes a coding of all diagonals of a partition. The argument expr must be a list of two components [dl, o] where dl is a list of diagonals and o the integer denoting the position of the main diagonal of the diagram of the partition.

→ Examples

Call:

muEC::TYP::IsDiagonal(expr)

Parameters:

expr

any expression

Related Functions:

muEC::TYP::IsBorder, muEC::TYP::IsPart

Example 1:

muEC::TYP::IsDiagonal( [[1, 2, 2, 1, 1, 1], 3] );

math