TYP::IsSkewDiag
--
tests whether the argument is a skew diagram
TYP::IsSkewDiag(expr)
expr | - | any expression |
The TYP::IsSkewDiag
function tests whether expr
is a skew diagram that is a
a list with two components l1
and l2
, l1
being the exterior
shape, l2
the interior shape.
The corresponding diagram of boxes must be connected, that is
l1
[i] >= l2
[i-1].
Skew diagrams are special cases of skew partitions.
>> muEC::TYP::IsSkewDiag( [[3,1,1], [2,1]] );
FALSE
>> muEC::TYP::IsSkewPart( [[3,1,1], [2,1]] );
TRUE
>> muEC::TYP::IsSkewDiag( [[3,2], [1,1]] );
TRUE
MuPAD Combinat, an open source algebraic combinatorics package