-- -*- M2-comint -*- hash: 7282938420371352833

i1 : isDistributive booleanLattice 3

o1 = true

i2 : P = poset {{1,2}, {1,3}, {3,4}, {2,5}, {4, 5}};

i3 : isLattice P

o3 = true

i4 : isDistributive P

o4 = false

i5 : D = poset {{1,2}, {1,3}, {1,4}, {2,5}, {3,5}, {4,5}};

i6 : isLattice D

o6 = true

i7 : isDistributive D

o7 = false

i8 : 
