9 37: Difference between revisions
(Resetting knot page to basic template.) |
No edit summary |
||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
<!-- WARNING! WARNING! WARNING! |
|||
{{Template:Basic Knot Invariants|name=9_37}} |
|||
<!-- 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]].) |
|||
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Rolfsen_Splice_Base]]. --> |
|||
<!-- --> |
|||
<!-- --> |
|||
{{Rolfsen Knot Page| |
|||
n = 9 | |
|||
k = 37 | |
|||
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,4,-3,1,-5,6,-2,9,-8,3,-4,2,-6,5,-7,8,-9,7/goTop.html | |
|||
braid_table = <table cellspacing=0 cellpadding=0 border=0> |
|||
<tr><td>[[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart2.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]]</td></tr> |
|||
</table> | |
|||
braid_crossings = 12 | |
|||
braid_width = 5 | |
|||
braid_index = 5 | |
|||
same_alexander = [[K11n100]], | |
|||
same_jones = | |
|||
khovanov_table = <table border=1> |
|||
<tr align=center> |
|||
<td width=14.2857%><table cellpadding=0 cellspacing=0> |
|||
<tr><td>\</td><td> </td><td>r</td></tr> |
|||
<tr><td> </td><td> \ </td><td> </td></tr> |
|||
<tr><td>j</td><td> </td><td>\</td></tr> |
|||
</table></td> |
|||
<td width=7.14286%>-5</td ><td width=7.14286%>-4</td ><td width=7.14286%>-3</td ><td width=7.14286%>-2</td ><td width=7.14286%>-1</td ><td width=7.14286%>0</td ><td width=7.14286%>1</td ><td width=7.14286%>2</td ><td width=7.14286%>3</td ><td width=7.14286%>4</td ><td width=14.2857%>χ</td></tr> |
|||
<tr align=center><td>9</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td>1</td></tr> |
|||
<tr align=center><td>7</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow> </td><td>-1</td></tr> |
|||
<tr align=center><td>5</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>4</td><td bgcolor=yellow>1</td><td> </td><td>3</td></tr> |
|||
<tr align=center><td>3</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>3</td><td bgcolor=yellow>1</td><td> </td><td> </td><td>-2</td></tr> |
|||
<tr align=center><td>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>4</td><td bgcolor=yellow>4</td><td> </td><td> </td><td> </td><td>0</td></tr> |
|||
<tr align=center><td>-1</td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>5</td><td bgcolor=yellow>4</td><td> </td><td> </td><td> </td><td> </td><td>-1</td></tr> |
|||
<tr align=center><td>-3</td><td> </td><td> </td><td> </td><td bgcolor=yellow>2</td><td bgcolor=yellow>3</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>-1</td></tr> |
|||
<tr align=center><td>-5</td><td> </td><td> </td><td bgcolor=yellow>2</td><td bgcolor=yellow>5</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>3</td></tr> |
|||
<tr align=center><td>-7</td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>2</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>-1</td></tr> |
|||
<tr align=center><td>-9</td><td bgcolor=yellow> </td><td bgcolor=yellow>2</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>2</td></tr> |
|||
<tr align=center><td>-11</td><td bgcolor=yellow>1</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td>-1</td></tr> |
|||
</table> | |
|||
coloured_jones_2 = <math>q^{12}-2 q^{11}+q^{10}+5 q^9-11 q^8+3 q^7+19 q^6-29 q^5+q^4+41 q^3-44 q^2-5 q+58-48 q^{-1} -14 q^{-2} +59 q^{-3} -39 q^{-4} -20 q^{-5} +46 q^{-6} -20 q^{-7} -18 q^{-8} +26 q^{-9} -5 q^{-10} -11 q^{-11} +9 q^{-12} -3 q^{-14} + q^{-15} </math> | |
|||
coloured_jones_3 = <math>q^{24}-2 q^{23}+q^{22}+q^{21}+q^{20}-7 q^{19}+3 q^{18}+11 q^{17}-3 q^{16}-27 q^{15}+9 q^{14}+42 q^{13}+q^{12}-77 q^{11}-4 q^{10}+104 q^9+26 q^8-137 q^7-51 q^6+166 q^5+78 q^4-183 q^3-112 q^2+197 q+130-189 q^{-1} -156 q^{-2} +183 q^{-3} +165 q^{-4} -158 q^{-5} -172 q^{-6} +132 q^{-7} +172 q^{-8} -100 q^{-9} -159 q^{-10} +57 q^{-11} +151 q^{-12} -34 q^{-13} -120 q^{-14} -2 q^{-15} +100 q^{-16} +14 q^{-17} -66 q^{-18} -26 q^{-19} +44 q^{-20} +23 q^{-21} -22 q^{-22} -19 q^{-23} +11 q^{-24} +11 q^{-25} -4 q^{-26} -5 q^{-27} +3 q^{-29} - q^{-30} </math> | |
|||
coloured_jones_4 = <math>q^{40}-2 q^{39}+q^{38}+q^{37}-3 q^{36}+5 q^{35}-7 q^{34}+5 q^{33}+6 q^{32}-15 q^{31}+9 q^{30}-18 q^{29}+27 q^{28}+31 q^{27}-49 q^{26}-13 q^{25}-59 q^{24}+87 q^{23}+126 q^{22}-73 q^{21}-86 q^{20}-213 q^{19}+140 q^{18}+337 q^{17}+7 q^{16}-163 q^{15}-517 q^{14}+89 q^{13}+591 q^{12}+229 q^{11}-139 q^{10}-875 q^9-102 q^8+759 q^7+506 q^6+4 q^5-1137 q^4-336 q^3+780 q^2+705 q+197-1231 q^{-1} -511 q^{-2} +680 q^{-3} +774 q^{-4} +373 q^{-5} -1163 q^{-6} -603 q^{-7} +492 q^{-8} +734 q^{-9} +523 q^{-10} -959 q^{-11} -626 q^{-12} +241 q^{-13} +596 q^{-14} +626 q^{-15} -637 q^{-16} -564 q^{-17} -32 q^{-18} +366 q^{-19} +632 q^{-20} -282 q^{-21} -396 q^{-22} -210 q^{-23} +107 q^{-24} +494 q^{-25} -25 q^{-26} -169 q^{-27} -221 q^{-28} -68 q^{-29} +275 q^{-30} +61 q^{-31} -8 q^{-32} -123 q^{-33} -101 q^{-34} +102 q^{-35} +39 q^{-36} +35 q^{-37} -37 q^{-38} -57 q^{-39} +25 q^{-40} +8 q^{-41} +20 q^{-42} -4 q^{-43} -18 q^{-44} +4 q^{-45} +5 q^{-47} -3 q^{-49} + q^{-50} </math> | |
|||
coloured_jones_5 = <math>q^{60}-2 q^{59}+q^{58}+q^{57}-3 q^{56}+q^{55}+5 q^{54}-5 q^{53}+4 q^{51}-10 q^{50}-2 q^{49}+17 q^{48}+2 q^{47}+5 q^{46}-3 q^{45}-39 q^{44}-31 q^{43}+30 q^{42}+67 q^{41}+72 q^{40}+6 q^{39}-146 q^{38}-184 q^{37}-38 q^{36}+191 q^{35}+356 q^{34}+211 q^{33}-251 q^{32}-596 q^{31}-454 q^{30}+155 q^{29}+860 q^{28}+926 q^{27}+16 q^{26}-1104 q^{25}-1429 q^{24}-460 q^{23}+1226 q^{22}+2093 q^{21}+1032 q^{20}-1216 q^{19}-2660 q^{18}-1780 q^{17}+982 q^{16}+3185 q^{15}+2576 q^{14}-607 q^{13}-3544 q^{12}-3325 q^{11}+110 q^{10}+3701 q^9+4010 q^8+425 q^7-3755 q^6-4481 q^5-933 q^4+3609 q^3+4851 q^2+1391 q-3460-4996 q^{-1} -1752 q^{-2} +3163 q^{-3} +5081 q^{-4} +2059 q^{-5} -2903 q^{-6} -4986 q^{-7} -2302 q^{-8} +2518 q^{-9} +4858 q^{-10} +2522 q^{-11} -2125 q^{-12} -4596 q^{-13} -2701 q^{-14} +1618 q^{-15} +4241 q^{-16} +2861 q^{-17} -1051 q^{-18} -3791 q^{-19} -2940 q^{-20} +470 q^{-21} +3153 q^{-22} +2928 q^{-23} +182 q^{-24} -2507 q^{-25} -2764 q^{-26} -662 q^{-27} +1697 q^{-28} +2436 q^{-29} +1124 q^{-30} -1003 q^{-31} -1997 q^{-32} -1260 q^{-33} +304 q^{-34} +1440 q^{-35} +1314 q^{-36} +148 q^{-37} -909 q^{-38} -1096 q^{-39} -465 q^{-40} +425 q^{-41} +855 q^{-42} +538 q^{-43} -89 q^{-44} -531 q^{-45} -512 q^{-46} -112 q^{-47} +297 q^{-48} +378 q^{-49} +176 q^{-50} -101 q^{-51} -251 q^{-52} -177 q^{-53} +17 q^{-54} +141 q^{-55} +120 q^{-56} +28 q^{-57} -59 q^{-58} -84 q^{-59} -33 q^{-60} +29 q^{-61} +42 q^{-62} +18 q^{-63} -2 q^{-64} -18 q^{-65} -20 q^{-66} +4 q^{-67} +11 q^{-68} +3 q^{-69} -5 q^{-72} +3 q^{-74} - q^{-75} </math> | |
|||
coloured_jones_6 = | |
|||
coloured_jones_7 = | |
|||
computer_talk = |
|||
<table> |
|||
<tr valign=top> |
|||
<td><pre style="color: blue; border: 0px; padding: 0em">In[1]:= </pre></td> |
|||
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
|||
</tr> |
|||
<tr valign=top><td colspan=2><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<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[9, 37]]</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[7, 12, 8, 13], X[3, 11, 4, 10], X[11, 3, 12, 2], |
|||
X[5, 14, 6, 15], X[13, 6, 14, 7], X[15, 18, 16, 1], X[9, 17, 10, 16], |
|||
X[17, 9, 18, 8]]</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[3]:=</code></td> |
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[Knot[9, 37]]</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[3]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[-1, 4, -3, 1, -5, 6, -2, 9, -8, 3, -4, 2, -6, 5, -7, 8, -9, 7]</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td> |
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[Knot[9, 37]]</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<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, 10, 14, 12, 16, 2, 6, 18, 8]</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[9, 37]]</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[5, {-1, -1, 2, -1, -3, 2, 1, 4, -3, 2, -3, 4}]</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>{5, 12}</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[9, 37]]</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>5</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[9, 37]]]</nowiki></code></td></tr> |
|||
<tr align=left><td></td><td>[[Image:9_37_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[9, 37]]&) /@ { |
|||
SymmetryType, UnknottingNumber, ThreeGenus, |
|||
BridgeIndex, SuperBridgeIndex, NakanishiIndex |
|||
}</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td> |
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Reversible, 2, 2, 3, {4, 7}, 2}</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[9, 37]][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 11 2 |
|||
19 + -- - -- - 11 t + 2 t |
|||
2 t |
|||
t</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td> |
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Conway[Knot[9, 37]][z]</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<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 - 3 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[9, 37], Knot[11, NonAlternating, 100]}</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[13]:=</code></td> |
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{KnotDet[Knot[9, 37]], KnotSignature[Knot[9, 37]]}</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>{45, 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[9, 37]][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> -5 3 4 7 8 2 3 4 |
|||
7 - q + -- - -- + -- - - - 7 q + 5 q - 2 q + q |
|||
4 3 2 q |
|||
q q q</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[15]:=</code></td> |
|||
<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[9, 37]}</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[9, 37]][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> -16 -14 -12 -10 3 -6 4 6 8 10 |
|||
-3 - q + q + q - q + -- + q - 2 q + q + 2 q - q + |
|||
8 |
|||
q |
|||
12 14 |
|||
q + q</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<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[9, 37]][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 |
|||
-4 2 2 2 z 2 2 4 2 4 2 4 |
|||
-2 + a + 2 a - z - ---- + a z - a z + z + a z |
|||
2 |
|||
a</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<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[9, 37]][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 5 z 3 2 2 z z 2 2 |
|||
-2 + a - 2 a - --- - 7 a z - 2 a z + 12 z - ---- + -- + 14 a z + |
|||
a 4 2 |
|||
a a |
|||
3 3 4 |
|||
4 2 2 z 6 z 3 3 3 5 3 4 z |
|||
5 a z - ---- + ---- + 13 a z + 3 a z - 2 a z - 13 z + -- - |
|||
3 a 4 |
|||
a a |
|||
4 5 5 |
|||
3 z 2 4 4 4 2 z 4 z 5 3 5 5 5 |
|||
---- - 17 a z - 8 a z + ---- - ---- - 13 a z - 6 a z + a z + |
|||
2 3 a |
|||
a a |
|||
6 7 |
|||
6 3 z 2 6 4 6 3 z 7 3 7 8 2 8 |
|||
5 z + ---- + 5 a z + 3 a z + ---- + 6 a z + 3 a z + z + a z |
|||
2 a |
|||
a</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[19]:=</code></td> |
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Vassiliev[2][Knot[9, 37]], Vassiliev[3][Knot[9, 37]]}</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>{-3, -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[9, 37]][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>4 1 2 1 2 2 5 2 |
|||
- + 4 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- + |
|||
q 11 5 9 4 7 4 7 3 5 3 5 2 3 2 |
|||
q t q t q t q t q t q t q t |
|||
3 5 3 3 2 5 2 5 3 7 3 9 4 |
|||
---- + --- + 4 q t + 3 q t + q t + 4 q t + q t + q t + q t |
|||
3 q t |
|||
q t</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<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[9, 37], 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> -15 3 9 11 5 26 18 20 46 20 39 59 |
|||
58 + q - --- + --- - --- - --- + -- - -- - -- + -- - -- - -- + -- - |
|||
14 12 11 10 9 8 7 6 5 4 3 |
|||
q q q q q q q q q q q |
|||
14 48 2 3 4 5 6 7 8 |
|||
-- - -- - 5 q - 44 q + 41 q + q - 29 q + 19 q + 3 q - 11 q + |
|||
2 q |
|||
q |
|||
9 10 11 12 |
|||
5 q + q - 2 q + q</nowiki></code></td></tr> |
|||
</table> }} |
|||
Latest revision as of 18:03, 1 September 2005
|
|
|
![]() (KnotPlot image) |
See the full Rolfsen Knot Table. Visit 9 37's page at the Knot Server (KnotPlot driven, includes 3D interactive images!) |
Knot presentations
| Planar diagram presentation | X1425 X7,12,8,13 X3,11,4,10 X11,3,12,2 X5,14,6,15 X13,6,14,7 X15,18,16,1 X9,17,10,16 X17,9,18,8 |
| Gauss code | -1, 4, -3, 1, -5, 6, -2, 9, -8, 3, -4, 2, -6, 5, -7, 8, -9, 7 |
| Dowker-Thistlethwaite code | 4 10 14 12 16 2 6 18 8 |
| Conway Notation | [3,21,21] |
| Minimum Braid Representative | A Morse Link Presentation | An Arc Presentation | |||||
Length is 12, width is 5, Braid index is 5 |
|
![]() [{11, 4}, {5, 3}, {4, 8}, {2, 5}, {7, 9}, {8, 6}, {3, 7}, {6, 1}, {10, 2}, {9, 11}, {1, 10}] |
[edit Notes on presentations of 9 37]
KnotTheory`. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of May 31, 2006, 14:15:20.091.
|
In[3]:=
|
K = Knot["9 37"];
|
In[4]:=
|
PD[K]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
X1425 X7,12,8,13 X3,11,4,10 X11,3,12,2 X5,14,6,15 X13,6,14,7 X15,18,16,1 X9,17,10,16 X17,9,18,8 |
In[5]:=
|
GaussCode[K]
|
Out[5]=
|
-1, 4, -3, 1, -5, 6, -2, 9, -8, 3, -4, 2, -6, 5, -7, 8, -9, 7 |
In[6]:=
|
DTCode[K]
|
Out[6]=
|
4 10 14 12 16 2 6 18 8 |
(The path below may be different on your system)
In[7]:=
|
AppendTo[$Path, "C:/bin/LinKnot/"];
|
In[8]:=
|
ConwayNotation[K]
|
Out[8]=
|
[3,21,21] |
In[9]:=
|
br = BR[K]
|
KnotTheory::credits: The minimum braids representing the knots with up to 10 crossings were provided by Thomas Gittings. See arXiv:math.GT/0401051.
|
Out[9]=
|
[math]\displaystyle{ \textrm{BR}(5,\{-1,-1,2,-1,-3,2,1,4,-3,2,-3,4\}) }[/math] |
In[10]:=
|
{First[br], Crossings[br], BraidIndex[K]}
|
KnotTheory::credits: The braid index data known to KnotTheory` is taken from Charles Livingston's http://www.indiana.edu/~knotinfo/.
|
KnotTheory::loading: Loading precomputed data in IndianaData`.
|
Out[10]=
|
{ 5, 12, 5 } |
In[11]:=
|
Show[BraidPlot[br]]
|
Out[11]=
|
-Graphics- |
In[12]:=
|
Show[DrawMorseLink[K]]
|
KnotTheory::credits: "MorseLink was added to KnotTheory` by Siddarth Sankaran at the University of Toronto in the summer of 2005."
|
KnotTheory::credits: "DrawMorseLink was written by Siddarth Sankaran at the University of Toronto in the summer of 2005."
|
|
Out[12]=
|
-Graphics- |
In[13]:=
|
ap = ArcPresentation[K]
|
Out[13]=
|
ArcPresentation[{11, 4}, {5, 3}, {4, 8}, {2, 5}, {7, 9}, {8, 6}, {3, 7}, {6, 1}, {10, 2}, {9, 11}, {1, 10}] |
In[14]:=
|
Draw[ap]
|
|
Out[14]=
|
-Graphics- |
Three dimensional invariants
|
Four dimensional invariants
|
Polynomial invariants
| Alexander polynomial | [math]\displaystyle{ 2 t^2-11 t+19-11 t^{-1} +2 t^{-2} }[/math] |
| Conway polynomial | [math]\displaystyle{ 2 z^4-3 z^2+1 }[/math] |
| 2nd Alexander ideal (db, data sources) | [math]\displaystyle{ \{3,t+1\} }[/math] |
| Determinant and Signature | { 45, 0 } |
| Jones polynomial | [math]\displaystyle{ q^4-2 q^3+5 q^2-7 q+7-8 q^{-1} +7 q^{-2} -4 q^{-3} +3 q^{-4} - q^{-5} }[/math] |
| HOMFLY-PT polynomial (db, data sources) | [math]\displaystyle{ -z^2 a^4+z^4 a^2+z^2 a^2+2 a^2+z^4-z^2-2-2 z^2 a^{-2} + a^{-4} }[/math] |
| Kauffman polynomial (db, data sources) | [math]\displaystyle{ a^2 z^8+z^8+3 a^3 z^7+6 a z^7+3 z^7 a^{-1} +3 a^4 z^6+5 a^2 z^6+3 z^6 a^{-2} +5 z^6+a^5 z^5-6 a^3 z^5-13 a z^5-4 z^5 a^{-1} +2 z^5 a^{-3} -8 a^4 z^4-17 a^2 z^4-3 z^4 a^{-2} +z^4 a^{-4} -13 z^4-2 a^5 z^3+3 a^3 z^3+13 a z^3+6 z^3 a^{-1} -2 z^3 a^{-3} +5 a^4 z^2+14 a^2 z^2+z^2 a^{-2} -2 z^2 a^{-4} +12 z^2-2 a^3 z-7 a z-5 z a^{-1} -2 a^2+ a^{-4} -2 }[/math] |
| The A2 invariant | [math]\displaystyle{ -q^{16}+q^{14}+q^{12}-q^{10}+3 q^8+q^6-3-2 q^{-4} + q^{-6} +2 q^{-8} - q^{-10} + q^{-12} + q^{-14} }[/math] |
| The G2 invariant | [math]\displaystyle{ q^{80}-2 q^{78}+4 q^{76}-7 q^{74}+5 q^{72}-4 q^{70}-4 q^{68}+16 q^{66}-23 q^{64}+29 q^{62}-22 q^{60}+6 q^{58}+16 q^{56}-38 q^{54}+52 q^{52}-49 q^{50}+24 q^{48}+8 q^{46}-33 q^{44}+50 q^{42}-44 q^{40}+24 q^{38}+7 q^{36}-27 q^{34}+33 q^{32}-28 q^{30}-6 q^{28}+40 q^{26}-46 q^{24}+41 q^{22}-18 q^{20}-17 q^{18}+57 q^{16}-71 q^{14}+65 q^{12}-48 q^{10}+4 q^8+43 q^6-65 q^4+65 q^2-47+16 q^{-2} +18 q^{-4} -39 q^{-6} +32 q^{-8} -22 q^{-10} -7 q^{-12} +33 q^{-14} -38 q^{-16} +22 q^{-18} +6 q^{-20} -33 q^{-22} +50 q^{-24} -48 q^{-26} +29 q^{-28} -8 q^{-30} -20 q^{-32} +38 q^{-34} -40 q^{-36} +34 q^{-38} -14 q^{-40} +2 q^{-42} +9 q^{-44} -15 q^{-46} +15 q^{-48} -12 q^{-50} +8 q^{-52} -2 q^{-54} - q^{-56} +3 q^{-58} -3 q^{-60} +3 q^{-62} - q^{-64} + q^{-66} }[/math] |
A1 Invariants.
| Weight | Invariant |
|---|---|
| 1 | [math]\displaystyle{ -q^{11}+2 q^9-q^7+3 q^5-q^3-q-2 q^{-3} +3 q^{-5} - q^{-7} + q^{-9} }[/math] |
| 2 | [math]\displaystyle{ q^{32}-2 q^{30}-2 q^{28}+6 q^{26}-2 q^{24}-7 q^{22}+10 q^{20}+3 q^{18}-12 q^{16}+8 q^{14}+6 q^{12}-13 q^{10}+6 q^6-3 q^4-4 q^2+5+9 q^{-2} -8 q^{-4} -2 q^{-6} +13 q^{-8} -9 q^{-10} -7 q^{-12} +11 q^{-14} -3 q^{-16} -5 q^{-18} +4 q^{-20} - q^{-24} + q^{-26} }[/math] |
| 3 | [math]\displaystyle{ -q^{63}+2 q^{61}+2 q^{59}-3 q^{57}-6 q^{55}+2 q^{53}+13 q^{51}-q^{49}-19 q^{47}-7 q^{45}+26 q^{43}+19 q^{41}-25 q^{39}-34 q^{37}+22 q^{35}+46 q^{33}-8 q^{31}-56 q^{29}-5 q^{27}+54 q^{25}+15 q^{23}-51 q^{21}-30 q^{19}+45 q^{17}+32 q^{15}-26 q^{13}-33 q^{11}+18 q^9+34 q^7+3 q^5-32 q^3-18 q+26 q^{-1} +32 q^{-3} -20 q^{-5} -51 q^{-7} +10 q^{-9} +56 q^{-11} +4 q^{-13} -58 q^{-15} -11 q^{-17} +49 q^{-19} +24 q^{-21} -38 q^{-23} -25 q^{-25} +25 q^{-27} +21 q^{-29} -10 q^{-31} -16 q^{-33} +4 q^{-35} +8 q^{-37} -2 q^{-39} -4 q^{-41} + q^{-43} + q^{-45} - q^{-49} + q^{-51} }[/math] |
| 4 | [math]\displaystyle{ q^{104}-2 q^{102}-2 q^{100}+3 q^{98}+3 q^{96}+6 q^{94}-9 q^{92}-13 q^{90}+2 q^{88}+10 q^{86}+31 q^{84}-8 q^{82}-41 q^{80}-26 q^{78}+5 q^{76}+82 q^{74}+38 q^{72}-48 q^{70}-91 q^{68}-69 q^{66}+104 q^{64}+137 q^{62}+39 q^{60}-122 q^{58}-208 q^{56}+11 q^{54}+186 q^{52}+197 q^{50}-30 q^{48}-287 q^{46}-149 q^{44}+110 q^{42}+288 q^{40}+120 q^{38}-235 q^{36}-241 q^{34}-11 q^{32}+262 q^{30}+200 q^{28}-122 q^{26}-225 q^{24}-87 q^{22}+164 q^{20}+187 q^{18}-17 q^{16}-167 q^{14}-127 q^{12}+61 q^{10}+153 q^8+85 q^6-91 q^4-160 q^2-60+115 q^{-2} +209 q^{-4} +16 q^{-6} -183 q^{-8} -204 q^{-10} +30 q^{-12} +292 q^{-14} +149 q^{-16} -128 q^{-18} -296 q^{-20} -105 q^{-22} +253 q^{-24} +229 q^{-26} +7 q^{-28} -247 q^{-30} -196 q^{-32} +108 q^{-34} +185 q^{-36} +105 q^{-38} -106 q^{-40} -159 q^{-42} -5 q^{-44} +68 q^{-46} +92 q^{-48} -3 q^{-50} -63 q^{-52} -22 q^{-54} +34 q^{-58} +9 q^{-60} -13 q^{-62} -2 q^{-64} -6 q^{-66} +6 q^{-68} + q^{-70} -3 q^{-72} +2 q^{-74} -2 q^{-76} + q^{-78} - q^{-82} + q^{-84} }[/math] |
| 5 | [math]\displaystyle{ -q^{155}+2 q^{153}+2 q^{151}-3 q^{149}-3 q^{147}-3 q^{145}+q^{143}+9 q^{141}+13 q^{139}-2 q^{137}-20 q^{135}-22 q^{133}-7 q^{131}+24 q^{129}+49 q^{127}+36 q^{125}-30 q^{123}-87 q^{121}-77 q^{119}+q^{117}+113 q^{115}+163 q^{113}+70 q^{111}-122 q^{109}-251 q^{107}-195 q^{105}+42 q^{103}+322 q^{101}+387 q^{99}+126 q^{97}-304 q^{95}-569 q^{93}-409 q^{91}+149 q^{89}+686 q^{87}+733 q^{85}+168 q^{83}-652 q^{81}-1042 q^{79}-583 q^{77}+432 q^{75}+1201 q^{73}+1037 q^{71}-51 q^{69}-1202 q^{67}-1392 q^{65}-396 q^{63}+997 q^{61}+1595 q^{59}+828 q^{57}-676 q^{55}-1618 q^{53}-1126 q^{51}+330 q^{49}+1462 q^{47}+1286 q^{45}+2 q^{43}-1231 q^{41}-1298 q^{39}-210 q^{37}+938 q^{35}+1177 q^{33}+372 q^{31}-702 q^{29}-1041 q^{27}-424 q^{25}+476 q^{23}+875 q^{21}+485 q^{19}-293 q^{17}-756 q^{15}-533 q^{13}+112 q^{11}+662 q^9+652 q^7+95 q^5-573 q^3-803 q-357 q^{-1} +462 q^{-3} +977 q^{-5} +682 q^{-7} -284 q^{-9} -1125 q^{-11} -1033 q^{-13} +10 q^{-15} +1166 q^{-17} +1377 q^{-19} +345 q^{-21} -1089 q^{-23} -1605 q^{-25} -733 q^{-27} +812 q^{-29} +1696 q^{-31} +1087 q^{-33} -457 q^{-35} -1549 q^{-37} -1305 q^{-39} +15 q^{-41} +1246 q^{-43} +1358 q^{-45} +342 q^{-47} -825 q^{-49} -1191 q^{-51} -576 q^{-53} +399 q^{-55} +907 q^{-57} +640 q^{-59} -75 q^{-61} -579 q^{-63} -543 q^{-65} -127 q^{-67} +285 q^{-69} +390 q^{-71} +185 q^{-73} -99 q^{-75} -223 q^{-77} -155 q^{-79} -2 q^{-81} +105 q^{-83} +96 q^{-85} +29 q^{-87} -36 q^{-89} -49 q^{-91} -20 q^{-93} +9 q^{-95} +16 q^{-97} +11 q^{-99} +4 q^{-101} -8 q^{-103} -5 q^{-105} +2 q^{-107} - q^{-109} +3 q^{-113} - q^{-115} -2 q^{-117} + q^{-119} - q^{-123} + q^{-125} }[/math] |
A2 Invariants.
| Weight | Invariant |
|---|---|
| 1,0 | [math]\displaystyle{ -q^{16}+q^{14}+q^{12}-q^{10}+3 q^8+q^6-3-2 q^{-4} + q^{-6} +2 q^{-8} - q^{-10} + q^{-12} + q^{-14} }[/math] |
| 1,1 | [math]\displaystyle{ q^{44}-4 q^{42}+10 q^{40}-22 q^{38}+42 q^{36}-70 q^{34}+100 q^{32}-136 q^{30}+169 q^{28}-186 q^{26}+186 q^{24}-156 q^{22}+117 q^{20}-40 q^{18}-44 q^{16}+138 q^{14}-229 q^{12}+284 q^{10}-348 q^8+352 q^6-343 q^4+300 q^2-214+146 q^{-2} -42 q^{-4} -30 q^{-6} +104 q^{-8} -154 q^{-10} +166 q^{-12} -170 q^{-14} +152 q^{-16} -132 q^{-18} +99 q^{-20} -72 q^{-22} +50 q^{-24} -32 q^{-26} +21 q^{-28} -10 q^{-30} +6 q^{-32} -2 q^{-34} + q^{-36} }[/math] |
| 2,0 | [math]\displaystyle{ q^{42}-q^{40}-2 q^{38}+3 q^{34}+q^{32}-6 q^{30}+8 q^{26}+5 q^{24}-6 q^{22}-2 q^{20}+8 q^{18}+4 q^{16}-9 q^{14}-5 q^{12}+2 q^{10}-5 q^8-4 q^6+2 q^2+2+8 q^{-2} +6 q^{-4} -3 q^{-6} - q^{-8} +8 q^{-10} -11 q^{-14} +7 q^{-18} -8 q^{-22} -3 q^{-24} +4 q^{-26} +2 q^{-28} - q^{-30} + q^{-34} + q^{-36} }[/math] |
A3 Invariants.
| Weight | Invariant |
|---|---|
| 0,1,0 | [math]\displaystyle{ q^{34}-2 q^{32}+2 q^{28}-6 q^{26}+4 q^{24}+6 q^{22}-6 q^{20}+7 q^{18}+8 q^{16}-11 q^{14}+2 q^{10}-9 q^8-2 q^6+4 q^4+6 q^2+1+ q^{-2} +8 q^{-4} -5 q^{-6} -10 q^{-8} +8 q^{-10} -4 q^{-12} -8 q^{-14} +9 q^{-16} -3 q^{-20} +4 q^{-22} + q^{-24} - q^{-26} + q^{-28} }[/math] |
| 1,0,0 | [math]\displaystyle{ -q^{21}+q^{19}+q^{15}-q^{13}+3 q^{11}+q^9+2 q^7-2 q-3 q^{-1} -2 q^{-5} + q^{-7} +2 q^{-11} - q^{-13} + q^{-15} + q^{-17} + q^{-19} }[/math] |
B2 Invariants.
| Weight | Invariant |
|---|---|
| 0,1 | [math]\displaystyle{ -q^{34}+2 q^{32}-4 q^{30}+6 q^{28}-8 q^{26}+10 q^{24}-10 q^{22}+10 q^{20}-7 q^{18}+6 q^{16}+q^{14}-4 q^{12}+12 q^{10}-15 q^8+18 q^6-20 q^4+18 q^2-19+11 q^{-2} -8 q^{-4} + q^{-6} +2 q^{-8} -6 q^{-10} +10 q^{-12} -10 q^{-14} +11 q^{-16} -8 q^{-18} +7 q^{-20} -4 q^{-22} +3 q^{-24} - q^{-26} + q^{-28} }[/math] |
| 1,0 | [math]\displaystyle{ q^{56}-2 q^{52}-2 q^{50}+2 q^{48}+4 q^{46}-2 q^{44}-7 q^{42}-2 q^{40}+9 q^{38}+8 q^{36}-4 q^{34}-9 q^{32}+2 q^{30}+12 q^{28}+7 q^{26}-9 q^{24}-9 q^{22}+2 q^{20}+7 q^{18}-4 q^{16}-10 q^{14}-2 q^{12}+6 q^{10}+2 q^8-6 q^6-q^4+8 q^2+9-3 q^{-2} -5 q^{-4} +4 q^{-6} +9 q^{-8} -2 q^{-10} -11 q^{-12} -5 q^{-14} +8 q^{-16} +7 q^{-18} -7 q^{-20} -11 q^{-22} +10 q^{-26} +4 q^{-28} -4 q^{-30} -5 q^{-32} + q^{-34} +4 q^{-36} +2 q^{-38} - q^{-40} - q^{-42} + q^{-46} }[/math] |
G2 Invariants.
| Weight | Invariant |
|---|---|
| 1,0 | [math]\displaystyle{ q^{80}-2 q^{78}+4 q^{76}-7 q^{74}+5 q^{72}-4 q^{70}-4 q^{68}+16 q^{66}-23 q^{64}+29 q^{62}-22 q^{60}+6 q^{58}+16 q^{56}-38 q^{54}+52 q^{52}-49 q^{50}+24 q^{48}+8 q^{46}-33 q^{44}+50 q^{42}-44 q^{40}+24 q^{38}+7 q^{36}-27 q^{34}+33 q^{32}-28 q^{30}-6 q^{28}+40 q^{26}-46 q^{24}+41 q^{22}-18 q^{20}-17 q^{18}+57 q^{16}-71 q^{14}+65 q^{12}-48 q^{10}+4 q^8+43 q^6-65 q^4+65 q^2-47+16 q^{-2} +18 q^{-4} -39 q^{-6} +32 q^{-8} -22 q^{-10} -7 q^{-12} +33 q^{-14} -38 q^{-16} +22 q^{-18} +6 q^{-20} -33 q^{-22} +50 q^{-24} -48 q^{-26} +29 q^{-28} -8 q^{-30} -20 q^{-32} +38 q^{-34} -40 q^{-36} +34 q^{-38} -14 q^{-40} +2 q^{-42} +9 q^{-44} -15 q^{-46} +15 q^{-48} -12 q^{-50} +8 q^{-52} -2 q^{-54} - q^{-56} +3 q^{-58} -3 q^{-60} +3 q^{-62} - q^{-64} + q^{-66} }[/math] |
.
KnotTheory`, as shown in the (simulated) Mathematica session below. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting. This Mathematica session is also available (albeit only for the knot 5_2) as the notebook PolynomialInvariantsSession.nb.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of August 31, 2006, 11:25:27.5625.
|
In[3]:=
|
K = Knot["9 37"];
|
In[4]:=
|
Alexander[K][t]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
[math]\displaystyle{ 2 t^2-11 t+19-11 t^{-1} +2 t^{-2} }[/math] |
In[5]:=
|
Conway[K][z]
|
Out[5]=
|
[math]\displaystyle{ 2 z^4-3 z^2+1 }[/math] |
In[6]:=
|
Alexander[K, 2][t]
|
KnotTheory::credits: The program Alexander[K, r] to compute Alexander ideals was written by Jana Archibald at the University of Toronto in the summer of 2005.
|
Out[6]=
|
[math]\displaystyle{ \{3,t+1\} }[/math] |
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
Out[7]=
|
{ 45, 0 } |
In[8]:=
|
Jones[K][q]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
[math]\displaystyle{ q^4-2 q^3+5 q^2-7 q+7-8 q^{-1} +7 q^{-2} -4 q^{-3} +3 q^{-4} - q^{-5} }[/math] |
In[9]:=
|
HOMFLYPT[K][a, z]
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
[math]\displaystyle{ -z^2 a^4+z^4 a^2+z^2 a^2+2 a^2+z^4-z^2-2-2 z^2 a^{-2} + a^{-4} }[/math] |
In[10]:=
|
Kauffman[K][a, z]
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
[math]\displaystyle{ a^2 z^8+z^8+3 a^3 z^7+6 a z^7+3 z^7 a^{-1} +3 a^4 z^6+5 a^2 z^6+3 z^6 a^{-2} +5 z^6+a^5 z^5-6 a^3 z^5-13 a z^5-4 z^5 a^{-1} +2 z^5 a^{-3} -8 a^4 z^4-17 a^2 z^4-3 z^4 a^{-2} +z^4 a^{-4} -13 z^4-2 a^5 z^3+3 a^3 z^3+13 a z^3+6 z^3 a^{-1} -2 z^3 a^{-3} +5 a^4 z^2+14 a^2 z^2+z^2 a^{-2} -2 z^2 a^{-4} +12 z^2-2 a^3 z-7 a z-5 z a^{-1} -2 a^2+ a^{-4} -2 }[/math] |
"Similar" Knots (within the Atlas)
Same Alexander/Conway Polynomial: {K11n100,}
Same Jones Polynomial (up to mirroring, [math]\displaystyle{ q\leftrightarrow q^{-1} }[/math]): {}
KnotTheory`. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of May 31, 2006, 14:15:20.091.
|
In[3]:=
|
K = Knot["9 37"];
|
In[4]:=
|
{A = Alexander[K][t], J = Jones[K][q]}
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[4]=
|
{ [math]\displaystyle{ 2 t^2-11 t+19-11 t^{-1} +2 t^{-2} }[/math], [math]\displaystyle{ q^4-2 q^3+5 q^2-7 q+7-8 q^{-1} +7 q^{-2} -4 q^{-3} +3 q^{-4} - q^{-5} }[/math] } |
In[5]:=
|
DeleteCases[Select[AllKnots[], (A === Alexander[#][t]) &], K]
|
KnotTheory::loading: Loading precomputed data in DTCode4KnotsTo11`.
|
KnotTheory::credits: The GaussCode to PD conversion was written by Siddarth Sankaran at the University of Toronto in the summer of 2005.
|
Out[5]=
|
{K11n100,} |
In[6]:=
|
DeleteCases[
Select[
AllKnots[],
(J === Jones[#][q] || (J /. q -> 1/q) === Jones[#][q]) &
],
K
]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots11`.
|
Out[6]=
|
{} |
Vassiliev invariants
| V2 and V3: | (-3, -1) |
| V2,1 through 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 [math]\displaystyle{ t^rq^j }[/math] are shown, along with their alternating sums [math]\displaystyle{ \chi }[/math] (fixed [math]\displaystyle{ j }[/math], alternation over [math]\displaystyle{ r }[/math]). The squares with yellow highlighting are those on the "critical diagonals", where [math]\displaystyle{ j-2r=s+1 }[/math] or [math]\displaystyle{ j-2r=s-1 }[/math], where [math]\displaystyle{ s= }[/math]0 is the signature of 9 37. Nonzero entries off the critical diagonals (if any exist) are highlighted in red. |
|
| Integral Khovanov Homology
(db, data source) |
|
The Coloured Jones Polynomials
| [math]\displaystyle{ n }[/math] | [math]\displaystyle{ J_n }[/math] |
| 2 | [math]\displaystyle{ q^{12}-2 q^{11}+q^{10}+5 q^9-11 q^8+3 q^7+19 q^6-29 q^5+q^4+41 q^3-44 q^2-5 q+58-48 q^{-1} -14 q^{-2} +59 q^{-3} -39 q^{-4} -20 q^{-5} +46 q^{-6} -20 q^{-7} -18 q^{-8} +26 q^{-9} -5 q^{-10} -11 q^{-11} +9 q^{-12} -3 q^{-14} + q^{-15} }[/math] |
| 3 | [math]\displaystyle{ q^{24}-2 q^{23}+q^{22}+q^{21}+q^{20}-7 q^{19}+3 q^{18}+11 q^{17}-3 q^{16}-27 q^{15}+9 q^{14}+42 q^{13}+q^{12}-77 q^{11}-4 q^{10}+104 q^9+26 q^8-137 q^7-51 q^6+166 q^5+78 q^4-183 q^3-112 q^2+197 q+130-189 q^{-1} -156 q^{-2} +183 q^{-3} +165 q^{-4} -158 q^{-5} -172 q^{-6} +132 q^{-7} +172 q^{-8} -100 q^{-9} -159 q^{-10} +57 q^{-11} +151 q^{-12} -34 q^{-13} -120 q^{-14} -2 q^{-15} +100 q^{-16} +14 q^{-17} -66 q^{-18} -26 q^{-19} +44 q^{-20} +23 q^{-21} -22 q^{-22} -19 q^{-23} +11 q^{-24} +11 q^{-25} -4 q^{-26} -5 q^{-27} +3 q^{-29} - q^{-30} }[/math] |
| 4 | [math]\displaystyle{ q^{40}-2 q^{39}+q^{38}+q^{37}-3 q^{36}+5 q^{35}-7 q^{34}+5 q^{33}+6 q^{32}-15 q^{31}+9 q^{30}-18 q^{29}+27 q^{28}+31 q^{27}-49 q^{26}-13 q^{25}-59 q^{24}+87 q^{23}+126 q^{22}-73 q^{21}-86 q^{20}-213 q^{19}+140 q^{18}+337 q^{17}+7 q^{16}-163 q^{15}-517 q^{14}+89 q^{13}+591 q^{12}+229 q^{11}-139 q^{10}-875 q^9-102 q^8+759 q^7+506 q^6+4 q^5-1137 q^4-336 q^3+780 q^2+705 q+197-1231 q^{-1} -511 q^{-2} +680 q^{-3} +774 q^{-4} +373 q^{-5} -1163 q^{-6} -603 q^{-7} +492 q^{-8} +734 q^{-9} +523 q^{-10} -959 q^{-11} -626 q^{-12} +241 q^{-13} +596 q^{-14} +626 q^{-15} -637 q^{-16} -564 q^{-17} -32 q^{-18} +366 q^{-19} +632 q^{-20} -282 q^{-21} -396 q^{-22} -210 q^{-23} +107 q^{-24} +494 q^{-25} -25 q^{-26} -169 q^{-27} -221 q^{-28} -68 q^{-29} +275 q^{-30} +61 q^{-31} -8 q^{-32} -123 q^{-33} -101 q^{-34} +102 q^{-35} +39 q^{-36} +35 q^{-37} -37 q^{-38} -57 q^{-39} +25 q^{-40} +8 q^{-41} +20 q^{-42} -4 q^{-43} -18 q^{-44} +4 q^{-45} +5 q^{-47} -3 q^{-49} + q^{-50} }[/math] |
| 5 | [math]\displaystyle{ q^{60}-2 q^{59}+q^{58}+q^{57}-3 q^{56}+q^{55}+5 q^{54}-5 q^{53}+4 q^{51}-10 q^{50}-2 q^{49}+17 q^{48}+2 q^{47}+5 q^{46}-3 q^{45}-39 q^{44}-31 q^{43}+30 q^{42}+67 q^{41}+72 q^{40}+6 q^{39}-146 q^{38}-184 q^{37}-38 q^{36}+191 q^{35}+356 q^{34}+211 q^{33}-251 q^{32}-596 q^{31}-454 q^{30}+155 q^{29}+860 q^{28}+926 q^{27}+16 q^{26}-1104 q^{25}-1429 q^{24}-460 q^{23}+1226 q^{22}+2093 q^{21}+1032 q^{20}-1216 q^{19}-2660 q^{18}-1780 q^{17}+982 q^{16}+3185 q^{15}+2576 q^{14}-607 q^{13}-3544 q^{12}-3325 q^{11}+110 q^{10}+3701 q^9+4010 q^8+425 q^7-3755 q^6-4481 q^5-933 q^4+3609 q^3+4851 q^2+1391 q-3460-4996 q^{-1} -1752 q^{-2} +3163 q^{-3} +5081 q^{-4} +2059 q^{-5} -2903 q^{-6} -4986 q^{-7} -2302 q^{-8} +2518 q^{-9} +4858 q^{-10} +2522 q^{-11} -2125 q^{-12} -4596 q^{-13} -2701 q^{-14} +1618 q^{-15} +4241 q^{-16} +2861 q^{-17} -1051 q^{-18} -3791 q^{-19} -2940 q^{-20} +470 q^{-21} +3153 q^{-22} +2928 q^{-23} +182 q^{-24} -2507 q^{-25} -2764 q^{-26} -662 q^{-27} +1697 q^{-28} +2436 q^{-29} +1124 q^{-30} -1003 q^{-31} -1997 q^{-32} -1260 q^{-33} +304 q^{-34} +1440 q^{-35} +1314 q^{-36} +148 q^{-37} -909 q^{-38} -1096 q^{-39} -465 q^{-40} +425 q^{-41} +855 q^{-42} +538 q^{-43} -89 q^{-44} -531 q^{-45} -512 q^{-46} -112 q^{-47} +297 q^{-48} +378 q^{-49} +176 q^{-50} -101 q^{-51} -251 q^{-52} -177 q^{-53} +17 q^{-54} +141 q^{-55} +120 q^{-56} +28 q^{-57} -59 q^{-58} -84 q^{-59} -33 q^{-60} +29 q^{-61} +42 q^{-62} +18 q^{-63} -2 q^{-64} -18 q^{-65} -20 q^{-66} +4 q^{-67} +11 q^{-68} +3 q^{-69} -5 q^{-72} +3 q^{-74} - q^{-75} }[/math] |
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`. See A Sample KnotTheory` Session, or any of the Computer Talk sections above.
Modifying This Page
| Read me first: Modifying Knot Pages
See/edit the Rolfsen Knot Page master template (intermediate). See/edit the Rolfsen_Splice_Base (expert). Back to the top. |
|




