Function monomial_div 

pub fn monomial_div(
    lhs: &(Coef, Mono),
    rhs: &(Coef, Mono),
) -> Option<(Coef, Mono)>

Exact monomial division with coefficients.