i1 : P = divisorPoset 12; |
i2 : L = linearExtensions P o2 = {{1, 2, 3, 6, 4, 12}, {1, 2, 3, 4, 6, 12}, {1, 2, 4, 3, 6, 12}, {1, 3, ------------------------------------------------------------------------ 2, 6, 4, 12}, {1, 3, 2, 4, 6, 12}} o2 : List |
i3 : F = flatten filtration P o3 = {1, 2, 3, 4, 6, 12} o3 : List |
i4 : member(F, L) o4 = true |
i5 : linearExtensions chain 10 o5 = {{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}} o5 : List |