A MECHANICAL ALGORITHM OF EQUIVALENT CLASSIFICATION FOR FREE DISTRIBUTIVE LATTICES
Liu C, HU Shi-jie · Chinese Journal of Computers · 1985
In this paper a mechanical algorithm of equivalent classification for free distributive lattices is given and a formula for the number of equivalent classes for the free distributive lattice Dn is obtained. By using this formula, we have obtained the number of equivalent classes of de,which is 16353.