Symbolic computation on the partition lattice of an n-set. (November 2019)