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.
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
muEC::PART::Part2Conjugate( [3, 3, 2, 2, 1, 1] );
muEC::TYP::IsRegPart( 2, [3, 3, 2, 2, 1, 1] );
muEC::TYP::IsRegPart( 3, [3, 3, 2, 2, 1, 1] );