Math.Algebras.NonCommutative
data NonComMonomial v
class Monomial m
type NCPoly v
class DivisionBasis m