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, t1) -> (a, t) -> Ordering Source #

mergeTerms :: (Eq t, Num t, Ord t1) => [(t1, t)] -> [(t1, t)] -> [(t1, t)] Source #

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

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