Monomials are represented as mapping from variables to their exponent All monomials created here have non-negative exponents This is to ensure the unicity of the writting of polynomials.

The unit monomial

The "variable" monomial

Returns the sorted list of variables occuring in the object

Comparison bewteen monomials Uses the lexicographical ordering on monomials, with lexicographical ordering on the variables. The ordering on the variables should not matter. What matters is that the constant monomial is the minimum for this order.

Equality, which assumes no zero exponents

Returns the degree of the given variable in the given monomial

Multiplies two monomials

Partial application in a monomial. Returns None if the result of the application would be 0 Otherwise, returns a non-zero coefficient and the rest of the monomial.

Conversion to printable strings. None is for one

Infix operators