[Previous] [Next] [Contents]

COMP::CompCompo -- compares two compositions

Call(s)


COMP::CompCompo(comp1, compo2, kind)

Parameters

compo1- any list denoting a composition
compo2- any list denoting a composition
kind- lexic, cixel or finer

Introduction

The COMP::CompCompo function compares two compositions. The ordering is set by the argument kind, and the function returns TRUE if compo1 <= compo2.

Decomposing parts of the first composition gives the list of finer compositions.

Example 1

>> muEC::COMP::CompCompo( [2,3,4], [1,1,3,4], finer );
                                   TRUE

>> muEC::COMP::CompCompo( [1,1,3,4], [2,3,3], lexic );
                                   FALSE

>> muEC::COMP::CompCompo( [1,1,3,4], [2,3,3], cixel );
                                   TRUE

Related Functions

ListCompo, ListCompoFatter, ListCompoFiner, TYP::IsCompo

[Previous] [Next] [Contents]


MuPAD Combinat, an open source algebraic combinatorics package