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

Safe HaskellNone
LanguageHaskell98

Math.Projects.KnotTheory.IwahoriHecke

Documentation

data IwahoriHeckeGens Source #

Constructors

T Int 
Instances
Eq IwahoriHeckeGens Source # 
Instance details

Defined in Math.Projects.KnotTheory.IwahoriHecke

Methods

(==) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #

(/=) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #

Ord IwahoriHeckeGens Source # 
Instance details

Defined in Math.Projects.KnotTheory.IwahoriHecke

Methods

compare :: IwahoriHeckeGens -> IwahoriHeckeGens -> Ordering #

(<) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #

(<=) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #

(>) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #

(>=) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #

max :: IwahoriHeckeGens -> IwahoriHeckeGens -> IwahoriHeckeGens #

min :: IwahoriHeckeGens -> IwahoriHeckeGens -> IwahoriHeckeGens #

Show IwahoriHeckeGens Source # 
Instance details

Defined in Math.Projects.KnotTheory.IwahoriHecke

Methods

showsPrec :: Int -> IwahoriHeckeGens -> ShowS #

show :: IwahoriHeckeGens -> String #

showList :: [IwahoriHeckeGens] -> ShowS #

Invertible (NPoly LPQ IwahoriHeckeGens) Source # 
Instance details

Defined in Math.Projects.KnotTheory.IwahoriHecke

Methods

inv :: NPoly LPQ IwahoriHeckeGens -> NPoly LPQ IwahoriHeckeGens Source #

t_ :: Int -> NPoly LPQ IwahoriHeckeGens Source #

t1 :: NPoly LPQ IwahoriHeckeGens Source #

t2 :: NPoly LPQ IwahoriHeckeGens Source #

t3 :: NPoly LPQ IwahoriHeckeGens Source #

t4 :: NPoly LPQ IwahoriHeckeGens Source #

q :: LaurentMPoly Q Source #

z :: LaurentMPoly Q Source #

q' :: NPoly LPQ IwahoriHeckeGens Source #

z' :: NPoly LPQ IwahoriHeckeGens Source #

ihRelations :: Int -> [NPoly LPQ IwahoriHeckeGens] Source #

dimIH :: NPoly r IwahoriHeckeGens -> Int Source #

ihnf :: NPoly LPQ IwahoriHeckeGens -> NPoly LPQ IwahoriHeckeGens Source #

ihBasis :: Int -> [NPoly LPQ IwahoriHeckeGens] Source #

tau' :: Int -> (Monomial IwahoriHeckeGens, LPQ) -> LPQ Source #

tau :: Int -> NPoly LPQ IwahoriHeckeGens -> LPQ Source #

fromBraid :: NPoly LPQ BraidGens -> NPoly LPQ IwahoriHeckeGens Source #

homfly :: Int -> NPoly LPQ BraidGens -> LaurentMPoly Q Source #

i :: LPQ Source #

l :: LPQ Source #

m :: LPQ Source #

homfly' :: Int -> NPoly LPQ BraidGens -> LaurentMPoly Q Source #

homfly'' :: Int -> NPoly LPQ BraidGens -> LaurentMPoly (LaurentMPoly Q) Source #

coeffs :: (Eq r, Fractional r) => LaurentMPoly r -> LaurentMPoly r -> [LaurentMPoly r] Source #

jones' :: Int -> NPoly LPQ BraidGens -> LaurentMPoly Q Source #