PD Presentation: |
X6172 X10,4,11,3 X12,8,13,7 X18,16,19,15 X16,9,17,10 X8,17,9,18 X22,19,5,20 X20,13,21,14 X14,21,15,22 X2536 X4,12,1,11 |
In[1]:= |
<< KnotTheory` |
Loading KnotTheory` (version of August 30, 2005, 10:15:35)... |
In[2]:= | Length[Skeleton[L]] |
Out[2]= | 2 |
In[3]:= | Show[DrawMorseLink[Link[11, Alternating, 20]]] |
|  |
Out[3]= | -Graphics- |
In[4]:= | PD[L = Link[11, Alternating, 20]] |
Out[4]= | PD[X[6, 1, 7, 2], X[10, 4, 11, 3], X[12, 8, 13, 7], X[18, 16, 19, 15],
> X[16, 9, 17, 10], X[8, 17, 9, 18], X[22, 19, 5, 20], X[20, 13, 21, 14],
> X[14, 21, 15, 22], X[2, 5, 3, 6], X[4, 12, 1, 11]] |
In[5]:= | GaussCode[L] |
Out[5]= | GaussCode[{1, -10, 2, -11}, {10, -1, 3, -6, 5, -2, 11, -3, 8, -9, 4, -5, 6, -4,
> 7, -8, 9, -7}] |
In[6]:= | Jones[L][q] |
Out[6]= | -(15/2) 3 7 12 17 21 20 19
q - ----- + ----- - ---- + ---- - ---- + ---- - ------- + 14 Sqrt[q] -
13/2 11/2 9/2 7/2 5/2 3/2 Sqrt[q]
q q q q q q
3/2 5/2 7/2
> 9 q + 4 q - q |
In[7]:= | A2Invariant[L][q] |
Out[7]= | -24 -22 -20 2 3 3 4 -8 -6 4 3 2
5 - q - q + q - --- + --- - --- + --- + q + q + -- - -- - 2 q +
18 14 12 10 4 2
q q q q q q
6 8 10
> 3 q - 2 q + q |
In[8]:= | HOMFLYPT[Link[11, Alternating, 20]][a, z] |
Out[8]= | 3 5 7
1 2 a 3 a 3 a a 2 z 3 5 7
-(---) + --- - ---- + ---- - -- - --- + 7 a z - 10 a z + 6 a z - a z -
a z z z z z a
3 5
2 z 3 3 3 5 3 z 5 3 5 7
> ---- + 8 a z - 9 a z + 3 a z - -- + 4 a z - 3 a z + a z
a a |
In[9]:= | Kauffman[Link[11, Alternating, 20]][a, z] |
Out[9]= | 3 5 7
2 6 8 1 2 a 3 a 3 a a 4 z 3
-2 a + 2 a + a - --- - --- - ---- - ---- - -- + --- + 15 a z + 22 a z +
a z z z z z a
2
5 7 2 z 2 2 4 2 6 2 8 2
> 14 a z + 3 a z + 2 z - -- + 10 a z + 5 a z - 5 a z - 3 a z +
2
a
3 3 4
z 8 z 3 3 3 5 3 7 3 4 5 z
> -- - ---- - 33 a z - 44 a z - 27 a z - 7 a z - 6 z + ---- -
3 a 2
a a
5 5
2 4 4 4 6 4 8 4 z 13 z 5 3 5
> 32 a z - 22 a z + 2 a z + 3 a z - -- + ----- + 30 a z + 32 a z +
3 a
a
6
5 5 7 5 6 4 z 2 6 4 6 6 6 8 6
> 24 a z + 8 a z + 13 z - ---- + 40 a z + 30 a z + 6 a z - a z -
2
a
7
8 z 7 3 7 5 7 7 7 8 2 8 4 8
> ---- - 6 a z + a z - 4 a z - 3 a z - 9 z - 17 a z - 12 a z -
a
6 8 9 3 9 5 9 2 10 4 10
> 4 a z - 5 a z - 8 a z - 3 a z - a z - a z |
In[10]:= | Kh[L][q, t] |
Out[10]= | 10 1 2 1 5 2 7 5 10
11 + -- + ------ + ------ + ------ + ------ + ------ + ------ + ----- + ----- +
2 16 7 14 6 12 6 12 5 10 5 10 4 8 4 8 3
q q t q t q t q t q t q t q t q t
7 11 10 9 11 2 2 2 4 2
> ----- + ----- + ----- + ---- + ---- + 6 t + 8 q t + 3 q t + 6 q t +
6 3 6 2 4 2 4 2
q t q t q t q t q t
4 3 6 3 8 4
> q t + 3 q t + q t |