Ask Your Question

Obtaining the free distributive lattice in Sage

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

klaaa gravatar image

updated 2020-08-16 13:53:40 -0500

slelievre 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

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

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted

answered 2020-06-16 09:15:58 -0500

FrédéricC gravatar image

Like this

sage: P = posets.BooleanLattice(4)
sage: P.order_ideals_lattice()
Finite lattice containing 168 elements
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2020-01-12 10:46:24 -0500

Seen: 198 times

Last updated: Aug 16