class Monomial m

class MonomialConstructor m

var

data MonImpl v

data Lex v

type LexPoly k v

lexvar

data Glex v

type GlexPoly k v

glexvar

data Grevlex v

type GrevlexPoly k v

grevlexvar

data Elim2 a b

bind

eval

subst

vars

(%%)