PD Presentation: |
X9,25,10,24 X25,11,26,10 X11,27,12,26 X27,13,28,12 X13,29,14,28 X29,15,30,14 X15,1,16,30 X1,17,2,16 X17,3,18,2 X3,19,4,18 X19,5,20,4 X5,21,6,20 X21,7,22,6 X7,23,8,22 X23,9,24,8 |
In[1]:= |
<< KnotTheory` |
Loading KnotTheory` (version of August 30, 2005, 10:15:35)... |
In[2]:= | TubePlot[TorusKnot[15, 2]] |
|  |
Out[2]= | -Graphics- |
In[3]:= | Crossings[TorusKnot[15, 2]] |
Out[3]= | 15 |
In[4]:= | PD[TorusKnot[15, 2]] |
Out[4]= | PD[X[9, 25, 10, 24], X[25, 11, 26, 10], X[11, 27, 12, 26], X[27, 13, 28, 12],
> X[13, 29, 14, 28], X[29, 15, 30, 14], X[15, 1, 16, 30], X[1, 17, 2, 16],
> X[17, 3, 18, 2], X[3, 19, 4, 18], X[19, 5, 20, 4], X[5, 21, 6, 20],
> X[21, 7, 22, 6], X[7, 23, 8, 22], X[23, 9, 24, 8]] |
In[5]:= | GaussCode[TorusKnot[15, 2]] |
Out[5]= | GaussCode[-8, 9, -10, 11, -12, 13, -14, 15, -1, 2, -3, 4, -5, 6, -7, 8, -9, 10,
> -11, 12, -13, 14, -15, 1, -2, 3, -4, 5, -6, 7] |
In[6]:= | BR[TorusKnot[15, 2]] |
Out[6]= | BR[2, {1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}] |
In[7]:= | alex = Alexander[TorusKnot[15, 2]][t] |
Out[7]= | -7 -6 -5 -4 -3 -2 1 2 3 4 5 6 7
-1 + t - t + t - t + t - t + - + t - t + t - t + t - t + t
t |
In[8]:= | Conway[TorusKnot[15, 2]][z] |
Out[8]= | 2 4 6 8 10 12 14
1 + 28 z + 126 z + 210 z + 165 z + 66 z + 13 z + z |
In[9]:= | Select[AllKnots[], (alex === Alexander[#][t])&] |
Out[9]= | {} |
In[10]:= | {KnotDet[TorusKnot[15, 2]], KnotSignature[TorusKnot[15, 2]]} |
Out[10]= | {15, 14} |
In[11]:= | J=Jones[TorusKnot[15, 2]][q] |
Out[11]= | 7 9 10 11 12 13 14 15 16 17 18 19 20
q + q - q + q - q + q - q + q - q + q - q + q - q +
21 22
> q - q |
In[12]:= | Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&] |
Out[12]= | {} |
In[13]:= | ColouredJones[TorusKnot[15, 2], 2][q] |
Out[13]= | 14 17 19 20 22 23 25 26 28 29 31 32 34
q + q - q + q - q + q - q + q - q + q - q + q - q +
35 37 38 40 41 43 44 45 46 47 49 50
> q - q + q - q + q - q + q - q - q + q - q + q -
52 53 55 56 58 59
> q + q - q + q - q + q |
In[14]:= | A2Invariant[TorusKnot[15, 2]][q] |
Out[14]= | 26 28 30 32 34 58 60 62
q + q + 2 q + q + q - q - q - q |
In[15]:= | Kauffman[TorusKnot[15, 2]][a, z] |
Out[15]= | 2 2 2
-7 8 z z z z z z z 7 z z 2 z 3 z
--- - --- + --- - --- + --- - --- + --- - --- + --- + --- + --- - ---- + ---- -
16 14 29 27 25 23 21 19 17 15 28 26 24
a a a a a a a a a a a a a
2 2 2 2 2 3 3 3 3 3
4 z 5 z 6 z 63 z 84 z z 3 z 6 z 10 z 15 z
> ---- + ---- - ---- + ----- + ----- + --- - ---- + ---- - ----- + ----- -
22 20 18 16 14 27 25 23 21 19
a a a a a a a a a a
3 3 4 4 4 4 4 4 4
21 z 56 z z 4 z 10 z 20 z 35 z 182 z 252 z
> ----- - ----- + --- - ---- + ----- - ----- + ----- - ------ - ------ +
17 15 26 24 22 20 18 16 14
a a a a a a a a a
5 5 5 5 5 5 6 6 6 6
z 5 z 15 z 35 z 70 z 126 z z 6 z 21 z 56 z
> --- - ---- + ----- - ----- + ----- + ------ + --- - ---- + ----- - ----- +
25 23 21 19 17 15 24 22 20 18
a a a a a a a a a a
6 6 7 7 7 7 7 8 8
246 z 330 z z 7 z 28 z 84 z 120 z z 8 z
> ------ + ------ + --- - ---- + ----- - ----- - ------ + --- - ---- +
16 14 23 21 19 17 15 22 20
a a a a a a a a a
8 8 8 9 9 9 9 10 10
36 z 175 z 220 z z 9 z 45 z 55 z z 10 z
> ----- - ------ - ------ + --- - ---- + ----- + ----- + --- - ------ +
18 16 14 21 19 17 15 20 18
a a a a a a a a a
10 10 11 11 11 12 12 12 13
67 z 78 z z 11 z 12 z z 13 z 14 z z
> ------ + ------ + --- - ------ - ------ + --- - ------ - ------ + --- +
16 14 19 17 15 18 16 14 17
a a a a a a a a a
13 14 14
z z z
> --- + --- + ---
15 16 14
a a a |
In[16]:= | {Vassiliev[2][TorusKnot[15, 2]], Vassiliev[3][TorusKnot[15, 2]]} |
Out[16]= | {28, 140} |
In[17]:= | Kh[TorusKnot[15, 2]][q, t] |
Out[17]= | 13 15 17 2 21 3 21 4 25 5 25 6 29 7 29 8
q + q + q t + q t + q t + q t + q t + q t + q t +
33 9 33 10 37 11 37 12 41 13 41 14 45 15
> q t + q t + q t + q t + q t + q t + q t |