Math.Algebras.NonCommutative

data NonComMonomial v

class Monomial m

bind

type NCPoly v

class DivisionBasis m

ncm

lm

lc

lt

quotRemNP

remNP

(%%)