| Download
Project: integrable posets
Path: rowvacuation_demo.sagews
Views: 40Visibility: Unlisted (only visible to those who know the link)
Image: default{}
{(0, 1), (1, 0), (0, 0), (1, 1)}
{(0, 0)}
{(0, 1), (1, 0), (0, 0)}
{(1, 0), (0, 0)}
{(1, 0), (0, 0)}
{(0, 1), (0, 0)}
{(0, 1), (0, 0)}
{(0, 1), (1, 0), (0, 0)}
{(0, 0)}
{(0, 1), (1, 0), (0, 0), (1, 1)}
{}
{}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
16
{0}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
16
{0, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14}
16
{0, 4}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14}
16
{0, 1}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}
16
{0, 1, 4}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13}
16
{0, 1, 4, 5}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13}
16
{0, 1, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13}
16
{0, 1, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13}
16
{0, 2}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14}
16
{0, 2, 4}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14}
16
{0, 2, 4, 6}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14}
16
{0, 8, 2}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14}
16
{0, 8, 2, 10}
{0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 14}
16
{0, 1, 2}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}
16
{0, 1, 2, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12}
16
{0, 1, 2, 3}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
16
{0, 1, 2, 3, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11}
16
{0, 1, 2, 4}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12}
16
{0, 1, 2, 4, 5}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12}
16
{0, 1, 2, 4, 6}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12}
16
{0, 1, 2, 4, 5, 6}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 12}
16
{0, 1, 2, 10, 8}
{0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12}
16
{0, 1, 2, 3, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 9, 10, 11}
16
{0, 1, 2, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12}
16
{0, 1, 2, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 9, 10, 11, 12}
16
{0, 1, 2, 3, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 10, 11}
16
{0, 1, 2, 3, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 9, 10, 11}
16
{0, 8, 4}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14}
16
{0, 8, 4, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14}
16
{0, 8, 2, 4}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14}
16
{0, 8, 2, 4, 6}
{0, 1, 2, 3, 4, 5, 6, 8, 10, 12, 14}
16
{0, 8, 2, 4, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 14}
16
{0, 2, 4, 6, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 10, 12, 14}
16
{0, 8, 2, 4, 10}
{0, 1, 2, 3, 4, 6, 8, 9, 10, 12, 14}
16
{0, 2, 4, 6, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 10, 12, 14}
16
{0, 2, 4, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 9, 10, 12, 14}
16
{0, 2, 4, 6, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 10, 12, 14}
16
{0, 2, 4, 6, 8, 10, 12, 14}
{0, 2, 4, 6, 8, 10, 12, 14}
16
{0, 1, 4, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13}
16
{0, 1, 4, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13}
16
{0, 1, 4, 5, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 12, 13}
16
{0, 1, 4, 5, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 12, 13}
16
{0, 1, 4, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 10, 12, 13}
16
{0, 1, 4, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 9, 10, 12, 13}
16
{0, 1, 4, 5, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 12, 13}
16
{0, 1, 4, 5, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 9, 12, 13}
16
{0, 1, 4, 5, 8, 9, 12, 13}
{0, 1, 4, 5, 8, 9, 12, 13}
16
{0, 1, 2, 4, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 9, 10, 12}
16
{0, 1, 2, 4, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 9, 10, 12}
16
{0, 1, 2, 4, 5, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 12}
16
{0, 1, 2, 4, 5, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 12}
16
{0, 1, 2, 4, 5, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 9, 12}
16
{0, 1, 2, 4, 5, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 12}
16
{0, 1, 2, 4, 5, 8, 9, 10}
{0, 1, 2, 3, 4, 6, 8, 12}
16
{0, 1, 2, 4, 5, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 9, 12}
16
{0, 1, 2, 4, 5, 8, 9, 12, 13}
{0, 1, 4, 5, 8, 9, 12}
16
{0, 1, 2, 3, 8, 9, 10, 11}
{0, 1, 2, 3, 8, 9, 10, 11}
16
{0, 1, 2, 3, 4}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
16
{0, 1, 2, 3, 4, 5}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
16
{0, 1, 2, 3, 4, 6}
{0, 1, 2, 3, 4, 5, 6, 7, 8, 10}
16
{0, 1, 2, 3, 4, 5, 6}
{0, 1, 2, 3, 4, 5, 6, 7, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7}
{0, 1, 2, 3, 4, 5, 6, 7}
16
{0, 1, 2, 3, 4, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10}
16
{0, 1, 2, 3, 4, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 9, 10}
16
{0, 1, 2, 3, 4, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9, 10}
16
{0, 1, 2, 3, 4, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 9, 10}
16
{0, 1, 2, 3, 4, 8, 9, 10, 11}
{0, 1, 2, 3, 8, 9, 10}
16
{0, 1, 2, 3, 4, 5, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 10}
{0, 1, 2, 4, 6, 8, 9, 12}
16
{0, 1, 2, 3, 4, 5, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 10, 11}
{0, 1, 2, 3, 8, 9}
16
{0, 1, 2, 3, 4, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 9, 10}
16
{0, 1, 2, 3, 4, 5, 8, 12}
{0, 1, 2, 4, 6, 8, 9, 10}
16
{0, 1, 2, 3, 4, 8, 10, 12}
{0, 1, 2, 4, 5, 6, 8, 9}
16
{0, 1, 2, 3, 4, 8, 9, 12}
{0, 1, 2, 4, 5, 6, 8, 10}
16
{0, 1, 2, 3, 4, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 9, 10}
16
{0, 1, 2, 3, 4, 8, 9, 10, 11, 12}
{0, 1, 2, 8, 9, 10}
16
{0, 1, 2, 3, 4, 5, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 12, 13}
{0, 1, 4, 5, 8, 9}
16
{0, 1, 2, 4, 6, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 10, 12}
16
{0, 1, 2, 3, 4, 6, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 10}
16
{0, 1, 2, 4, 5, 6, 8}
{0, 1, 2, 3, 4, 5, 6, 8, 12}
16
{0, 1, 2, 3, 4, 5, 6, 8}
{0, 1, 2, 3, 4, 5, 6, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8}
{0, 1, 2, 3, 4, 5, 6}
16
{0, 1, 2, 4, 6, 8, 9}
{0, 1, 2, 3, 4, 5, 8, 10, 12}
16
{0, 1, 2, 3, 4, 6, 8, 9}
{0, 1, 2, 4, 5, 8, 10, 12}
16
{0, 1, 2, 4, 5, 6, 8, 9}
{0, 1, 2, 3, 4, 8, 10, 12}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9}
{0, 1, 2, 3, 4, 5, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
{0, 1, 2, 3, 4, 5}
16
{0, 1, 2, 4, 6, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 10, 12}
16
{0, 1, 2, 4, 5, 6, 8, 10}
{0, 1, 2, 3, 4, 8, 9, 12}
16
{0, 1, 2, 4, 6, 8, 9, 10}
{0, 1, 2, 3, 4, 5, 8, 12}
16
{0, 1, 2, 3, 4, 6, 8, 10}
{0, 1, 2, 3, 4, 6, 8, 10}
16
{0, 1, 2, 3, 4, 6, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 10}
16
{0, 1, 2, 3, 4, 6, 8, 9, 10, 11}
{0, 1, 2, 3, 8, 10}
16
{0, 1, 2, 3, 4, 5, 6, 8, 10}
{0, 1, 2, 3, 4, 6, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 10}
{0, 1, 2, 3, 4, 6}
16
{0, 1, 2, 4, 6, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 10, 12}
16
{0, 1, 2, 4, 6, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 10, 12}
16
{0, 1, 2, 4, 6, 8, 10, 12, 14}
{0, 2, 4, 6, 8, 10, 12}
16
{0, 1, 2, 4, 5, 6, 8, 12}
{0, 1, 2, 4, 5, 6, 8, 12}
16
{0, 1, 2, 4, 6, 8, 9, 12}
{0, 1, 2, 3, 4, 5, 8, 10}
16
{0, 1, 2, 4, 5, 6, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 12}
16
{0, 1, 2, 4, 5, 6, 8, 9, 12, 13}
{0, 1, 4, 5, 8, 12}
16
{0, 1, 2, 4, 6, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 10, 12}
16
{0, 1, 2, 4, 6, 8, 9, 10, 12, 14}
{0, 2, 4, 8, 10, 12}
16
{0, 1, 2, 3, 4, 6, 8, 12}
{0, 1, 2, 4, 5, 8, 9, 10}
16
{0, 1, 2, 3, 4, 5, 6, 8, 12}
{0, 1, 2, 4, 5, 6, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 12}
{0, 1, 2, 4, 5, 6}
16
{0, 1, 2, 3, 4, 6, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 10}
16
{0, 1, 2, 3, 4, 6, 8, 10, 12, 14}
{0, 2, 4, 6, 8, 10}
16
{0, 1, 2, 3, 4, 6, 8, 9, 12}
{0, 1, 2, 4, 5, 8, 10}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 12}
{0, 1, 2, 4, 5, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12}
{0, 1, 2, 4, 5}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 12, 13}
{0, 1, 4, 5, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13}
{0, 1, 4, 5}
16
{0, 1, 2, 3, 4, 6, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 10}
16
{0, 1, 2, 3, 4, 6, 8, 9, 10, 12, 14}
{0, 8, 2, 4, 10}
16
{0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12}
{0, 1, 2, 10, 8}
16
{0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 14}
{0, 8, 2, 10}
16
{0, 1, 2, 4, 5, 8, 10, 12}
{0, 1, 2, 3, 4, 6, 8, 9}
16
{0, 1, 2, 4, 5, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 9, 12}
16
{0, 1, 2, 4, 5, 8, 9, 10, 12, 13}
{0, 1, 4, 8, 9, 12}
16
{0, 1, 2, 4, 5, 6, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 12}
16
{0, 1, 2, 4, 5, 6, 8, 10, 12, 14}
{0, 2, 4, 6, 8, 12}
16
{0, 1, 2, 3, 4, 5, 8, 10, 12}
{0, 1, 2, 4, 6, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12}
{0, 1, 2, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 10, 12, 13}
{0, 1, 4, 8, 9}
16
{0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 13}
{0, 1, 8, 9}
16
{0, 1, 2, 3, 4, 5, 6, 8, 10, 12}
{0, 1, 2, 4, 6, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12}
{0, 1, 2, 4, 6}
16
{0, 1, 2, 3, 4, 5, 6, 8, 10, 12, 14}
{0, 8, 2, 4, 6}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14}
{0, 2, 4, 6}
16
{0, 1, 2, 4, 5, 6, 8, 9, 10}
{0, 1, 2, 3, 4, 8, 12}
16
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12}
{0, 1, 2, 4, 8, 12}
16
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13}
{0, 1, 4, 8, 12}
16
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 14}
{0, 8, 2, 4, 12}
16
{0, 1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 14}
{0, 8, 4, 12}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10}
{0, 1, 2, 3, 4, 8}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11}
{0, 1, 2, 3, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
{0, 1, 2, 3, 4}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
{0, 1, 2, 3}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12}
{0, 1, 2, 4, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12}
{0, 1, 2, 4}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14}
{0, 8, 2, 4}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14}
{0, 2, 4}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12}
{0, 1, 2, 8}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14}
{0, 8, 2}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}
{0, 1, 2}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14}
{0, 2}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13}
{0, 1, 4, 8}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14}
{0, 8, 4}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13}
{0, 1, 4}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14}
{0, 4}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13}
{0, 1, 8}
16
{0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14}
{0, 8}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}
{0, 1}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
{0}
16
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
{}
16