Safe Haskell | None |
---|---|
Language | Haskell98 |
Math.Projects.KnotTheory.TemperleyLieb
Documentation
data TemperleyLiebGens Source #
Instances
Eq TemperleyLiebGens Source # | |
Defined in Math.Projects.KnotTheory.TemperleyLieb Methods (==) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool Source # (/=) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool Source # | |
Ord TemperleyLiebGens Source # | |
Defined in Math.Projects.KnotTheory.TemperleyLieb Methods compare :: TemperleyLiebGens -> TemperleyLiebGens -> Ordering Source # (<) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool Source # (<=) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool Source # (>) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool Source # (>=) :: TemperleyLiebGens -> TemperleyLiebGens -> Bool Source # max :: TemperleyLiebGens -> TemperleyLiebGens -> TemperleyLiebGens Source # min :: TemperleyLiebGens -> TemperleyLiebGens -> TemperleyLiebGens Source # | |
Show TemperleyLiebGens Source # | |
Defined in Math.Projects.KnotTheory.TemperleyLieb |
d :: LaurentMPoly Q Source #
tlRelations :: Int -> [NPoly LPQ TemperleyLiebGens] Source #
tr' :: Int -> Monomial TemperleyLiebGens -> LaurentMPoly Q Source #
tr :: Int -> NPoly (LaurentMPoly Q) TemperleyLiebGens -> LaurentMPoly Q Source #
a :: LaurentMPoly Q Source #