The call type(m, monomial(K, v)) checks to see if m is a monomial in the variable(s) v over the coefficient domain K, where v is either an indeterminate or a list or set of indeterminates.

A monomial is defined to be a polynomial in v which does not contain a sum. This function returns true if m is such a monomial, and false otherwise.

If v is omitted, it is taken to be the set of all indeterminates appearing in m, that is, it checks if m is a monomial in all of its variables.

The domain specification K should be a type name, such as rational or algebraic.  If K is specified, then this function will check that the coefficients of m come from the domain K.  If the coefficient domain K is omitted, then only coefficients of type constant are allowed.