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

Safe HaskellNone
LanguageHaskell98

Math.Algebra.NonCommutative.GSBasis

Documentation

findOverlap :: Eq a => Monomial a -> Monomial a -> Maybe (Monomial a, Monomial a, Monomial a) Source #

sPoly :: (Eq r, Num r, Ord v, Show v) => NPoly r v -> NPoly r v -> NPoly r v Source #

gb1 :: (Fractional r, Ord v, Show v, Eq r) => [NPoly r v] -> [NPoly r v] Source #

reduce :: (Fractional r, Ord r, Ord v, Show v) => [NPoly r v] -> [NPoly r v] Source #

gb :: (Show v, Fractional r, Ord v, Ord r) => [NPoly r v] -> [NPoly r v] Source #

gb' :: (Fractional r, Ord r, Ord v, Show v) => [NPoly r v] -> [NPoly r v] Source #

gb2 :: (Fractional r, Ord v, Show v, Eq r) => [NPoly r v] -> [NPoly r v] Source #

gb2' :: (Fractional r, Ord v, Show v, Eq r) => [NPoly r v] -> [(NPoly r v, NPoly r v, NPoly r v, NPoly r v)] Source #

mbasisQA :: (Eq r, Fractional r, Ord v, Show v) => [NPoly r v] -> [NPoly r v] -> [NPoly r v] Source #