Safe Haskell | None |
---|---|
Language | Haskell98 |
Math.Algebras.NonCommutative
Description
A module defining the algebra of non-commutative polynomials over a field k
Documentation
data NonComMonomial v Source #
Instances
Monomial NonComMonomial Source # | |
(Eq k, Num k, Ord v) => Algebra k (NonComMonomial v) Source # | |
Eq v => Eq (NonComMonomial v) Source # | |
Ord v => Ord (NonComMonomial v) Source # | |
(Eq v, Show v) => Show (NonComMonomial v) Source # | |
Mon (NonComMonomial v) Source # | |
Eq v => DivisionBasis (NonComMonomial v) Source # | |
bind :: (Eq t, Eq k, Monomial m, Algebra k b, Show b, Ord b, Num k) => Vect k (m t) -> (t -> Vect k b) -> Vect k b Source #
class DivisionBasis m where Source #
Minimal complete definition
Instances
Eq v => DivisionBasis (NonComMonomial v) Source # | |
ncm :: [v] -> NonComMonomial v Source #
quotRemNP :: (Algebra k m, Show m, Ord m, Eq k, Fractional k, DivisionBasis m) => Vect k m -> [Vect k m] -> ([(Vect k m, Vect k m)], Vect k m) Source #