Function mul 

pub fn mul(a: &Monomial, b: &Monomial, multilinear: bool) -> Monomial

The product of two monomials. When multilinear, repeated variables collapse (x² = x), the correct rule for GF(2); otherwise exponents accumulate.