Module Polynomial.MonomialSource

Sourcetype t

A monomial is represented by a multiset of variables

Sourceval degree : t -> int

degree m is the sum of the degrees of each variable