SSTPosets are lattices

[darijgr]

https://doc.sagemath.org/html/en/reference/combinat/sage/combinat/posets/poset_examples.html#sage.combinat.posets.poset_examples.Posets.SSTPoset:

static SSTPoset(s, f=None)

The poset on semistandard tableaux of shape s and largest entry f that is ordered by componentwise comparison of the entries.

This isn't just some finite poset; it's a lattice, with minimum and maximum being defined entrywise. That should be in the code and in the doc.

Any volunteers? (My Sage isn't working and I have a long to-do list of papers right now, so I pass.)

CC: @sagetrac-sage-combinat

Component: combinatorics

Keywords: lattices, posets, tableaux, sage-combinat

Author: Frédéric Chapoton

Branch/Commit: de3ea1f

Reviewer: Darij Grinberg

Issue created by migration from https://trac.sagemath.org/ticket/29525

[fchapoton]

comment:1

EDIT: sorry, wrong comparison algorithm

[fchapoton]

Commit: de3ea1f

[fchapoton]

Author: Frédéric Chapoton

[fchapoton]

Branch: u/chapoton/29525

[fchapoton]

comment:2

and now, who is going to review that ?

---

New commits:

de3ea1f

trac #29525 sstposets as lattices

[darijgr]

comment:3

LGTM!

[darijgr]

Reviewer: Darij Grinberg

[vbraun]

Changed branch from u/chapoton/29525 to de3ea1f