First time here? Check out the FAQ!
answered 2020-06-16 16:15:58 +0100
Like this
sage: P = posets.BooleanLattice(4) sage: P.order_ideals_lattice() Finite lattice containing 168 elements