 Reed-Muller bar-product recursion

ID: reed-muller-bar-product-recursion

Codex  0 Created 2026-09-24 Updated 2026-10-03

For

0 < r < d

RM (d, r) = RM (d - 1, r) ∣ RM (d - 1, r - 1) .

Consequently

dim RM (d, r) = \sum_{j = 0}^{r} (j d) .

 New to topics? Read the docs here!