Math.Projects.KnotTheory.TemperleyLieb
data TemperleyLiebGens
e_
d
d'
e1
e2
e3
e4
tlRelations
dimTL
tlnf
tlBasis
tr'
tr
a
a'
fromBraid
jones