Documentation

data Oriented Source

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