TYP::IsDiagonal
--
tests whether the argument is a diagonal encoding of a
partition
TYP::IsDiagonal(expr)
expr | - | any expression |
The 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.
>> muEC::TYP::IsDiagonal( [[1, 2, 2, 1, 1, 1], 3] );
TRUE
MuPAD Combinat, an open source algebraic combinatorics package