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

Safe HaskellNone
LanguageHaskell98

Math.Projects.KnotTheory.LaurentMPoly

Documentation

cmpTerm :: Ord a => (a, t) -> (a, t1) -> Ordering Source

mergeTerms :: (Ord a, Num a1, Eq a1) => [(a, a1)] -> [(a, a1)] -> [(a, a1)] Source

collect :: (Num a1, Eq a1, Eq a) => [(a, a1)] -> [(a, a1)] Source

inject :: (Num r, Eq r) => r -> LaurentMPoly r Source