pub fn adem_reduce(m: &[usize]) -> HashSet<Vec<usize>>Expand description
Reduce a Steenrod monomial to its Z/2 sum of admissible monomials via the Adem relations — the
canonical form in the Steenrod algebra. A HashSet models the Z/2 linear combination (present =
coefficient 1; re-insertion cancels).