Ask Your Question
1

Obtaining the free distributive lattice in Sage

asked 2020-01-12 17:46:24 +0200

klaaa gravatar image

updated 2020-08-16 20:53:40 +0200

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
1

answered 2020-06-16 16:15:58 +0200

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

Stats

Asked: 2020-01-12 17:46:24 +0200

Seen: 292 times

Last updated: Aug 16 '20