Math.QuantumAlgebra.OrientedTangle
data Oriented
data HorizDir
data OrientedTangle
idV
idV'
evalV
evalV'
coevalV
coevalV'
lambda
c
c'
testcc'
mu
mu'
capRL
capLR
cupRL
cupLR
xplus
xminus
yplus
yminus
tplus
tminus
zplus
zminus
oloop
otrefoil
otrefoil'