Function symbolic_polynomials::reduce_monomial

pub fn reduce_monomial<I, C, P>(
    monomial: &Monomial<I, C, P>, 
    values: &HashMap<I, C>
) -> Monomial<I, C, P> where
    I: Id,
    C: Coefficient,
    P: Power, 

Reduces the monomial, given the variable assignments provided.