-- -*- M2-comint -*- hash: 8335889981306288163

i1 : n = 4;

i2 : isLattice chain n

o2 = true

i3 : B = booleanLattice n;

i4 : isLattice B

o4 = true

i5 : isLattice flagPoset(B, {1,2,3})

o5 = false

i6 : 
