Let G be a set of subsets of a set with n elements. Here a (stupid) example:
p=5
S = Subsets([1,..,p])
G=[t for t in S if sum(t)==p]
display(S)
display(G)My question is how do I obtain the set G as a poset in Sage? Thanks for any help.
I assume you want to construct boolean lattice. If so, it's defined in Sage's Catalog of posets and lattices:
posets.BooleanLattice(p, use_subsets=True)ADDED. A subposet can be constructed as
p=5
B = posets.BooleanLattice(p, use_subsets=True)
B.subposet(t for t in B if sum(t)==p)Thanks, but I actually want the subposet of the whole Boolean lattice consisting of a certain subsets of all subsets. See the example where I want the subset G as a subposet of the Boolean lattice.
Then you can use .subposet() method to obtain that of boolean lattice.
Like this
sage: S = Subsets([1,..,5])
sage: G = [t for t in S if sum(t)<=3]
sage: Poset((G, lambda x,y: x.issubset(y)))
Finite poset containing 5 elementsAnd I am slightly tempted to say RTFM.
Asked: 2 years ago
Seen: 266 times
Last updated: May 09 '23
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.