A module defining the algebra of non-commutative polynomials over a field k
Documentation
data NonComMonomial v Source
Monomial NonComMonomial | |
(Num k, Ord v) => Algebra k (NonComMonomial v) | |
Eq v => Eq (NonComMonomial v) | |
Ord v => Ord (NonComMonomial v) | |
(Eq v, Show v) => Show (NonComMonomial v) | |
Mon (NonComMonomial v) | |
Eq v => DivisionBasis (NonComMonomial v) |
type NCPoly v = Vect Q (NonComMonomial v)Source
class DivisionBasis m whereSource
Eq v => DivisionBasis (NonComMonomial v) |