Maxima Function
mono ([x_1, ..., x_n], n)
Returns the list of independent monomials relative to the current dot simplifications of degree n in the variables x_1, ..., x_n.