pub fn is_admissible(m: &[usize]) -> bool
Is a monomial Sq^{i₁}…Sq^{iₖ} admissible? (i_j ≥ 2 i_{j+1} for all adjacent pairs.)
Sq^{i₁}…Sq^{iₖ}
i_j ≥ 2 i_{j+1}