Intersection matrix ($M_{ij}=D_i\cdot D_j$)

The intersection matrix records an intersection pairing on chosen classes. Its nonsingularity proves linear independence: a relation between the classes, paired with each class in turn, gives a vector in the matrix's kernel.