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

Safe Haskell | None
Language | Haskell98

Math.Projects.KnotTheory.IwahoriHecke

# Documentation

data IwahoriHeckeGens Source #

Constructors

T Int |

Instances

Eq IwahoriHeckeGens Source # |
Methods (==) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool # (/=) :: IwahoriHeckeGens -> IwahoriHeckeGens -> Bool #
Ord IwahoriHeckeGens Source # |

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 # |
Methods showsPrec :: Int -> IwahoriHeckeGens -> ShowS # show :: IwahoriHeckeGens -> String # showList :: [IwahoriHeckeGens] -> ShowS #
Invertible (NPoly LPQ IwahoriHeckeGens) Source # |
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 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 #