Function monomials_of_degree 

pub fn monomials_of_degree(
    n: u32,
    deg: usize,
    multilinear: bool,
) -> Vec<Monomial> 

Every monomial in n variables of degree exactly deg, listed with variable indices in nondecreasing order. Strictly increasing (squarefree) when multilinear.