FUNCTION: IsPart - test whether the argument is a partition

CALLING SEQUENCE:

IsPart(expr)

TYP[IsPart](expr)

PARAMETERS:

expr = any expression

SYNOPSIS:

• The IsPart function tests whether expr is a partition that is a list of positive integers in non-increasing order.

• Whenever there is a conflict between the function name IsPart and another name used in the same session, use the long form TYP['IsPart'].

EXAMPLES:

> with(TYP):
> IsPart([1,2]);
 
                                     false
 
> IsPart([3,2,2,1]);
 
                                      true