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

Safe Haskell | None

Math.QuantumAlgebra.OrientedTangle

# Documentation

data Oriented Source

Constructors

Plus |
Minus |

Instances

Eq Oriented |
Ord Oriented |
Show Oriented |

data HorizDir Source

Constructors

ToL |
ToR |

Instances

Eq HorizDir |
Ord HorizDir |
Show HorizDir |

data OrientedTangle Source

Instances

TensorCategory OrientedTangle |
Category OrientedTangle |
Eq (Ob OrientedTangle) |
Eq (Ar OrientedTangle) |
Ord (Ob OrientedTangle) |
Ord (Ar OrientedTangle) |
Show (Ob OrientedTangle) |
Show (Ar OrientedTangle) |

idV :: a -> aSource

idV' :: a -> aSource

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