PART::CompPart --
compares two partitions
Call(s)
PART::CompPart(part1,part2 <,order>)
Parameterspart1, part2 | - | any partitions |
Optionsorder=natural,lexic,cixel | - |
IntroductionThe 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.
Example 1>> 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
Related FunctionsMuPAD Combinat, an open source algebraic combinatorics package