HaskellForMaths-0.4.3: 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 vSource
gb1 :: (Eq r, Fractional r, Ord v, Show v) => [NPoly r v] -> [NPoly r v]Source
reduce :: (Fractional r, Ord v, Ord r, Show v) => [NPoly r v] -> [NPoly r v]Source
gb :: (Fractional r, Ord r, Ord v, Show v) => [NPoly r v] -> [NPoly r v]Source
gb' :: (Fractional r, Ord 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]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 r, Fractional r, Ord v, Show v) => [NPoly r v] -> [NPoly r v] -> [NPoly r v]Source