muEC::TYP::IsRegPart – tests whether the argument is a n-regular partition

The muEC::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.

→ Examples

Call:

muEC::TYP::IsRegPart(n, part)

Parameters:

n

a positive integer

expr

a partition

Related Functions:

muEC::PART::ListPart, muEC::PART::Part2Conjugate, muEC::TYP::IsPart

Example 1:

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

math

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

math

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

math