Ask Your Question

Obtaining a poset of plane partitions via Sage

asked 2021-08-29 17:12:52 +0200

klaaa gravatar image

updated 2023-05-11 14:11:50 +0200

FrédéricC gravatar image

In Sage there is the command YoungsLatticePrincipalOrderIdeal(p) to obtain the lattice of partitions contained in p (via Ferrer diagrams) with maximal element p.

My question is whether there is the same command for obtaining via Sage the finite poset of all plane partitions that are contained in a given plane partition p ?

(see )

edit: It would also be interesting how to obtain the poset of plane partitions of $m$ for a given $m \leq n$ as one can do the same for the Young lattice in Sage via P=posets.YoungsLattice(5).

Thank you for any help.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2021-08-29 17:50:45 +0200

FrédéricC gravatar image

updated 2021-08-30 08:48:46 +0200

Like this

sage: def PP(a,b,c): 
....:         return posets.ProductOfChains([a,b,c]).order_ideals_lattice() 
sage: PP(2,2,2)                                                                 
Finite lattice containing 20 element

for the full poset. Then you can take any principal order filter.

EDIT Another way:

sage: P = PlanePartitions([4,3,2])                                                
sage: q = P.random_element()                                                      
sage: qt = q.to_tableau()                                                         
sage: Poset(([x.to_tableau() for x in P if x.to_tableau() <= qt] ,lambda x,y: x<=y))                                                                      
Finite poset containing 459 elements
edit flag offensive delete link more


Thank you. Sorry I do not fully understand you answer. For example how to obtain the poset of all plane partitions of $m$ with $m \leq n$ for a given $n$? Is it obtained by taking all your posets as in your answer with $a+b+c \leq n$?

klaaa gravatar imageklaaa ( 2021-08-29 18:33:03 +0200 )edit

Not clear what you want. See also

FrédéricC gravatar imageFrédéricC ( 2021-08-30 08:37:03 +0200 )edit

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: 2021-08-29 17:12:52 +0200

Seen: 184 times

Last updated: Aug 30 '21