Monomial (source code)

= Monomial
{wiki}

A <monomial> is a product of nonnegative <integer> powers of variables, usually multiplied by a coefficient. In variables $x_1,\ldots,x_n$ it has the form $c x_1^{a_1}\cdots x_n^{a_n}$ with $a_i\in\mathbb Z_{\geq0}$.