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

Safe HaskellSafe-Infered

Math.Projects.KnotTheory.IwahoriHecke

Documentation

data IwahoriHeckeGens Source

Constructors

T Int 

Instances

t_ :: Int -> NPoly LPQ IwahoriHeckeGensSource

t1 :: NPoly LPQ IwahoriHeckeGensSource

t2 :: NPoly LPQ IwahoriHeckeGensSource

t3 :: NPoly LPQ IwahoriHeckeGensSource

t4 :: NPoly LPQ IwahoriHeckeGensSource

q :: LaurentMPoly QSource

z :: LaurentMPoly QSource

q' :: NPoly LPQ IwahoriHeckeGensSource

z' :: NPoly LPQ IwahoriHeckeGensSource

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

dimIH :: NPoly t IwahoriHeckeGens -> IntSource

ihnf :: NPoly LPQ IwahoriHeckeGens -> NPoly LPQ IwahoriHeckeGensSource

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

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

tau :: Int -> NPoly LPQ IwahoriHeckeGens -> LPQSource

fromBraid :: NPoly LPQ BraidGens -> NPoly LPQ IwahoriHeckeGensSource

homfly :: Int -> NPoly LPQ BraidGens -> LaurentMPoly QSource

i :: LPQSource

l :: LPQSource

m :: LPQSource

homfly' :: Int -> NPoly LPQ BraidGens -> LaurentMPoly QSource

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

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

jones' :: Int -> NPoly LPQ BraidGens -> LaurentMPoly QSource