A cubelike graph is a Cayley graph for $\ints_2^d$. The connection
set of such a graph can be encoded by a $d\times m$ matrix with distinct
columns. If $M$ is such a matrix then we can get a list of its columns with cols = M.columns()
and we can recover $M$ with M = Matrix(cols).transpose()
.
The natural choice for the vertices of a cubelike graph are the elements of
V = VectorSpace( GF(2)), d) # not tested
but these are not hashable. We can make a vector v
hashable with v.set_immutable()
and use vectors as vertices, or work as follows. Suppose that vls
is a list of vectors from a vector space V
.
G = Graph( [[0..len(vls)-1],\ lambda i,j: vls[i]-vls[j] in V.list()]) # not tested
P = graphs.PetersenGraph() D = P.incidence_matrix() B = D.change_ring( GF(2)) # convert to a matrix over GF(2) B0 = B.submatrix( nrows=B.nrows()-1) # delete last row B0
[1 1 1 0 0 0 0 0 0 0 0 0 0 0 0] [0 0 1 1 1 0 0 0 0 0 0 0 0 0 0] [0 0 0 0 1 1 1 0 0 0 0 0 0 0 0] [0 0 0 0 0 0 1 1 1 0 0 0 0 0 0] [0 1 0 0 0 0 0 0 1 1 0 0 0 0 0] [1 0 0 0 0 0 0 0 0 0 1 1 0 0 0] [0 0 0 1 0 0 0 0 0 0 0 0 1 1 0] [0 0 0 0 0 1 0 0 0 0 0 1 0 0 1] [0 0 0 0 0 0 0 1 0 0 1 0 0 1 0]
For humans it can be convenient to encode binary vectors of length $d$ as integers between 0 and $2^{d-1}$. With $G$ as just defined, its connection set will be the correct set of integers.
def cubelike(vecls): d = len(vecls[0]) VS = VectorSpace(GF(2),d) return Graph([[0..(2^d-1)], lambda i,j: VS[i]-VS[j] in vecls])
PP = cubelike(B0.columns()) PP.am().fcp()
(x - 15) * (x + 9)^5 * (x - 9)^10 * (x - 7)^15 * (x + 7)^30 * (x - 5)^36 * (x + 3)^60 * (x + 5)^60 * (x + 1)^75 * (x - 3)^100 * (x - 1)^120