-- -*- M2-comint -*- hash: 18202459865658486368

i1 : B = booleanLattice 3;

i2 : z = zetaPolynomial B

      3
o2 = q

o2 : QQ[q]

i3 : #B.GroundSet == sub(z, (ring z)_0 => 2)

o3 = true

i4 : #allRelations B == sub(z, (ring z)_0 => 3)

o4 = true

i5 : 
