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

Safe Haskell | None
Language | Haskell98

Math.Algebra.NonCommutative.GSBasis

# Documentation

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

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

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

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

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

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

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

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

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