Math.CommutativeAlgebra.Polynomial
class Monomial m
mproperlydivides
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
flipbind
eval
subst
vars
lt
lm
lc
deg
toMonic
tdivides
tdiv
tgcd
tmult
(*->)
quotRemMP
rewrite
(%%)