Function monomial_divides 

pub fn monomial_divides(a: &[usize], b: &[usize]) -> bool

Check whether monomial a divides monomial b: a[i] >= b[i] for all i.