Documentation

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

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