The call type( expr, 'partition' ) returns true if expr is a partition of a positive integer, and returns false otherwise.

A partition of a positive integer  is a list  of positive integers , whose sum is equal to , and which is non-decreasing, that is, which satisfies  and , for  in .