Math.Algebra.NonCommutative.NCPoly

data Monomial v

divM

data NPoly r v

cmpTerm

mergeTerms

collect

data Var

var

x

y

z

lm

lc

lt

quotRemNP

remNP

(%%)

remNP2

toMonic

inject

subst

class Invertible a

(^-)