-- -*- M2-comint -*- hash: 6016940901892601571

i1 : n = 5;

i2 : factor poincarePolynomial booleanLattice n

            5
o2 = (t + 1)

o2 : Expression of class Product

i3 : R = QQ[x,y,z];

i4 : A = {x,y,z,x+y,x+z,y+z,x-y,x-z,y-z};

i5 : LA = intersectionLattice(A, R);

i6 : factor poincarePolynomial LA

o6 = (t + 1)(3t + 1)(5t + 1)

o6 : Expression of class Product

i7 : 
