Math.Projects.KnotTheory.TemperleyLieb

Documentation

data TemperleyLiebGens

Constructors

E Int

Instances

Eq TemperleyLiebGens

Defined in Math.Projects.KnotTheory.TemperleyLieb

Methods

(==) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool

(/=) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool

Ord TemperleyLiebGens

Defined in Math.Projects.KnotTheory.TemperleyLieb

Methods

compare :: TemperleyLiebGens -> TemperleyLiebGens -> Ordering

(<) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool

(<=) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool

(>) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool

(>=) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool

max :: TemperleyLiebGens -> TemperleyLiebGens -> TemperleyLiebGens

min :: TemperleyLiebGens -> TemperleyLiebGens -> TemperleyLiebGens

Show TemperleyLiebGens

Defined in Math.Projects.KnotTheory.TemperleyLieb

Methods

showsPrec :: Int -> TemperleyLiebGens -> ShowS

show :: TemperleyLiebGens -> String

showList :: [TemperleyLiebGens] -> ShowS

e_ :: Int -> NPoly LPQ TemperleyLiebGens

d :: LaurentMPoly Q

d' :: NPoly LPQ TemperleyLiebGens

e1 :: NPoly LPQ TemperleyLiebGens

e2 :: NPoly LPQ TemperleyLiebGens

e3 :: NPoly LPQ TemperleyLiebGens

e4 :: NPoly LPQ TemperleyLiebGens

tlRelations :: Int -> [NPoly LPQ TemperleyLiebGens]

dimTL :: NPoly r TemperleyLiebGens -> Int

tlnf :: NPoly LPQ TemperleyLiebGens -> NPoly LPQ TemperleyLiebGens

tlBasis :: Int -> [NPoly LPQ TemperleyLiebGens]

tr' :: Int -> Monomial TemperleyLiebGens -> LaurentMPoly Q

tr :: Int -> NPoly (LaurentMPoly Q) TemperleyLiebGens -> LaurentMPoly Q

a :: LaurentMPoly Q

a' :: NPoly LPQ TemperleyLiebGens

fromBraid :: NPoly LPQ BraidGens -> NPoly LPQ TemperleyLiebGens

jones :: Int -> NPoly LPQ BraidGens -> LaurentMPoly Q