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

Safe Haskell | None
Language | Haskell98

Math.QuantumAlgebra.OrientedTangle

# Documentation

data Oriented Source

Constructors

Plus |
Minus |

Instances

Eq Oriented Source |
Ord Oriented Source |
Show Oriented Source |

data HorizDir Source

Constructors

ToL |
ToR |

Instances

Eq HorizDir Source |
Ord HorizDir Source |
Show HorizDir Source |

data OrientedTangle Source

Instances

Monoidal OrientedTangle Source |
MCategory OrientedTangle Source |
Eq (Ob OrientedTangle) Source |
Eq (Ar OrientedTangle) Source |
Ord (Ob OrientedTangle) Source |
Ord (Ar OrientedTangle) Source |
Show (Ob OrientedTangle) Source |
Show (Ar OrientedTangle) Source |
data Ob OrientedTangle = OT [Oriented] Source |

data Ar OrientedTangle

- = IdT [Oriented]
- | CapT HorizDir
- | CupT HorizDir
- | XPlus
- | XMinus
- | SeqT [Ar OrientedTangle]
- | ParT [Ar OrientedTangle]

Source

idV :: a -> a Source

idV' :: a -> a Source

evalV :: (EBasis, EBasis) -> Vect (LaurentPoly Q) () Source

evalV' :: (EBasis, EBasis) -> Vect (LaurentPoly Q) () Source

coevalV :: (Eq k, Num k) => Int -> Vect k (Tensor EBasis EBasis) Source

coevalV' :: (Eq k, Num k) => Int -> Vect k (Tensor EBasis EBasis) Source

lambda :: Integral b => b -> LaurentPoly Q Source

c :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

c' :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

testcc' :: Integral b => b -> Vect (LaurentPoly Q) (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

mu :: Integral b => b -> EBasis -> Vect (LaurentPoly Q) EBasis Source

mu' :: Integral b => b -> EBasis -> Vect (LaurentPoly Q) EBasis Source

capRL :: (Eq k, Num k) => Int -> Vect k (Tensor EBasis EBasis) Source

capLR :: Int -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

cupRL :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) () Source

cupLR :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) () Source

xplus :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

xminus :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

yplus :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

yminus :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

tplus :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

tminus :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

zplus :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

zminus :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source

oloop :: Int -> Vect (LaurentPoly Q) () Source

otrefoil :: Int -> Vect (LaurentPoly Q) () Source

otrefoil' :: Int -> Vect (LaurentPoly Q) () Source