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'