Math.Algebras.NonCommutative
data NonComMonomial v
class Monomial m
bind
type NCPoly v
class DivisionBasis m
ncm
lm
lc
lt
quotRemNP
remNP
(%%)