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