formula_1formula_2 是绞拧数，formula_3 的定义是：L满足考夫曼的纠结关系：琼斯多项式是考夫曼多项式的特烈（ "L" 成为括号多项式）。SO(n)的陈-西蒙斯理论给予夫曼多项式，SU(n)陈西理论给予HOMFLY多项式。