Function act_monomial 

pub fn act_monomial(m: &[usize], poly: &[u8]) -> Vec<u8> 

The action of a Steenrod monomial on a class in H*(BZ/2) = Z/2[x] (apply the squares right-to-left).