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

Safe HaskellNone
LanguageHaskell98

Math.Projects.KnotTheory.LaurentMPoly

Documentation

newtype LaurentMPoly r Source #

Constructors

LP [(LaurentMonomial, r)] 

Instances

Eq r => Eq (LaurentMPoly r) Source # 
(Eq r, Fractional r) => Fractional (LaurentMPoly r) Source # 
(Eq r, Num r) => Num (LaurentMPoly r) Source # 
Ord r => Ord (LaurentMPoly r) Source # 
Show r => Show (LaurentMPoly r) Source # 
Invertible (NPoly LPQ BraidGens) Source # 
Invertible (NPoly LPQ IwahoriHeckeGens) Source # 

cmpTerm :: Ord a => (a, b1) -> (a, b2) -> Ordering Source #

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

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

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