Abstract

We compute the weight distribution of R(4, 9) by combining the approach described in D. V. Sarwate's Ph.D. thesis from 1973 with knowledge on the affine equivalence classification of Boolean functions. To solve this problem posed, e.g., in the MacWilliams and Sloane book [12, p. 447], we apply a refined approach based on the classification of Boolean quartic forms in eight variables due to Ph. Langevin and G. Leander, and recent results on the classification of the quotient space R(4, 7)/R(2, 7) due to V. Gillot and Ph. Langevin.