-- -*- M2-comint -*- hash: 7089228016755511004

i1 : n = 3;

i2 : B = booleanLattice n

o2 = B

o2 : Poset

i3 : B == poset(subsets n, isSubset)

o3 = true

i4 : B == product(n, i -> chain 2)

o4 = true

i5 : B == divisorPoset (2*3*5)

o5 = true

i6 : 
