Obtaining the free distributive lattice in sage

asked 2020-01-12 10:46:24 -0600

klaaa gravatar image

Is there a way to obtain the free distributive lattice on $n$ generators with sage( empty joins and empty meets are disallowed would be preferable, but the other case is also fine)? See https://en.wikipedia.org/wiki/Distrib... . Im especially interested in the case n=4, where this lattice would have 166 points.

edit retag flag offensive close merge delete