8 8: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
Line 1: Line 1:
<!-- WARNING! WARNING! WARNING!
<!-- WARNING! WARNING! WARNING!
<!-- This page was generated from the splice template [[Rolfsen_Splice_Base]]. Please do not edit!
<!-- This page was generated from the splice base [[Rolfsen_Splice_Base]]. Please do not edit!
<!-- You probably want to edit the template referred to immediately below. (See [[Category:Knot Page Template]].)
<!-- You probably want to edit the template referred to immediately below. (See [[Category:Knot Page Template]].)
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Rolfsen_Splice_Base]]. -->
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Rolfsen_Splice_Base]]. -->
<!-- <math>\text{Null}</math> -->
<!-- -->
<!-- <math>\text{Null}</math> -->
<!-- -->
{{Rolfsen Knot Page|
{{Rolfsen Knot Page|
n = 8 |
n = 8 |
Line 51: Line 51:
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
<td align=left><pre style="color: red; border: 0px; padding: 0em">&lt;&lt; KnotTheory`</pre></td>
</tr>
</tr>
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 29, 2005, 15:27:48)...</td></tr>
<tr valign=top><td colspan=2><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[2]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[Knot[8, 8]]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[1, 4, 2, 5], X[3, 8, 4, 9], X[11, 15, 12, 14], X[5, 13, 6, 12],
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[2]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[Knot[8, 8]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[2]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[X[1, 4, 2, 5], X[3, 8, 4, 9], X[11, 15, 12, 14], X[5, 13, 6, 12],
X[13, 7, 14, 6], X[9, 1, 10, 16], X[15, 11, 16, 10], X[7, 2, 8, 3]]</nowiki></pre></td></tr>
X[13, 7, 14, 6], X[9, 1, 10, 16], X[15, 11, 16, 10], X[7, 2, 8, 3]]</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[Knot[8, 8]]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[-1, 8, -2, 1, -4, 5, -8, 2, -6, 7, -3, 4, -5, 3, -7, 6]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[4]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>DTCode[Knot[8, 8]]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[3]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>DTCode[4, 8, 12, 2, 16, 14, 6, 10]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[Knot[8, 8]]</nowiki></code></td></tr>
<tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>br = BR[Knot[8, 8]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[4, {1, 1, 1, 2, -1, -3, 2, -3, -3}]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[3]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{First[br], Crossings[br]}</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[-1, 8, -2, 1, -4, 5, -8, 2, -6, 7, -3, 4, -5, 3, -7, 6]</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{4, 9}</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BraidIndex[Knot[8, 8]]</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>4</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Show[DrawMorseLink[Knot[8, 8]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:8_8_ML.gif]]</td></tr><tr valign=top><td><tt><font color=blue>Out[8]=</font></tt><td><tt><font color=black>-Graphics-</font></tt></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[Knot[8, 8]]</nowiki></code></td></tr>
<tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki> (#[Knot[8, 8]]&) /@ {
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[4]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[4, 8, 12, 2, 16, 14, 6, 10]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>br = BR[Knot[8, 8]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BR[4, {1, 1, 1, 2, -1, -3, 2, -3, -3}]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{First[br], Crossings[br]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[6]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{4, 9}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[7]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BraidIndex[Knot[8, 8]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[7]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>4</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[8]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Show[DrawMorseLink[Knot[8, 8]]]</nowiki></code></td></tr>
<tr align=left><td></td><td>[[Image:8_8_ML.gif]]</td></tr><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[8]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>-Graphics-</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> (#[Knot[8, 8]]&) /@ {
SymmetryType, UnknottingNumber, ThreeGenus,
SymmetryType, UnknottingNumber, ThreeGenus,
BridgeIndex, SuperBridgeIndex, NakanishiIndex
BridgeIndex, SuperBridgeIndex, NakanishiIndex
}</nowiki></pre></td></tr>
}</nowiki></code></td></tr>
<tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Reversible, 2, 2, 2, {4, 5}, 1}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>alex = Alexander[Knot[8, 8]][t]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 6 2
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Reversible, 2, 2, 2, {4, 5}, 1}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>alex = Alexander[Knot[8, 8]][t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[10]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 6 2
9 + -- - - - 6 t + 2 t
9 + -- - - - 6 t + 2 t
2 t
2 t
t</nowiki></pre></td></tr>
t</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Conway[Knot[8, 8]][z]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>
1 + 2 z + 2 z</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></pre></td></tr>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Conway[Knot[8, 8]][z]</nowiki></code></td></tr>
<tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[8, 8], Knot[10, 129], Knot[11, NonAlternating, 39],
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 4
1 + 2 z + 2 z</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[8, 8], Knot[10, 129], Knot[11, NonAlternating, 39],
Knot[11, NonAlternating, 45], Knot[11, NonAlternating, 50],
Knot[11, NonAlternating, 45], Knot[11, NonAlternating, 50],
Knot[11, NonAlternating, 132]}</nowiki></pre></td></tr>
Knot[11, NonAlternating, 132]}</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{KnotDet[Knot[8, 8]], KnotSignature[Knot[8, 8]]}</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{25, 0}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Jones[Knot[8, 8]][q]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[13]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -3 2 3 2 3 4 5
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{KnotDet[Knot[8, 8]], KnotSignature[Knot[8, 8]]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[13]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{25, 0}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[14]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Jones[Knot[8, 8]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[14]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -3 2 3 2 3 4 5
5 - q + -- - - - 4 q + 4 q - 3 q + 2 q - q
5 - q + -- - - - 4 q + 4 q - 3 q + 2 q - q
2 q
2 q
q</nowiki></pre></td></tr>
q</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[15]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[8, 8], Knot[10, 129]}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[16]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[Knot[8, 8]][q]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[15]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[16]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -10 -4 2 2 4 8 10 16
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[15]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[8, 8], Knot[10, 129]}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[16]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>A2Invariant[Knot[8, 8]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[16]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -10 -4 2 2 4 8 10 16
1 - q - q + -- + 2 q + q + q - q - q
1 - q - q + -- + 2 q + q + q - q - q
2
2
q</nowiki></pre></td></tr>
q</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[17]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>HOMFLYPT[Knot[8, 8]][a, z]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[17]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 2 4
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[17]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>HOMFLYPT[Knot[8, 8]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[17]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 2 4
-4 -2 2 2 z 2 z 2 2 4 z
-4 -2 2 2 z 2 z 2 2 4 z
2 - a + a - a + 2 z - -- + ---- - a z + z + --
2 - a + a - a + 2 z - -- + ---- - a z + z + --
4 2 2
4 2 2
a a a</nowiki></pre></td></tr>
a a a</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[18]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[Knot[8, 8]][a, z]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[18]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 2
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[18]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kauffman[Knot[8, 8]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[18]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 2
-4 -2 2 2 z 3 z z 3 2 4 z 5 z
-4 -2 2 2 z 3 z z 3 2 4 z 5 z
2 - a - a + a + --- + --- + - - a z - a z - z + ---- + ---- -
2 - a - a + a + --- + --- + - - a z - a z - z + ---- + ---- -
Line 123: Line 209:
-- + -- + 2 a z + 2 z + ---- + ---- + -- + --
-- + -- + 2 a z + 2 z + ---- + ---- + -- + --
5 a 4 2 3 a
5 a 4 2 3 a
a a a a</nowiki></pre></td></tr>
a a a a</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[19]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][Knot[8, 8]], Vassiliev[3][Knot[8, 8]]}</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[19]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{2, 1}</nowiki></pre></td></tr>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[20]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[Knot[8, 8]][q, t]</nowiki></pre></td></tr>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[19]:=</code></td>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[20]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>3 1 1 1 2 1 3
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Vassiliev[2][Knot[8, 8]], Vassiliev[3][Knot[8, 8]]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[19]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{2, 1}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[20]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kh[Knot[8, 8]][q, t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[20]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>3 1 1 1 2 1 3
- + 3 q + ----- + ----- + ----- + ---- + --- + 2 q t + 2 q t +
- + 3 q + ----- + ----- + ----- + ---- + --- + 2 q t + 2 q t +
q 7 3 5 2 3 2 3 q t
q 7 3 5 2 3 2 3 q t
Line 133: Line 229:
3 2 5 2 5 3 7 3 7 4 9 4 11 5
3 2 5 2 5 3 7 3 7 4 9 4 11 5
2 q t + 2 q t + q t + 2 q t + q t + q t + q t</nowiki></pre></td></tr>
2 q t + 2 q t + q t + 2 q t + q t + q t + q t</nowiki></code></td></tr>
</table>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[21]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>ColouredJones[Knot[8, 8], 2][q]</nowiki></pre></td></tr>
<table><tr align=left>
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[21]=&nbsp;&nbsp;</nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -9 2 4 7 2 10 15 3 2 3
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[21]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>ColouredJones[Knot[8, 8], 2][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[21]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -9 2 4 7 2 10 15 3 2 3
17 + q - -- + -- - -- + -- + -- - -- + - - 20 q + 2 q + 19 q -
17 + q - -- + -- - -- + -- + -- - -- + - - 20 q + 2 q + 19 q -
8 6 5 4 3 2 q
8 6 5 4 3 2 q
Line 144: Line 245:
13 14 15
13 14 15
q - 2 q + q</nowiki></pre></td></tr>
q - 2 q + q</nowiki></code></td></tr>
</table> }}
</table> }}

Revision as of 17:02, 1 September 2005

8 7.gif

8_7

8 9.gif

8_9

8 8.gif
(KnotPlot image)

See the full Rolfsen Knot Table.

Visit 8 8's page at the Knot Server (KnotPlot driven, includes 3D interactive images!)

Visit 8 8 at Knotilus!


Knot presentations

Planar diagram presentation X1425 X3849 X11,15,12,14 X5,13,6,12 X13,7,14,6 X9,1,10,16 X15,11,16,10 X7283
Gauss code -1, 8, -2, 1, -4, 5, -8, 2, -6, 7, -3, 4, -5, 3, -7, 6
Dowker-Thistlethwaite code 4 8 12 2 16 14 6 10
Conway Notation [2312]


Minimum Braid Representative A Morse Link Presentation An Arc Presentation
BraidPart1.gifBraidPart1.gifBraidPart1.gifBraidPart0.gifBraidPart3.gifBraidPart0.gifBraidPart0.gifBraidPart0.gif
BraidPart2.gifBraidPart2.gifBraidPart2.gifBraidPart1.gifBraidPart4.gifBraidPart1.gifBraidPart0.gifBraidPart0.gif
BraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart2.gifBraidPart3.gifBraidPart2.gifBraidPart3.gifBraidPart3.gif
BraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart0.gifBraidPart4.gifBraidPart0.gifBraidPart4.gifBraidPart4.gif

Length is 9, width is 4,

Braid index is 4

8 8 ML.gif 8 8 AP.gif
[{10, 2}, {1, 8}, {4, 9}, {8, 10}, {3, 5}, {2, 4}, {6, 3}, {5, 7}, {9, 6}, {7, 1}]

[edit Notes on presentations of 8 8]

Knot 8_8.
A graph, knot 8_8.

Three dimensional invariants

Symmetry type Reversible
Unknotting number 2
3-genus 2
Bridge index 2
Super bridge index
Nakanishi index 1
Maximal Thurston-Bennequin number [-4][-6]
Hyperbolic Volume 7.80134
A-Polynomial See Data:8 8/A-polynomial

[edit Notes for 8 8's three dimensional invariants]

Four dimensional invariants

Smooth 4 genus
Topological 4 genus
Concordance genus
Rasmussen s-Invariant 0

[edit Notes for 8 8's four dimensional invariants]

Polynomial invariants

Alexander polynomial
Conway polynomial
2nd Alexander ideal (db, data sources)
Determinant and Signature { 25, 0 }
Jones polynomial
HOMFLY-PT polynomial (db, data sources)
Kauffman polynomial (db, data sources)
The A2 invariant
The G2 invariant

"Similar" Knots (within the Atlas)

Same Alexander/Conway Polynomial: {10_129, K11n39, K11n45, K11n50, K11n132,}

Same Jones Polynomial (up to mirroring, ): {10_129,}

Vassiliev invariants

V2 and V3: (2, 1)
V2,1 through V6,9:
V2,1 V3,1 V4,1 V4,2 V4,3 V5,1 V5,2 V5,3 V5,4 V6,1 V6,2 V6,3 V6,4 V6,5 V6,6 V6,7 V6,8 V6,9

V2,1 through V6,9 were provided by Petr Dunin-Barkowski <barkovs@itep.ru>, Andrey Smirnov <asmirnov@itep.ru>, and Alexei Sleptsov <sleptsov@itep.ru> and uploaded on October 2010 by User:Drorbn. Note that they are normalized differently than V2 and V3.

Khovanov Homology

The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where 0 is the signature of 8 8. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.   
\ r
  \  
j \
-3-2-1012345χ
11        1-1
9       1 1
7      21 -1
5     21  1
3    22   0
1   32    1
-1  13     2
-3 12      -1
-5 1       1
-71        -1
Integral Khovanov Homology

(db, data source)

  

The Coloured Jones Polynomials