Revision history [back]

Like this

sage: P = posets.PentagonPoset()
sage: {x:P.rowmotion(x) for x in P.order_ideals_lattice()}
{{}: {0},
 {0}: {0, 1, 2},
 {0, 1}: {0, 2},
 {0, 2}: {0, 1, 2, 3},
 {0, 1, 2}: {0, 2, 3},
 {0, 2, 3}: {0, 1},
 {0, 1, 2, 3}: {0, 1, 2, 3, 4},
 {0, 1, 2, 3, 4}: {}}