i1 : P = poset {{a,b}, {b,c}, {c,d}, {a,e}, {e,d}}; |
i2 : filtration P o2 = {{a}, {e, b}, {c}, {d}} o2 : List |
i3 : B = booleanLattice 3; |
i4 : F = filtration B o4 = {{000}, {001, 010, 100}, {011, 101, 110}, {111}} o4 : List |
i5 : R = rankPoset B o5 = {{000}, {001, 010, 100}, {011, 101, 110}, {111}} o5 : List |
i6 : sort \ F === sort \ R o6 = true |
i7 : member(flatten F, linearExtensions B) o7 = true |