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

Safe Haskell | None

Math.Projects.KnotTheory.IwahoriHecke

# Documentation

data IwahoriHeckeGens Source

Constructors

T Int |

Instances

Eq IwahoriHeckeGens |
Ord IwahoriHeckeGens |
Show IwahoriHeckeGens |
Invertible (NPoly LPQ IwahoriHeckeGens) |

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 t 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 (LaurentMPoly Q) 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 t, Fractional t) => LaurentMPoly t -> LaurentMPoly t -> [LaurentMPoly t]Source

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