[Previous] [Next] [Contents]

## `TYP::IsRegPart` -- tests whether the argument is a `n`-regular partition

#### Call(s)

`TYP::IsRegPart(n)`
`TYP::IsRegPart(part)`

#### Parameters

`n` | - | a positive integer
`expr` | - | a partition

#### Introduction

The `TYP::IsRegPart` function tests whether `expr` is a `n`-regular partition, that is a partition such that it has no part repeated more than `n`-1 times, or equivalently, if the difference between any two consecutive parts of the conjugate partition are strictly less than `n`.

#### Example 1

    >> muEC::PART::Part2Conjugate( [3, 3, 2, 2, 1, 1] );

                                     [6, 4, 2]

    >> muEC::TYP::IsRegPart( 2, [3, 3, 2, 2, 1, 1] );

                                       FALSE

    >> muEC::TYP::IsRegPart( 3, [3, 3, 2, 2, 1, 1] );

                                       TRUE

#### Related Functions

`PART::Part2Conjugate`, `PART::ListPart`, `IsPart`

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package