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
(^-)