HaskellForMaths-0.4.6: 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
Ord Oriented
Show Oriented

data HorizDir Source

Constructors

ToL
ToR

Instances

Eq HorizDir
Ord HorizDir
Show HorizDir

data OrientedTangle Source

Instances

Monoidal OrientedTangle
MCategory OrientedTangle
Eq (Ob OrientedTangle)
Eq (Ar OrientedTangle)
Ord (Ob OrientedTangle)
Ord (Ar OrientedTangle)
Show (Ob OrientedTangle)
Show (Ar OrientedTangle)
data Ob OrientedTangle = OT [Oriented]
data Ar OrientedTangle = IdT [Oriented] \| CapT HorizDir \| CupT HorizDir \| XPlus \| XMinus \| SeqT [Ar OrientedTangle] \| ParT [Ar OrientedTangle]

idV :: a -> a Source

idV' :: a -> a Source

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

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

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

coevalV' :: (Num k, Eq 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 :: (Num k, Eq 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