HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe HaskellNone
LanguageHaskell98

Math.Algebras.NonCommutative

Description

A module defining the algebra of non-commutative polynomials over a field k

Documentation

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

class DivisionBasis m where Source

Methods

divM :: m -> m -> Maybe (m, m) Source

lm :: Vect t t1 -> t1 Source

lc :: Vect t t1 -> t Source

lt :: Vect k b -> Vect k b 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

remNP :: (Eq t, Fractional t, Ord m, Show m, Algebra t m, DivisionBasis m) => Vect t m -> [Vect t m] -> Vect t m Source

(%%) :: (Eq t, Fractional t, Ord m, Show m, Algebra t m, DivisionBasis m) => Vect t m -> [Vect t m] -> Vect t m infixl 7 Source