i1 : C = chain 5; |
i2 : P = poset {{a,b},{b,c},{c,d},{d,e}}; |
i3 : areIsomorphic(C, P) o3 = true |
i4 : B = booleanLattice 4; |
i5 : B == product(4, i -> chain 2) o5 = true |
i6 : B == divisorPoset (2*3*5*7) o6 = true |
i7 : B == divisorPoset (2^2*3*5) o7 = false |