NextSubset[l, s] constructs the subset of l following subset s in canonical order.
NextTableau[t] gives the tableau of shape t, following t in lexicographic order.
PermutationType[p] returns the type of permutation p.
RandomComposition[n, k] constructs a random composition of integer n into k parts.
RandomPartition[n] constructs a random partition of integer n.
RandomPermutation[n] generates a random permutation of the first n natural numbers.
RandomTableau[p] constructs a random Young tableau of shape p.
RankPermutation[p] gives the rank of permutation p in lexicographic order.
ReflexiveQ[g] yields True if the adjacency matrix of g represents a reflexive binary relation.
RevealCycles[p] unveils the canonical hidden cycle structure of permutation p.