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

(%%)