HaskellForMaths-0.4.5: Combinatorics, group theory, commutative algebra, non-commutative algebra
Math.QuantumAlgebra.OrientedTangle
data Oriented Source
Constructors
Instances
data HorizDir Source
data OrientedTangle Source
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 QSource
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) EBasisSource
mu' :: Integral b => b -> EBasis -> Vect (LaurentPoly Q) EBasisSource
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