結びが同じかどうかの判定には、主に比較的計算が容易なブラケット多項式を使用した。
しかし何度も計算を間違えたので、くり返し出て来る形を整理した。
![]() |
![]() |
||||||
0 | ![]() |
= | -(A^2+A^-2) | ||||
1 | ![]() |
= | -A^-3 | 1- | ![]() |
= | -A^3 |
2 | ![]() |
= | -(A^4+A^-4) | 2- | ![]() |
= | -(A^4+A^-4) |
3 | ![]() |
= | A(A^-8-A^-4-A^4) | 3- | ![]() |
= | A^-1 (A^8-A^4-A^-4) |
4 | ![]() |
= | -A^-2 (A^-8-A^-4+1+A^8) |
4- | ![]() |
= | -A^2 (A^8-A^4+1+A^-8) |
![]() |
![]() |
![]() |
![]() |
||||||||
1 | ![]() |
= | A | + | A^-1 | 1- | ![]() |
= | A^-1 | + | A |
![]() |
![]() |
![]() |
![]() |
||||||||
2 | ![]() |
= | 1-A^4 | + | A^-2 | 2- | ![]() |
= | 1-A^-4 | + | A^2 |
3 | ![]() |
= | A^-1 (1-A^4+A^8) |
+ | A^-3 | 3- | ![]() |
= | A (1-A^-4+A^-8) |
+ | A^3 |
4 | ![]() |
4- | ![]() |
![]() |
![]() |
![]() |
![]() |
||||||||
2 | ![]() |
= | 1-A^4 | + | A^-2 | 2- | ![]() |
= | 1-A^-4 | + | A^2 |
2 1 0 | ![]() |
= | A (1-A^4) |
+ | A^-1 (1-A^4-A^-4) |
2- 1- 0 | ![]() |
= | A^-1 (1-A^-4) |
+ | A (1-A^4-A^-4) |
2 1- 0 | ![]() |
= | A^-1 (1-A^4) |
+ | -A^5 | 2- 1 0 | ![]() |
= | A (1-A^-4) |
+ | -A^-5 |
2 2 0 | ![]() |
A^2 (1-A^4) |
A^-8-A^-4+2-A^4 | 2- 2- 0 | ![]() |
A^-2 (1-A^-4) |
A^8-A^4+2-A^-4 | ||||
2 2- 0 | ![]() |
2- 2 0 | ![]() |