PART::CompPart
--
compares two partitions
PART::CompPart(part1,part2 <,order>)
part1, part2 | - | any partitions |
order=natural,lexic,cixel | - |
The PART::CompPart
function compares two partitions for the given
ordering.
The considered ordering is given by the second argument kind:
natural
:
part1
>= part2
if
sum_part1
<=sum_part2
for the lexicographic ordering
(sum_I=[I[1], I[1]+I[2], I[1]+I[2]+I[3], ...]).
lexic
:
part1
>= part2
for the lexicographic ordering.
cixel
:
part1
>= part2
for the inverse lexicographic ordering.
Without a third argument, the comparison is assumed to be natural
.
>> muEC::PART::CompPart( [3,2,1], [3,2,1,1], cixel );
TRUE
>> muEC::PART::CompPart( [3,2,1], [3,2,1,1], lexic );
FALSE
>> muEC::PART::CompPart( [3,2,1], [3,2,1,1] );
TRUE
MuPAD Combinat, an open source algebraic combinatorics package