TYP::IsPart
--
tests whether the argument is a partition
TYP::IsPart(expr)
expr | - | any expression |
The TYP::IsPart
function tests whether expr
is a partition that is a
list of positive integers in non-increasing order.
>> muEC::TYP::IsPart( [1,2] );
FALSE
>> muEC::TYP::IsPart( [3,2,2,1] );
TRUE
MuPAD Combinat, an open source algebraic combinatorics package