-- -*- M2-comint -*- hash: 16258913875692441721

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

i8 : 
