The functions encodepart and decodepart provide a canonical labeling of all the partitions of n.

Given a partition l of n, encodepart(l) computes and returns the integer m between  and numbpart(n) uniquely representing this partition.

Given a positive integer n and a positive integer m between  and numbpart(n) the function decodepart(m, n) computes and returns the unique partition l represented by this positive integer.

The command with(combinat,encodepart) allows the use of the abbreviated form of this command.