Reed-Muller code (source code)

= Reed-Muller code
{c}
{wiki=Reed–Muller_code}

The binary Reed-Muller code $\operatorname{RM}(d,r)$ evaluates Boolean polynomials of degree at most $r$ on $\mathbb F_2^d$. It has parameters
$$
\left[2^d,\sum_{j=0}^r\binom dj,2^{d-r}\right].
$$
The dimension counts square-free monomials, and the minimum weight follows inductively from the decomposition $(u,u+v)$.