Function poly_mul_mono 

pub fn poly_mul_mono(p: &Poly, m: Mono) -> Poly

p · m: multiply a polynomial by a monomial over GF(2) (monomials are variable sets, so the product is the union, and equal products cancel in pairs).