HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra
Math.Algebra.NonCommutative.GSBasis
findOverlap :: Eq v => Monomial v -> Monomial v -> Maybe (Monomial v, Monomial v, Monomial v) Source
sPoly :: (Eq t, Num t, Ord v, Show v) => NPoly t v -> NPoly t v -> NPoly t v Source
gb1 :: (Eq t, Fractional t, Ord v, Show v) => [NPoly t v] -> [NPoly t v] Source
reduce :: (Fractional t1, Ord t, Ord t1, Show t) => [NPoly t1 t] -> [NPoly t1 t] Source
gb :: (Fractional r, Ord r, Ord v, Show v) => [NPoly r v] -> [NPoly r v] Source
gb' :: (Fractional t1, Ord t, Ord t1, Show t) => [NPoly t1 t] -> [NPoly t1 t] Source
gb2 :: (Eq t1, Fractional t1, Ord t, Show t) => [NPoly t1 t] -> [NPoly t1 t] Source
gb2' :: (Eq t, Fractional t, Ord v, Show v) => [NPoly t v] -> [(NPoly t v, NPoly t v, NPoly t v, NPoly t v)] Source
mbasisQA :: (Eq t1, Fractional t1, Ord t, Show t) => [NPoly t1 t] -> [NPoly t1 t] -> [NPoly t1 t] Source