-- -*- M2-comint -*- hash: 16834303543782946454

i1 : n = 5;

i2 : factor characteristicPolynomial chain n

        3
o2 = (q) (q - 1)

o2 : Expression of class Product

i3 : factor characteristicPolynomial booleanLattice n

            5
o3 = (q - 1)

o3 : Expression of class Product

i4 : 
