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 :: (Show v, Ord v, Fractional r, Eq r) => [NPoly r v] -> [NPoly r v] Source #
reduce :: (Show t, Ord t1, Ord t, Fractional t1) => [NPoly t1 t] -> [NPoly t1 t] Source #
gb :: (Show v, Ord v, Ord r, Fractional r) => [NPoly r v] -> [NPoly r v] Source #
gb' :: (Show t, Ord t1, Ord t, Fractional t1) => [NPoly t1 t] -> [NPoly t1 t] Source #
gb2 :: (Show t, Ord t, Fractional t1, Eq t1) => [NPoly t1 t] -> [NPoly t1 t] Source #
gb2' :: (Show v, Ord v, Fractional r, Eq r) => [NPoly r v] -> [(NPoly r v, NPoly r v, NPoly r v, NPoly r v)] Source #
mbasisQA :: (Show t, Ord t, Fractional t1, Eq t1) => [NPoly t1 t] -> [NPoly t1 t] -> [NPoly t1 t] Source #