[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