HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe Haskell | None
Language | Haskell98

Math.Algebra.NonCommutative.GSBasis

# Documentation

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