10 113: Difference between revisions
DrorsRobot (talk | contribs) No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
<!-- WARNING! WARNING! WARNING! |
<!-- WARNING! WARNING! WARNING! |
||
<!-- This page was generated from the splice |
<!-- 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]]. --> |
||
<!-- |
<!-- --> |
||
<!-- |
<!-- --> |
||
{{Rolfsen Knot Page| |
{{Rolfsen Knot Page| |
||
n = 10 | |
n = 10 | |
||
| Line 45: | Line 45: | ||
coloured_jones_4 = <math>q^{74}-5 q^{73}+5 q^{72}+11 q^{71}-16 q^{70}-6 q^{69}-30 q^{68}+54 q^{67}+103 q^{66}-82 q^{65}-112 q^{64}-251 q^{63}+212 q^{62}+645 q^{61}+48 q^{60}-469 q^{59}-1402 q^{58}-26 q^{57}+2075 q^{56}+1563 q^{55}-206 q^{54}-4248 q^{53}-2542 q^{52}+3229 q^{51}+5529 q^{50}+3239 q^{49}-7254 q^{48}-8631 q^{47}+897 q^{46}+10069 q^{45}+11259 q^{44}-6767 q^{43}-15986 q^{42}-6381 q^{41}+11329 q^{40}+21118 q^{39}-1369 q^{38}-20470 q^{37}-15829 q^{36}+7975 q^{35}+28515 q^{34}+6390 q^{33}-20505 q^{32}-23517 q^{31}+2084 q^{30}+31572 q^{29}+13360 q^{28}-17291 q^{27}-27794 q^{26}-4111 q^{25}+30657 q^{24}+18367 q^{23}-11987 q^{22}-28602 q^{21}-9929 q^{20}+26018 q^{19}+21092 q^{18}-4872 q^{17}-25517 q^{16}-14666 q^{15}+17731 q^{14}+20332 q^{13}+2697 q^{12}-18207 q^{11}-16185 q^{10}+7772 q^9+15153 q^8+7485 q^7-8838 q^6-12951 q^5+302 q^4+7617 q^3+7305 q^2-1746 q-6996-2153 q^{-1} +1895 q^{-2} +4049 q^{-3} +829 q^{-4} -2326 q^{-5} -1348 q^{-6} -201 q^{-7} +1302 q^{-8} +662 q^{-9} -441 q^{-10} -330 q^{-11} -268 q^{-12} +248 q^{-13} +179 q^{-14} -69 q^{-15} -17 q^{-16} -70 q^{-17} +37 q^{-18} +26 q^{-19} -19 q^{-20} +5 q^{-21} -9 q^{-22} +6 q^{-23} +3 q^{-24} -4 q^{-25} + q^{-26} </math> | |
coloured_jones_4 = <math>q^{74}-5 q^{73}+5 q^{72}+11 q^{71}-16 q^{70}-6 q^{69}-30 q^{68}+54 q^{67}+103 q^{66}-82 q^{65}-112 q^{64}-251 q^{63}+212 q^{62}+645 q^{61}+48 q^{60}-469 q^{59}-1402 q^{58}-26 q^{57}+2075 q^{56}+1563 q^{55}-206 q^{54}-4248 q^{53}-2542 q^{52}+3229 q^{51}+5529 q^{50}+3239 q^{49}-7254 q^{48}-8631 q^{47}+897 q^{46}+10069 q^{45}+11259 q^{44}-6767 q^{43}-15986 q^{42}-6381 q^{41}+11329 q^{40}+21118 q^{39}-1369 q^{38}-20470 q^{37}-15829 q^{36}+7975 q^{35}+28515 q^{34}+6390 q^{33}-20505 q^{32}-23517 q^{31}+2084 q^{30}+31572 q^{29}+13360 q^{28}-17291 q^{27}-27794 q^{26}-4111 q^{25}+30657 q^{24}+18367 q^{23}-11987 q^{22}-28602 q^{21}-9929 q^{20}+26018 q^{19}+21092 q^{18}-4872 q^{17}-25517 q^{16}-14666 q^{15}+17731 q^{14}+20332 q^{13}+2697 q^{12}-18207 q^{11}-16185 q^{10}+7772 q^9+15153 q^8+7485 q^7-8838 q^6-12951 q^5+302 q^4+7617 q^3+7305 q^2-1746 q-6996-2153 q^{-1} +1895 q^{-2} +4049 q^{-3} +829 q^{-4} -2326 q^{-5} -1348 q^{-6} -201 q^{-7} +1302 q^{-8} +662 q^{-9} -441 q^{-10} -330 q^{-11} -268 q^{-12} +248 q^{-13} +179 q^{-14} -69 q^{-15} -17 q^{-16} -70 q^{-17} +37 q^{-18} +26 q^{-19} -19 q^{-20} +5 q^{-21} -9 q^{-22} +6 q^{-23} +3 q^{-24} -4 q^{-25} + q^{-26} </math> | |
||
coloured_jones_5 = <math>-q^{110}+5 q^{109}-5 q^{108}-11 q^{107}+16 q^{106}+11 q^{105}-10 q^{103}-49 q^{102}-53 q^{101}+77 q^{100}+193 q^{99}+105 q^{98}-147 q^{97}-470 q^{96}-463 q^{95}+146 q^{94}+1142 q^{93}+1425 q^{92}+120 q^{91}-2076 q^{90}-3380 q^{89}-1743 q^{88}+2924 q^{87}+7090 q^{86}+5594 q^{85}-2529 q^{84}-11815 q^{83}-13351 q^{82}-1683 q^{81}+16722 q^{80}+25488 q^{79}+11986 q^{78}-18233 q^{77}-40936 q^{76}-31019 q^{75}+12436 q^{74}+56673 q^{73}+58646 q^{72}+4708 q^{71}-67378 q^{70}-92461 q^{69}-35372 q^{68}+67642 q^{67}+127438 q^{66}+78290 q^{65}-53411 q^{64}-156999 q^{63}-129444 q^{62}+23740 q^{61}+175703 q^{60}+182272 q^{59}+18982 q^{58}-180144 q^{57}-230663 q^{56}-69435 q^{55}+170524 q^{54}+269064 q^{53}+122008 q^{52}-149290 q^{51}-295846 q^{50}-170921 q^{49}+120958 q^{48}+310323 q^{47}+213088 q^{46}-89127 q^{45}-315143 q^{44}-247013 q^{43}+57310 q^{42}+312043 q^{41}+273152 q^{40}-26342 q^{39}-303206 q^{38}-292904 q^{37}-3679 q^{36}+289392 q^{35}+307134 q^{34}+33780 q^{33}-269756 q^{32}-316379 q^{31}-65076 q^{30}+243562 q^{29}+319348 q^{28}+97142 q^{27}-208866 q^{26}-314188 q^{25}-128881 q^{24}+166215 q^{23}+298125 q^{22}+156560 q^{21}-116345 q^{20}-269958 q^{19}-176317 q^{18}+64083 q^{17}+229332 q^{16}+183631 q^{15}-13836 q^{14}-179900 q^{13}-176795 q^{12}-26835 q^{11}+126211 q^{10}+155697 q^9+54716 q^8-75683 q^7-124947 q^6-66442 q^5+33970 q^4+89488 q^3+64870 q^2-5068 q-56439-53407 q^{-1} -10729 q^{-2} +29891 q^{-3} +38155 q^{-4} +15804 q^{-5} -12198 q^{-6} -23416 q^{-7} -14367 q^{-8} +2521 q^{-9} +12382 q^{-10} +10079 q^{-11} +1302 q^{-12} -5328 q^{-13} -5903 q^{-14} -2040 q^{-15} +1877 q^{-16} +2885 q^{-17} +1431 q^{-18} -405 q^{-19} -1165 q^{-20} -799 q^{-21} -6 q^{-22} +435 q^{-23} +328 q^{-24} +26 q^{-25} -111 q^{-26} -98 q^{-27} -46 q^{-28} +40 q^{-29} +47 q^{-30} -15 q^{-31} -9 q^{-32} +6 q^{-33} -6 q^{-34} +9 q^{-36} -6 q^{-37} -3 q^{-38} +4 q^{-39} - q^{-40} </math> | |
coloured_jones_5 = <math>-q^{110}+5 q^{109}-5 q^{108}-11 q^{107}+16 q^{106}+11 q^{105}-10 q^{103}-49 q^{102}-53 q^{101}+77 q^{100}+193 q^{99}+105 q^{98}-147 q^{97}-470 q^{96}-463 q^{95}+146 q^{94}+1142 q^{93}+1425 q^{92}+120 q^{91}-2076 q^{90}-3380 q^{89}-1743 q^{88}+2924 q^{87}+7090 q^{86}+5594 q^{85}-2529 q^{84}-11815 q^{83}-13351 q^{82}-1683 q^{81}+16722 q^{80}+25488 q^{79}+11986 q^{78}-18233 q^{77}-40936 q^{76}-31019 q^{75}+12436 q^{74}+56673 q^{73}+58646 q^{72}+4708 q^{71}-67378 q^{70}-92461 q^{69}-35372 q^{68}+67642 q^{67}+127438 q^{66}+78290 q^{65}-53411 q^{64}-156999 q^{63}-129444 q^{62}+23740 q^{61}+175703 q^{60}+182272 q^{59}+18982 q^{58}-180144 q^{57}-230663 q^{56}-69435 q^{55}+170524 q^{54}+269064 q^{53}+122008 q^{52}-149290 q^{51}-295846 q^{50}-170921 q^{49}+120958 q^{48}+310323 q^{47}+213088 q^{46}-89127 q^{45}-315143 q^{44}-247013 q^{43}+57310 q^{42}+312043 q^{41}+273152 q^{40}-26342 q^{39}-303206 q^{38}-292904 q^{37}-3679 q^{36}+289392 q^{35}+307134 q^{34}+33780 q^{33}-269756 q^{32}-316379 q^{31}-65076 q^{30}+243562 q^{29}+319348 q^{28}+97142 q^{27}-208866 q^{26}-314188 q^{25}-128881 q^{24}+166215 q^{23}+298125 q^{22}+156560 q^{21}-116345 q^{20}-269958 q^{19}-176317 q^{18}+64083 q^{17}+229332 q^{16}+183631 q^{15}-13836 q^{14}-179900 q^{13}-176795 q^{12}-26835 q^{11}+126211 q^{10}+155697 q^9+54716 q^8-75683 q^7-124947 q^6-66442 q^5+33970 q^4+89488 q^3+64870 q^2-5068 q-56439-53407 q^{-1} -10729 q^{-2} +29891 q^{-3} +38155 q^{-4} +15804 q^{-5} -12198 q^{-6} -23416 q^{-7} -14367 q^{-8} +2521 q^{-9} +12382 q^{-10} +10079 q^{-11} +1302 q^{-12} -5328 q^{-13} -5903 q^{-14} -2040 q^{-15} +1877 q^{-16} +2885 q^{-17} +1431 q^{-18} -405 q^{-19} -1165 q^{-20} -799 q^{-21} -6 q^{-22} +435 q^{-23} +328 q^{-24} +26 q^{-25} -111 q^{-26} -98 q^{-27} -46 q^{-28} +40 q^{-29} +47 q^{-30} -15 q^{-31} -9 q^{-32} +6 q^{-33} -6 q^{-34} +9 q^{-36} -6 q^{-37} -3 q^{-38} +4 q^{-39} - q^{-40} </math> | |
||
coloured_jones_6 = |
coloured_jones_6 = | |
||
coloured_jones_7 = |
coloured_jones_7 = | |
||
computer_talk = |
computer_talk = |
||
<table> |
<table> |
||
| Line 53: | Line 53: | ||
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
||
</tr> |
</tr> |
||
<tr valign=top><td colspan=2>Loading KnotTheory` (version of August 29, 2005, 15: |
<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[10, 113]]</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[4, 2, 5, 1], X[10, 4, 11, 3], X[14, 6, 15, 5], X[20, 16, 1, 15], |
|||
<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[10, 113]]</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[4, 2, 5, 1], X[10, 4, 11, 3], X[14, 6, 15, 5], X[20, 16, 1, 15], |
|||
X[12, 7, 13, 8], X[8, 18, 9, 17], X[6, 19, 7, 20], X[16, 12, 17, 11], |
X[12, 7, 13, 8], X[8, 18, 9, 17], X[6, 19, 7, 20], X[16, 12, 17, 11], |
||
X[18, 13, 19, 14], X[2, 10, 3, 9]]</nowiki></ |
X[18, 13, 19, 14], X[2, 10, 3, 9]]</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[10, 113]]</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[1, -10, 2, -1, 3, -7, 5, -6, 10, -2, 8, -5, 9, -3, 4, -8, 6, |
|||
<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[10, 113]]</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, -10, 2, -1, 3, -7, 5, -6, 10, -2, 8, -5, 9, -3, 4, -8, 6, |
|||
-9, 7, -4]</nowiki></ |
-9, 7, -4]</nowiki></code></td></tr> |
||
</table> |
|||
<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[10, 113]]</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>DTCode[4, 10, 14, 12, 2, 16, 18, 20, 8, 6]</nowiki></pre></td></tr> |
|||
<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[10, 113]]</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<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 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, 2, 16, 18, 20, 8, 6]</nowiki></code></td></tr> |
|||
</table> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>4</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<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[10, 113]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:10_113_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 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[10, 113]]</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, -3, 2, -1, 2, -3, 2, -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, 11}</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[10, 113]]</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[10, 113]]]</nowiki></code></td></tr> |
|||
<tr align=left><td></td><td>[[Image:10_113_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[10, 113]]&) /@ { |
|||
SymmetryType, UnknottingNumber, ThreeGenus, |
SymmetryType, UnknottingNumber, ThreeGenus, |
||
BridgeIndex, SuperBridgeIndex, NakanishiIndex |
BridgeIndex, SuperBridgeIndex, NakanishiIndex |
||
}</nowiki></ |
}</nowiki></code></td></tr> |
||
<tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Reversible, 1, 3, 3, NotAvailable, 1}</nowiki></pre></td></tr> |
|||
<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, 1, 3, 3, NotAvailable, 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[10, 113]][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 26 2 3 |
|||
-33 + -- - -- + -- + 26 t - 11 t + 2 t |
-33 + -- - -- + -- + 26 t - 11 t + 2 t |
||
3 2 t |
3 2 t |
||
t t</nowiki></ |
t 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[10, 113]][z]</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 4 6 |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td> |
|||
1 + z + 2 z</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[10, 113]][z]</nowiki></code></td></tr> |
|||
<tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[10, 113], Knot[11, Alternating, 107], Knot[11, Alternating, 347]}</nowiki></pre></td></tr> |
|||
<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> 4 6 |
|||
1 + z + 2 z</nowiki></code></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[10, 113]][q]</nowiki></pre></td></tr> |
|||
</table> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -2 4 2 3 4 5 6 7 8 |
|||
<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[10, 113], Knot[11, Alternating, 107], Knot[11, Alternating, 347]}</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[10, 113]], KnotSignature[Knot[10, 113]]}</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>{111, 2}</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[10, 113]][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> -2 4 2 3 4 5 6 7 8 |
|||
-8 - q + - + 14 q - 17 q + 19 q - 18 q + 14 q - 10 q + 5 q - q |
-8 - q + - + 14 q - 17 q + 19 q - 18 q + 14 q - 10 q + 5 q - q |
||
q</nowiki></ |
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]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{Knot[10, 113]}</nowiki></pre></td></tr> |
|||
<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[10, 113]}</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[10, 113]][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> -6 2 -2 2 4 6 10 12 14 |
|||
-1 - q + -- - q + 5 q - 2 q + 4 q - 2 q + q - 5 q + |
-1 - q + -- - q + 5 q - 2 q + 4 q - 2 q + q - 5 q + |
||
4 |
4 |
||
| Line 103: | Line 179: | ||
16 18 20 22 24 |
16 18 20 22 24 |
||
3 q - q - q + 3 q - q</nowiki></ |
3 q - q - q + 3 q - 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[10, 113]][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]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 2 4 4 4 6 6 |
|||
<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[10, 113]][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 4 6 6 |
|||
-6 3 3 2 2 z 3 z 4 z z 2 z z z |
-6 3 3 2 2 z 3 z 4 z z 2 z z z |
||
a - -- + -- - z - ---- + ---- - z - -- + -- + ---- + -- + -- |
a - -- + -- - z - ---- + ---- - z - -- + -- + ---- + -- + -- |
||
4 2 4 2 6 4 2 4 2 |
4 2 4 2 6 4 2 4 2 |
||
a a a a a a a a a</nowiki></ |
a a a a a a 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[10, 113]][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]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 2 2 3 |
|||
<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[10, 113]][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 2 3 |
|||
-6 3 3 z z z z 2 3 z 8 z 8 z 5 z |
-6 3 3 z z z z 2 3 z 8 z 8 z 5 z |
||
-a - -- - -- + -- + -- - -- - - + 3 z + ---- + ---- + ---- + ---- + |
-a - -- - -- + -- + -- - -- - - + 3 z + ---- + ---- + ---- + ---- + |
||
| Line 139: | Line 225: | ||
---- |
---- |
||
3 |
3 |
||
a</nowiki></ |
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[10, 113]], Vassiliev[3][Knot[10, 113]]}</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[19]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, -1}</nowiki></pre></td></tr> |
|||
<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[10, 113]], Vassiliev[3][Knot[10, 113]]}</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>{0, -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[10, 113]][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 3 1 5 3 q 3 5 |
|||
9 q + 6 q + ----- + ----- + ---- + --- + --- + 9 q t + 8 q t + |
9 q + 6 q + ----- + ----- + ---- + --- + --- + 9 q t + 8 q t + |
||
5 3 3 2 2 q t t |
5 3 3 2 2 q t t |
||
| Line 152: | Line 248: | ||
11 5 13 5 13 6 15 6 17 7 |
11 5 13 5 13 6 15 6 17 7 |
||
4 q t + 6 q t + q t + 4 q t + q t</nowiki></ |
4 q t + 6 q t + q t + 4 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[10, 113], 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]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -7 4 3 11 29 12 56 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[10, 113], 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> -7 4 3 11 29 12 56 2 3 |
|||
-94 + q - -- + -- + -- - -- + -- + -- + 4 q + 157 q - 171 q - |
-94 + q - -- + -- + -- - -- + -- + -- + 4 q + 157 q - 171 q - |
||
6 5 4 3 2 q |
6 5 4 3 2 q |
||
| Line 166: | Line 267: | ||
18 19 20 21 22 23 |
18 19 20 21 22 23 |
||
8 q - 41 q + 16 q + 5 q - 5 q + q</nowiki></ |
8 q - 41 q + 16 q + 5 q - 5 q + q</nowiki></code></td></tr> |
||
</table> }} |
|||
Latest revision as of 17:57, 1 September 2005
|
|
|
![]() (KnotPlot image) |
See the full Rolfsen Knot Table. Visit 10 113's page at the Knot Server (KnotPlot driven, includes 3D interactive images!) |
Knot presentations
| Planar diagram presentation | X4251 X10,4,11,3 X14,6,15,5 X20,16,1,15 X12,7,13,8 X8,18,9,17 X6,19,7,20 X16,12,17,11 X18,13,19,14 X2,10,3,9 |
| Gauss code | 1, -10, 2, -1, 3, -7, 5, -6, 10, -2, 8, -5, 9, -3, 4, -8, 6, -9, 7, -4 |
| Dowker-Thistlethwaite code | 4 10 14 12 2 16 18 20 8 6 |
| Conway Notation | [8*21] |
| Minimum Braid Representative | A Morse Link Presentation | An Arc Presentation | ||||
Length is 11, width is 4, Braid index is 4 |
|
![]() [{3, 11}, {2, 5}, {1, 3}, {12, 7}, {10, 6}, {11, 8}, {7, 4}, {5, 9}, {8, 2}, {4, 10}, {9, 12}, {6, 1}] |
[edit Notes on presentations of 10 113]
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["10 113"];
|
In[4]:=
|
PD[K]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
X4251 X10,4,11,3 X14,6,15,5 X20,16,1,15 X12,7,13,8 X8,18,9,17 X6,19,7,20 X16,12,17,11 X18,13,19,14 X2,10,3,9 |
In[5]:=
|
GaussCode[K]
|
Out[5]=
|
1, -10, 2, -1, 3, -7, 5, -6, 10, -2, 8, -5, 9, -3, 4, -8, 6, -9, 7, -4 |
In[6]:=
|
DTCode[K]
|
Out[6]=
|
4 10 14 12 2 16 18 20 8 6 |
(The path below may be different on your system)
In[7]:=
|
AppendTo[$Path, "C:/bin/LinKnot/"];
|
In[8]:=
|
ConwayNotation[K]
|
Out[8]=
|
[8*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}(4,\{1,1,1,2,-3,2,-1,2,-3,2,-3\}) }[/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]=
|
{ 4, 11, 4 } |
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[{3, 11}, {2, 5}, {1, 3}, {12, 7}, {10, 6}, {11, 8}, {7, 4}, {5, 9}, {8, 2}, {4, 10}, {9, 12}, {6, 1}] |
In[14]:=
|
Draw[ap]
|
|
Out[14]=
|
-Graphics- |
Three dimensional invariants
|
Four dimensional invariants
|
Polynomial invariants
| Alexander polynomial | [math]\displaystyle{ 2 t^3-11 t^2+26 t-33+26 t^{-1} -11 t^{-2} +2 t^{-3} }[/math] |
| Conway polynomial | [math]\displaystyle{ 2 z^6+z^4+1 }[/math] |
| 2nd Alexander ideal (db, data sources) | [math]\displaystyle{ \{1\} }[/math] |
| Determinant and Signature | { 111, 2 } |
| Jones polynomial | [math]\displaystyle{ -q^8+5 q^7-10 q^6+14 q^5-18 q^4+19 q^3-17 q^2+14 q-8+4 q^{-1} - q^{-2} }[/math] |
| HOMFLY-PT polynomial (db, data sources) | [math]\displaystyle{ z^6 a^{-2} +z^6 a^{-4} +2 z^4 a^{-2} +z^4 a^{-4} -z^4 a^{-6} -z^4+3 z^2 a^{-2} -2 z^2 a^{-4} -z^2+3 a^{-2} -3 a^{-4} + a^{-6} }[/math] |
| Kauffman polynomial (db, data sources) | [math]\displaystyle{ 3 z^9 a^{-3} +3 z^9 a^{-5} +7 z^8 a^{-2} +16 z^8 a^{-4} +9 z^8 a^{-6} +7 z^7 a^{-1} +12 z^7 a^{-3} +15 z^7 a^{-5} +10 z^7 a^{-7} -5 z^6 a^{-2} -23 z^6 a^{-4} -9 z^6 a^{-6} +5 z^6 a^{-8} +4 z^6+a z^5-10 z^5 a^{-1} -30 z^5 a^{-3} -36 z^5 a^{-5} -16 z^5 a^{-7} +z^5 a^{-9} -6 z^4 a^{-2} +z^4 a^{-4} -4 z^4 a^{-6} -5 z^4 a^{-8} -6 z^4-a z^3+5 z^3 a^{-1} +17 z^3 a^{-3} +16 z^3 a^{-5} +5 z^3 a^{-7} +8 z^2 a^{-2} +8 z^2 a^{-4} +3 z^2 a^{-6} +3 z^2-z a^{-1} -z a^{-3} +z a^{-5} +z a^{-7} -3 a^{-2} -3 a^{-4} - a^{-6} }[/math] |
| The A2 invariant | [math]\displaystyle{ -q^6+2 q^4-q^2-1+5 q^{-2} -2 q^{-4} +4 q^{-6} -2 q^{-10} + q^{-12} -5 q^{-14} +3 q^{-16} - q^{-18} - q^{-20} +3 q^{-22} - q^{-24} }[/math] |
| The G2 invariant | [math]\displaystyle{ q^{32}-3 q^{30}+7 q^{28}-13 q^{26}+15 q^{24}-15 q^{22}+4 q^{20}+20 q^{18}-50 q^{16}+86 q^{14}-108 q^{12}+100 q^{10}-52 q^8-47 q^6+182 q^4-301 q^2+359-303 q^{-2} +110 q^{-4} +168 q^{-6} -443 q^{-8} +605 q^{-10} -562 q^{-12} +315 q^{-14} +63 q^{-16} -415 q^{-18} +597 q^{-20} -516 q^{-22} +220 q^{-24} +165 q^{-26} -445 q^{-28} +484 q^{-30} -265 q^{-32} -118 q^{-34} +506 q^{-36} -702 q^{-38} +623 q^{-40} -277 q^{-42} -216 q^{-44} +661 q^{-46} -905 q^{-48} +841 q^{-50} -511 q^{-52} +19 q^{-54} +454 q^{-56} -748 q^{-58} +762 q^{-60} -503 q^{-62} +81 q^{-64} +313 q^{-66} -530 q^{-68} +465 q^{-70} -168 q^{-72} -207 q^{-74} +498 q^{-76} -548 q^{-78} +346 q^{-80} +29 q^{-82} -415 q^{-84} +644 q^{-86} -631 q^{-88} +398 q^{-90} -50 q^{-92} -270 q^{-94} +454 q^{-96} -460 q^{-98} +334 q^{-100} -139 q^{-102} -42 q^{-104} +147 q^{-106} -183 q^{-108} +147 q^{-110} -84 q^{-112} +31 q^{-114} +10 q^{-116} -25 q^{-118} +26 q^{-120} -20 q^{-122} +10 q^{-124} -4 q^{-126} + q^{-128} }[/math] |
A1 Invariants.
| Weight | Invariant |
|---|---|
| 1 | [math]\displaystyle{ -q^5+3 q^3-4 q+6 q^{-1} -3 q^{-3} +2 q^{-5} + q^{-7} -4 q^{-9} +4 q^{-11} -5 q^{-13} +4 q^{-15} - q^{-17} }[/math] |
| 2 | [math]\displaystyle{ q^{16}-3 q^{14}+10 q^{10}-15 q^8-6 q^6+39 q^4-26 q^2-34+67 q^{-2} -10 q^{-4} -61 q^{-6} +51 q^{-8} +19 q^{-10} -50 q^{-12} +6 q^{-14} +35 q^{-16} -10 q^{-18} -40 q^{-20} +32 q^{-22} +34 q^{-24} -65 q^{-26} +10 q^{-28} +61 q^{-30} -52 q^{-32} -17 q^{-34} +50 q^{-36} -17 q^{-38} -20 q^{-40} +16 q^{-42} + q^{-44} -4 q^{-46} + q^{-48} }[/math] |
| 3 | [math]\displaystyle{ -q^{33}+3 q^{31}-6 q^{27}-q^{25}+15 q^{23}+5 q^{21}-43 q^{19}-14 q^{17}+84 q^{15}+58 q^{13}-140 q^{11}-150 q^9+181 q^7+296 q^5-167 q^3-458 q+67 q^{-1} +608 q^{-3} +93 q^{-5} -663 q^{-7} -290 q^{-9} +618 q^{-11} +460 q^{-13} -492 q^{-15} -556 q^{-17} +304 q^{-19} +579 q^{-21} -105 q^{-23} -535 q^{-25} -86 q^{-27} +459 q^{-29} +252 q^{-31} -346 q^{-33} -413 q^{-35} +228 q^{-37} +541 q^{-39} -78 q^{-41} -643 q^{-43} -92 q^{-45} +678 q^{-47} +275 q^{-49} -626 q^{-51} -442 q^{-53} +498 q^{-55} +535 q^{-57} -304 q^{-59} -540 q^{-61} +107 q^{-63} +454 q^{-65} +41 q^{-67} -318 q^{-69} -104 q^{-71} +171 q^{-73} +108 q^{-75} -69 q^{-77} -75 q^{-79} +22 q^{-81} +31 q^{-83} -12 q^{-87} - q^{-89} +4 q^{-91} - q^{-93} }[/math] |
A2 Invariants.
| Weight | Invariant |
|---|---|
| 1,0 | [math]\displaystyle{ -q^6+2 q^4-q^2-1+5 q^{-2} -2 q^{-4} +4 q^{-6} -2 q^{-10} + q^{-12} -5 q^{-14} +3 q^{-16} - q^{-18} - q^{-20} +3 q^{-22} - q^{-24} }[/math] |
| 1,1 | [math]\displaystyle{ q^{20}-6 q^{18}+20 q^{16}-50 q^{14}+109 q^{12}-218 q^{10}+392 q^8-662 q^6+1048 q^4-1548 q^2+2134-2722 q^{-2} +3230 q^{-4} -3482 q^{-6} +3384 q^{-8} -2820 q^{-10} +1769 q^{-12} -308 q^{-14} -1436 q^{-16} +3228 q^{-18} -4886 q^{-20} +6174 q^{-22} -6924 q^{-24} +7056 q^{-26} -6543 q^{-28} +5466 q^{-30} -3938 q^{-32} +2154 q^{-34} -340 q^{-36} -1288 q^{-38} +2552 q^{-40} -3344 q^{-42} +3642 q^{-44} -3508 q^{-46} +3056 q^{-48} -2430 q^{-50} +1773 q^{-52} -1192 q^{-54} +730 q^{-56} -400 q^{-58} +198 q^{-60} -88 q^{-62} +32 q^{-64} -8 q^{-66} + q^{-68} }[/math] |
| 2,0 | [math]\displaystyle{ q^{18}-2 q^{16}-2 q^{14}+6 q^{12}+2 q^{10}-12 q^8-6 q^6+19 q^4+10 q^2-24-7 q^{-2} +35 q^{-4} +7 q^{-6} -29 q^{-8} +4 q^{-10} +24 q^{-12} -7 q^{-14} -22 q^{-16} +7 q^{-18} +6 q^{-20} -20 q^{-22} +8 q^{-24} +13 q^{-26} -15 q^{-28} -4 q^{-30} +28 q^{-32} +2 q^{-34} -30 q^{-36} +4 q^{-38} +27 q^{-40} -3 q^{-42} -29 q^{-44} +7 q^{-46} +19 q^{-48} -6 q^{-50} -11 q^{-52} +9 q^{-56} - q^{-58} -3 q^{-60} + q^{-62} }[/math] |
A3 Invariants.
| Weight | Invariant |
|---|---|
| 0,1,0 | [math]\displaystyle{ q^{14}-3 q^{12}+q^{10}+7 q^8-14 q^6+3 q^4+24 q^2-31+2 q^{-2} +44 q^{-4} -44 q^{-6} + q^{-8} +48 q^{-10} -34 q^{-12} -7 q^{-14} +27 q^{-16} -10 q^{-18} -17 q^{-20} -5 q^{-22} +20 q^{-24} -6 q^{-26} -31 q^{-28} +41 q^{-30} +9 q^{-32} -48 q^{-34} +39 q^{-36} +9 q^{-38} -42 q^{-40} +26 q^{-42} +5 q^{-44} -19 q^{-46} +11 q^{-48} +2 q^{-50} -4 q^{-52} + q^{-54} }[/math] |
| 1,0,0 | [math]\displaystyle{ -q^7+2 q^5-2 q^3+2 q-2 q^{-1} +5 q^{-3} -2 q^{-5} +5 q^{-7} + q^{-9} + q^{-11} - q^{-13} -3 q^{-15} -5 q^{-19} +3 q^{-21} -2 q^{-23} +3 q^{-25} -2 q^{-27} +3 q^{-29} - q^{-31} }[/math] |
A4 Invariants.
| Weight | Invariant |
|---|---|
| 0,1,0,0 | [math]\displaystyle{ q^{16}-2 q^{14}-q^{12}+5 q^{10}-2 q^8-9 q^6+5 q^4+14 q^2-10-16 q^{-2} +22 q^{-4} +22 q^{-6} -31 q^{-8} -8 q^{-10} +47 q^{-12} +2 q^{-14} -40 q^{-16} +18 q^{-18} +33 q^{-20} -32 q^{-22} -27 q^{-24} +30 q^{-26} -4 q^{-28} -45 q^{-30} +20 q^{-32} +34 q^{-34} -35 q^{-36} -8 q^{-38} +51 q^{-40} -2 q^{-42} -40 q^{-44} +13 q^{-46} +30 q^{-48} -22 q^{-50} -24 q^{-52} +21 q^{-54} +12 q^{-56} -17 q^{-58} -2 q^{-60} +11 q^{-62} -2 q^{-64} -3 q^{-66} + q^{-68} }[/math] |
| 1,0,0,0 | [math]\displaystyle{ -q^8+2 q^6-2 q^4+q^2+1-2 q^{-2} +5 q^{-4} -2 q^{-6} +5 q^{-8} +2 q^{-10} +2 q^{-12} + q^{-14} - q^{-16} -2 q^{-18} -4 q^{-20} -5 q^{-24} +3 q^{-26} -2 q^{-28} +2 q^{-30} +2 q^{-32} -2 q^{-34} +3 q^{-36} - q^{-38} }[/math] |
B2 Invariants.
| Weight | Invariant |
|---|---|
| 0,1 | [math]\displaystyle{ -q^{14}+3 q^{12}-7 q^{10}+13 q^8-22 q^6+33 q^4-44 q^2+55-58 q^{-2} +58 q^{-4} -46 q^{-6} +29 q^{-8} -2 q^{-10} -26 q^{-12} +57 q^{-14} -83 q^{-16} +104 q^{-18} -115 q^{-20} +113 q^{-22} -102 q^{-24} +78 q^{-26} -51 q^{-28} +19 q^{-30} +9 q^{-32} -34 q^{-34} +51 q^{-36} -59 q^{-38} +60 q^{-40} -54 q^{-42} +45 q^{-44} -31 q^{-46} +19 q^{-48} -10 q^{-50} +4 q^{-52} - q^{-54} }[/math] |
| 1,0 | [math]\displaystyle{ q^{24}-3 q^{20}-3 q^{18}+4 q^{16}+10 q^{14}-18 q^{10}-14 q^8+18 q^6+34 q^4-q^2-47-25 q^{-2} +42 q^{-4} +54 q^{-6} -17 q^{-8} -64 q^{-10} -11 q^{-12} +60 q^{-14} +35 q^{-16} -39 q^{-18} -44 q^{-20} +22 q^{-22} +45 q^{-24} -8 q^{-26} -45 q^{-28} -4 q^{-30} +39 q^{-32} +9 q^{-34} -39 q^{-36} -22 q^{-38} +35 q^{-40} +32 q^{-42} -30 q^{-44} -45 q^{-46} +21 q^{-48} +60 q^{-50} +5 q^{-52} -61 q^{-54} -32 q^{-56} +48 q^{-58} +54 q^{-60} -21 q^{-62} -57 q^{-64} -10 q^{-66} +40 q^{-68} +26 q^{-70} -19 q^{-72} -25 q^{-74} + q^{-76} +15 q^{-78} +6 q^{-80} -4 q^{-82} -4 q^{-84} + q^{-88} }[/math] |
D4 Invariants.
| Weight | Invariant |
|---|---|
| 1,0,0,0 | [math]\displaystyle{ q^{18}-3 q^{16}+4 q^{14}-6 q^{12}+11 q^{10}-18 q^8+21 q^6-25 q^4+37 q^2-43+43 q^{-2} -43 q^{-4} +50 q^{-6} -40 q^{-8} +29 q^{-10} -17 q^{-12} +12 q^{-14} +18 q^{-16} -32 q^{-18} +43 q^{-20} -59 q^{-22} +77 q^{-24} -88 q^{-26} +79 q^{-28} -93 q^{-30} +85 q^{-32} -74 q^{-34} +60 q^{-36} -52 q^{-38} +35 q^{-40} -6 q^{-42} - q^{-44} +14 q^{-46} -30 q^{-48} +44 q^{-50} -45 q^{-52} +45 q^{-54} -50 q^{-56} +44 q^{-58} -35 q^{-60} +30 q^{-62} -25 q^{-64} +16 q^{-66} -8 q^{-68} +6 q^{-70} -4 q^{-72} + q^{-74} }[/math] |
G2 Invariants.
| Weight | Invariant |
|---|---|
| 1,0 | [math]\displaystyle{ q^{32}-3 q^{30}+7 q^{28}-13 q^{26}+15 q^{24}-15 q^{22}+4 q^{20}+20 q^{18}-50 q^{16}+86 q^{14}-108 q^{12}+100 q^{10}-52 q^8-47 q^6+182 q^4-301 q^2+359-303 q^{-2} +110 q^{-4} +168 q^{-6} -443 q^{-8} +605 q^{-10} -562 q^{-12} +315 q^{-14} +63 q^{-16} -415 q^{-18} +597 q^{-20} -516 q^{-22} +220 q^{-24} +165 q^{-26} -445 q^{-28} +484 q^{-30} -265 q^{-32} -118 q^{-34} +506 q^{-36} -702 q^{-38} +623 q^{-40} -277 q^{-42} -216 q^{-44} +661 q^{-46} -905 q^{-48} +841 q^{-50} -511 q^{-52} +19 q^{-54} +454 q^{-56} -748 q^{-58} +762 q^{-60} -503 q^{-62} +81 q^{-64} +313 q^{-66} -530 q^{-68} +465 q^{-70} -168 q^{-72} -207 q^{-74} +498 q^{-76} -548 q^{-78} +346 q^{-80} +29 q^{-82} -415 q^{-84} +644 q^{-86} -631 q^{-88} +398 q^{-90} -50 q^{-92} -270 q^{-94} +454 q^{-96} -460 q^{-98} +334 q^{-100} -139 q^{-102} -42 q^{-104} +147 q^{-106} -183 q^{-108} +147 q^{-110} -84 q^{-112} +31 q^{-114} +10 q^{-116} -25 q^{-118} +26 q^{-120} -20 q^{-122} +10 q^{-124} -4 q^{-126} + q^{-128} }[/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["10 113"];
|
In[4]:=
|
Alexander[K][t]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
[math]\displaystyle{ 2 t^3-11 t^2+26 t-33+26 t^{-1} -11 t^{-2} +2 t^{-3} }[/math] |
In[5]:=
|
Conway[K][z]
|
Out[5]=
|
[math]\displaystyle{ 2 z^6+z^4+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{ \{1\} }[/math] |
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
Out[7]=
|
{ 111, 2 } |
In[8]:=
|
Jones[K][q]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
[math]\displaystyle{ -q^8+5 q^7-10 q^6+14 q^5-18 q^4+19 q^3-17 q^2+14 q-8+4 q^{-1} - q^{-2} }[/math] |
In[9]:=
|
HOMFLYPT[K][a, z]
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
[math]\displaystyle{ z^6 a^{-2} +z^6 a^{-4} +2 z^4 a^{-2} +z^4 a^{-4} -z^4 a^{-6} -z^4+3 z^2 a^{-2} -2 z^2 a^{-4} -z^2+3 a^{-2} -3 a^{-4} + a^{-6} }[/math] |
In[10]:=
|
Kauffman[K][a, z]
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
[math]\displaystyle{ 3 z^9 a^{-3} +3 z^9 a^{-5} +7 z^8 a^{-2} +16 z^8 a^{-4} +9 z^8 a^{-6} +7 z^7 a^{-1} +12 z^7 a^{-3} +15 z^7 a^{-5} +10 z^7 a^{-7} -5 z^6 a^{-2} -23 z^6 a^{-4} -9 z^6 a^{-6} +5 z^6 a^{-8} +4 z^6+a z^5-10 z^5 a^{-1} -30 z^5 a^{-3} -36 z^5 a^{-5} -16 z^5 a^{-7} +z^5 a^{-9} -6 z^4 a^{-2} +z^4 a^{-4} -4 z^4 a^{-6} -5 z^4 a^{-8} -6 z^4-a z^3+5 z^3 a^{-1} +17 z^3 a^{-3} +16 z^3 a^{-5} +5 z^3 a^{-7} +8 z^2 a^{-2} +8 z^2 a^{-4} +3 z^2 a^{-6} +3 z^2-z a^{-1} -z a^{-3} +z a^{-5} +z a^{-7} -3 a^{-2} -3 a^{-4} - a^{-6} }[/math] |
"Similar" Knots (within the Atlas)
Same Alexander/Conway Polynomial: {K11a107, K11a347,}
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["10 113"];
|
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^3-11 t^2+26 t-33+26 t^{-1} -11 t^{-2} +2 t^{-3} }[/math], [math]\displaystyle{ -q^8+5 q^7-10 q^6+14 q^5-18 q^4+19 q^3-17 q^2+14 q-8+4 q^{-1} - q^{-2} }[/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]=
|
{K11a107, K11a347,} |
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: | (0, -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]2 is the signature of 10 113. 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^{23}-5 q^{22}+5 q^{21}+16 q^{20}-41 q^{19}+8 q^{18}+83 q^{17}-108 q^{16}-27 q^{15}+196 q^{14}-159 q^{13}-102 q^{12}+295 q^{11}-161 q^{10}-174 q^9+325 q^8-116 q^7-203 q^6+269 q^5-47 q^4-171 q^3+157 q^2+4 q-94+56 q^{-1} +12 q^{-2} -29 q^{-3} +11 q^{-4} +3 q^{-5} -4 q^{-6} + q^{-7} }[/math] |
| 3 | [math]\displaystyle{ -q^{45}+5 q^{44}-5 q^{43}-11 q^{42}+11 q^{41}+36 q^{40}-14 q^{39}-108 q^{38}+17 q^{37}+213 q^{36}+49 q^{35}-383 q^{34}-197 q^{33}+572 q^{32}+462 q^{31}-730 q^{30}-844 q^{29}+808 q^{28}+1301 q^{27}-767 q^{26}-1784 q^{25}+624 q^{24}+2202 q^{23}-364 q^{22}-2554 q^{21}+73 q^{20}+2767 q^{19}+255 q^{18}-2867 q^{17}-568 q^{16}+2834 q^{15}+853 q^{14}-2660 q^{13}-1113 q^{12}+2385 q^{11}+1283 q^{10}-1976 q^9-1388 q^8+1525 q^7+1347 q^6-1024 q^5-1230 q^4+617 q^3+974 q^2-268 q-715+76 q^{-1} +449 q^{-2} +23 q^{-3} -252 q^{-4} -39 q^{-5} +118 q^{-6} +33 q^{-7} -54 q^{-8} -13 q^{-9} +20 q^{-10} +4 q^{-11} -6 q^{-12} -3 q^{-13} +4 q^{-14} - q^{-15} }[/math] |
| 4 | [math]\displaystyle{ q^{74}-5 q^{73}+5 q^{72}+11 q^{71}-16 q^{70}-6 q^{69}-30 q^{68}+54 q^{67}+103 q^{66}-82 q^{65}-112 q^{64}-251 q^{63}+212 q^{62}+645 q^{61}+48 q^{60}-469 q^{59}-1402 q^{58}-26 q^{57}+2075 q^{56}+1563 q^{55}-206 q^{54}-4248 q^{53}-2542 q^{52}+3229 q^{51}+5529 q^{50}+3239 q^{49}-7254 q^{48}-8631 q^{47}+897 q^{46}+10069 q^{45}+11259 q^{44}-6767 q^{43}-15986 q^{42}-6381 q^{41}+11329 q^{40}+21118 q^{39}-1369 q^{38}-20470 q^{37}-15829 q^{36}+7975 q^{35}+28515 q^{34}+6390 q^{33}-20505 q^{32}-23517 q^{31}+2084 q^{30}+31572 q^{29}+13360 q^{28}-17291 q^{27}-27794 q^{26}-4111 q^{25}+30657 q^{24}+18367 q^{23}-11987 q^{22}-28602 q^{21}-9929 q^{20}+26018 q^{19}+21092 q^{18}-4872 q^{17}-25517 q^{16}-14666 q^{15}+17731 q^{14}+20332 q^{13}+2697 q^{12}-18207 q^{11}-16185 q^{10}+7772 q^9+15153 q^8+7485 q^7-8838 q^6-12951 q^5+302 q^4+7617 q^3+7305 q^2-1746 q-6996-2153 q^{-1} +1895 q^{-2} +4049 q^{-3} +829 q^{-4} -2326 q^{-5} -1348 q^{-6} -201 q^{-7} +1302 q^{-8} +662 q^{-9} -441 q^{-10} -330 q^{-11} -268 q^{-12} +248 q^{-13} +179 q^{-14} -69 q^{-15} -17 q^{-16} -70 q^{-17} +37 q^{-18} +26 q^{-19} -19 q^{-20} +5 q^{-21} -9 q^{-22} +6 q^{-23} +3 q^{-24} -4 q^{-25} + q^{-26} }[/math] |
| 5 | [math]\displaystyle{ -q^{110}+5 q^{109}-5 q^{108}-11 q^{107}+16 q^{106}+11 q^{105}-10 q^{103}-49 q^{102}-53 q^{101}+77 q^{100}+193 q^{99}+105 q^{98}-147 q^{97}-470 q^{96}-463 q^{95}+146 q^{94}+1142 q^{93}+1425 q^{92}+120 q^{91}-2076 q^{90}-3380 q^{89}-1743 q^{88}+2924 q^{87}+7090 q^{86}+5594 q^{85}-2529 q^{84}-11815 q^{83}-13351 q^{82}-1683 q^{81}+16722 q^{80}+25488 q^{79}+11986 q^{78}-18233 q^{77}-40936 q^{76}-31019 q^{75}+12436 q^{74}+56673 q^{73}+58646 q^{72}+4708 q^{71}-67378 q^{70}-92461 q^{69}-35372 q^{68}+67642 q^{67}+127438 q^{66}+78290 q^{65}-53411 q^{64}-156999 q^{63}-129444 q^{62}+23740 q^{61}+175703 q^{60}+182272 q^{59}+18982 q^{58}-180144 q^{57}-230663 q^{56}-69435 q^{55}+170524 q^{54}+269064 q^{53}+122008 q^{52}-149290 q^{51}-295846 q^{50}-170921 q^{49}+120958 q^{48}+310323 q^{47}+213088 q^{46}-89127 q^{45}-315143 q^{44}-247013 q^{43}+57310 q^{42}+312043 q^{41}+273152 q^{40}-26342 q^{39}-303206 q^{38}-292904 q^{37}-3679 q^{36}+289392 q^{35}+307134 q^{34}+33780 q^{33}-269756 q^{32}-316379 q^{31}-65076 q^{30}+243562 q^{29}+319348 q^{28}+97142 q^{27}-208866 q^{26}-314188 q^{25}-128881 q^{24}+166215 q^{23}+298125 q^{22}+156560 q^{21}-116345 q^{20}-269958 q^{19}-176317 q^{18}+64083 q^{17}+229332 q^{16}+183631 q^{15}-13836 q^{14}-179900 q^{13}-176795 q^{12}-26835 q^{11}+126211 q^{10}+155697 q^9+54716 q^8-75683 q^7-124947 q^6-66442 q^5+33970 q^4+89488 q^3+64870 q^2-5068 q-56439-53407 q^{-1} -10729 q^{-2} +29891 q^{-3} +38155 q^{-4} +15804 q^{-5} -12198 q^{-6} -23416 q^{-7} -14367 q^{-8} +2521 q^{-9} +12382 q^{-10} +10079 q^{-11} +1302 q^{-12} -5328 q^{-13} -5903 q^{-14} -2040 q^{-15} +1877 q^{-16} +2885 q^{-17} +1431 q^{-18} -405 q^{-19} -1165 q^{-20} -799 q^{-21} -6 q^{-22} +435 q^{-23} +328 q^{-24} +26 q^{-25} -111 q^{-26} -98 q^{-27} -46 q^{-28} +40 q^{-29} +47 q^{-30} -15 q^{-31} -9 q^{-32} +6 q^{-33} -6 q^{-34} +9 q^{-36} -6 q^{-37} -3 q^{-38} +4 q^{-39} - q^{-40} }[/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. |
|




