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

Safe HaskellNone
LanguageHaskell98

Math.Projects.KnotTheory.LaurentMPoly

Documentation

newtype LaurentMonomial Source #

Constructors

LM (Map String Q) 
Instances
Eq LaurentMonomial Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Fractional LaurentMonomial Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Num LaurentMonomial Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Ord LaurentMonomial Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Show LaurentMonomial Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

newtype LaurentMPoly r Source #

Constructors

LP [(LaurentMonomial, r)] 
Instances
Invertible LPQ Source # 
Instance details

Defined in Math.Projects.KnotTheory.Braid

Methods

inv :: LPQ -> LPQ Source #

Eq r => Eq (LaurentMPoly r) Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

(Eq r, Fractional r) => Fractional (LaurentMPoly r) Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

(Eq r, Num r) => Num (LaurentMPoly r) Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Ord r => Ord (LaurentMPoly r) Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Show r => Show (LaurentMPoly r) Source # 
Instance details

Defined in Math.Projects.KnotTheory.LaurentMPoly

Invertible (NPoly LPQ BraidGens) Source # 
Instance details

Defined in Math.Projects.KnotTheory.Braid

Invertible (NPoly LPQ IwahoriHeckeGens) Source # 
Instance details

Defined in Math.Projects.KnotTheory.IwahoriHecke

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

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

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

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