HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra
Math.Algebra.NonCommutative.GSBasis
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 #