Symbolic computation on the partition lattice of an n-set. - Yongbin Li; Qiuju Fu; Renbin Deng (J. Symb. Comput., 2019)