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 k, Eq v, Num k, Ord b, Show b, Algebra k b, Monomial m) => Vect k (m v) -> (v -> Vect k b) -> Vect k b Source
type NCPoly v = Vect Q (NonComMonomial v) Source
class DivisionBasis m where Source
Instances
Eq v => DivisionBasis (NonComMonomial v) Source |
ncm :: [v] -> NonComMonomial v Source
quotRemNP :: (Eq t, Fractional t, Ord m, Show m, Algebra t m, DivisionBasis m) => Vect t m -> [Vect t m] -> ([(Vect t m, Vect t m)], Vect t m) Source