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

Safe HaskellNone
LanguageHaskell98

Math.Algebra.NonCommutative.GSBasis

Documentation

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

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

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

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

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

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

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

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