Math.Algebras.Commutative
data GlexMonomial v
type GlexPoly k v
glexVar
class Monomial m
bind
lt
class DivisionBasis b
dividesT
divT
quotRemMP
(%%)