Obtaining the free distributive lattice in Sage

savecancel

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/Distributive_lattice#Free_distributive_lattices

I'm especially interested in the case $n = 4$, where this lattice would have $166$ points.