natural: 
if 
for the lexicographic ordering, where 
is the list of partial sums defined by 
.
lexic: 
if for the lexicographic ordering.
cixel: 
if for the inverse lexicographic ordering.
muEC::PART::CompPart – compares two partitions
compares two partitions
Call:
muEC::PART::CompPart(part1, part2, <order>)
Parameters:
|
part1, part2: |
any partitions |
Options:
|
order = natural | lexic | cixel: |
|
Related Functions:
muEC::PART::ListPart, muEC::PART::PartOrderMat
Details:
The muEC::PART::CompPart function compares two partitions for the given ordering.
The considered ordering is given by the second argument kind:
natural: if for the lexicographic ordering, where is the list of partial sums defined by .
lexic: if for the lexicographic ordering.
cixel: if 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 );
muEC::PART::CompPart( [3,2,1], [3,2,1,1], lexic );
muEC::PART::CompPart( [3,2,1], [3,2,1,1] );
