field F q that do not share a common component and intersect in exactly k F q-rational
points. We set this up as a problem about a weight enumerator of a certain projective Reed–
Muller code. The main inputs to the proof include counting pairs of cubic curves that do
share a common component, counting configurations of points that fail to impose
independent conditions on cubics, and a variation of the MacWilliams theorem from coding …