9 24: 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 = 9 |  | 
  n = 9 |  | 
||
| Line 52: | Line 52: | ||
         <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[9, 24]]</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[1, 4, 2, 5], X[3, 8, 4, 9], X[5, 14, 6, 15], X[9, 17, 10, 16],   | 
  |||
<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, 24]]</nowiki></code></td></tr>  | 
|||
<tr align=left>  | 
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[2]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[X[1, 4, 2, 5], X[3, 8, 4, 9], X[5, 14, 6, 15], X[9, 17, 10, 16],   | 
|||
  X[11, 1, 12, 18], X[17, 11, 18, 10], X[15, 13, 16, 12],   | 
    X[11, 1, 12, 18], X[17, 11, 18, 10], X[15, 13, 16, 12],   | 
||
  X[13, 6, 14, 7], X[7, 2, 8, 3]]</nowiki></  | 
    X[13, 6, 14, 7], X[7, 2, 8, 3]]</nowiki></code></td></tr>  | 
||
</table>  | 
|||
         <tr valign=top><td><pre style="color:    blue; border: 0px; padding: 0em"><nowiki>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[Knot[9, 24]]</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, 9, -2, 1, -3, 8, -9, 2, -4, 6, -5, 7, -8, 3, -7, 4, -6, 5]</nowiki></pre></td></tr>  | 
  |||
<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, 24]]</nowiki></code></td></tr>  | 
|||
<tr align=left>  | 
|||
         <tr valign=top><td><pre style="color:    blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>br = BR[Knot[9, 24]]</nowiki></pre></td></tr>  | 
  |||
<  | 
  <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, 9, -2, 1, -3, 8, -9, 2, -4, 6, -5, 7, -8, 3, -7, 4, -6, 5]</nowiki></code></td></tr>  | 
|||
</table>  | 
|||
<tr valign=top><td><pre   style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]=  </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{4, 9}</nowiki></pre></td></tr>  | 
  |||
         <table><tr align=left>  | 
|||
         <tr valign=top><td><pre style="color:    blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BraidIndex[Knot[9, 24]]</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[9, 24]]</nowiki></code></td></tr>  | 
|||
<tr align=left>  | 
|||
         <tr valign=top><td><pre style="color:    blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki> (#[Knot[9, 24]]&) /@ {  | 
  |||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[4]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[4, 8, 14, 2, 16, 18, 6, 12, 10]</nowiki></code></td></tr>  | 
|||
</table>  | 
|||
         <table><tr align=left>  | 
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>br = BR[Knot[9, 24]]</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, 2, -1, -3, 2, 2, 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, 9}</nowiki></code></td></tr>  | 
|||
</table>  | 
|||
         <table><tr align=left>  | 
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[7]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BraidIndex[Knot[9, 24]]</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[9, 24]]]</nowiki></code></td></tr>  | 
|||
<tr align=left><td></td><td>[[Image:9_24_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, 24]]&) /@ {  | 
|||
                  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, {4, 6}, 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, {4, 6}, 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[9, 24]][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>      -3   5    10             2    3  | 
|||
13 - t   + -- - -- - 10 t + 5 t  - t  | 
  13 - t   + -- - -- - 10 t + 5 t  - t  | 
||
            2   t  | 
              2   t  | 
||
           t</nowiki></  | 
             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[9, 24]][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>     2    4    6  | 
  |||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>  | 
|||
1 + z  - z  - 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[9, 24]][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[8, 18], Knot[9, 24], Knot[11, NonAlternating, 85],   | 
  |||
<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    6  | 
|||
1 + z  - z  - z</nowiki></code></td></tr>  | 
|||
</table>  | 
|||
         <table><tr align=left>  | 
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></code></td></tr>  | 
|||
<tr align=left>  | 
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[8, 18], Knot[9, 24], Knot[11, NonAlternating, 85],   | 
|||
  Knot[11, NonAlternating, 164]}</nowiki></  | 
    Knot[11, NonAlternating, 164]}</nowiki></code></td></tr>  | 
||
</table>  | 
|||
         <tr valign=top><td><pre style="color:    blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{KnotDet[Knot[9, 24]], KnotSignature[Knot[9, 24]]}</nowiki></pre></td></tr>  | 
  |||
         <table><tr align=left>  | 
|||
<tr valign=top><td><pre   style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]=  </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{45, 0}</nowiki></pre></td></tr>  | 
  |||
<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, 24]], KnotSignature[Knot[9, 24]]}</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, 24]][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   2    4    7    7            2      3    4  | 
|||
8 - q   + -- - -- + -- - - - 7 q + 5 q  - 3 q  + q  | 
  8 - q   + -- - -- + -- - - - 7 q + 5 q  - 3 q  + q  | 
||
           4    3    2   q  | 
             4    3    2   q  | 
||
          q    q    q</nowiki></  | 
            q    q    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[9, 24]}</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[9, 24]}</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, 24]][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    -10   3    2     -4   2     2      4    8    10  | 
|||
-2 - q    - q    - q    + -- + -- + q   + -- + q  - 2 q  + q  - q   +   | 
  -2 - q    - q    - q    + -- + -- + q   + -- + q  - 2 q  + q  - q   +   | 
||
                           8    6          2  | 
                             8    6          2  | 
||
| Line 103: | Line 179: | ||
   12  | 
     12  | 
||
  q</nowiki></  | 
    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[9, 24]][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                             4  | 
  |||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[17]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>HOMFLYPT[Knot[9, 24]][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      4      2   2 z       2  2    4  2      4   z  | 
        -2      2      4      2   2 z       2  2    4  2      4   z  | 
||
-3 + a   + 5 a  - 2 a  - 6 z  + ---- + 6 a  z  - a  z  - 4 z  + -- +   | 
  -3 + a   + 5 a  - 2 a  - 6 z  + ---- + 6 a  z  - a  z  - 4 z  + -- +   | 
||
| Line 112: | Line 193: | ||
     2  4    6  | 
       2  4    6  | 
||
  2 a  z  - z</nowiki></  | 
    2 a  z  - z</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[9, 24]][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      4   z    2 z              3        5        2  | 
  |||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[18]:=</code></td>  | 
|||
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kauffman[Knot[9, 24]][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   z    2 z              3        5        2  | 
|||
-3 - a   - 5 a  - 2 a  + -- + --- + 2 a z + 3 a  z + 2 a  z + 9 z  -   | 
  -3 - a   - 5 a  - 2 a  + -- + --- + 2 a z + 3 a  z + 2 a  z + 9 z  -   | 
||
                          3    a  | 
                            3    a  | 
||
| Line 138: | Line 224: | ||
       7      3  7    8    2  8  | 
         7      3  7    8    2  8  | 
||
  5 a z  + 2 a  z  + z  + a  z</nowiki></  | 
    5 a z  + 2 a  z  + z  + a  z</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[9, 24]], Vassiliev[3][Knot[9, 24]]}</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>{1, -2}</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[9, 24]], Vassiliev[3][Knot[9, 24]]}</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>{1, -2}</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, 24]][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>5           1        1       1       3       1       4       3  | 
|||
- + 4 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- +   | 
  - + 4 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- +   | 
||
q          11  5    9  4    7  4    7  3    5  3    5  2    3  2  | 
  q          11  5    9  4    7  4    7  3    5  3    5  2    3  2  | 
||
| Line 153: | Line 249: | ||
   9  4  | 
     9  4  | 
||
  q  t</nowiki></  | 
    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[9, 24], 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>      -15    2     6     9     3    21   19   14   44   25   31   61  | 
  |||
<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, 24], 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    2     6     9     3    21   19   14   44   25   31   61  | 
|||
64 + q    - --- + --- - --- - --- + -- - -- - -- + -- - -- - -- + -- -   | 
  64 + q    - --- + --- - --- - --- + -- - -- - -- + -- - -- - -- + -- -   | 
||
             14    12    11    10    9    8    7    6    5    4    3  | 
               14    12    11    10    9    8    7    6    5    4    3  | 
||
| Line 166: | Line 267: | ||
     9    10      11    12  | 
       9    10      11    12  | 
||
  8 q  + q   - 3 q   + q</nowiki></  | 
    8 q  + q   - 3 q   + q</nowiki></code></td></tr>  | 
||
</table>  }}  | 
|||
Latest revision as of 16:56, 1 September 2005
| 
 | 
 | 
![]() (KnotPlot image)  | 
 See the full Rolfsen Knot Table. Visit 9 24's page at the Knot Server (KnotPlot driven, includes 3D interactive images!)  | 
Knot presentations
| Planar diagram presentation | X1425 X3849 X5,14,6,15 X9,17,10,16 X11,1,12,18 X17,11,18,10 X15,13,16,12 X13,6,14,7 X7283 | 
| Gauss code | -1, 9, -2, 1, -3, 8, -9, 2, -4, 6, -5, 7, -8, 3, -7, 4, -6, 5 | 
| Dowker-Thistlethwaite code | 4 8 14 2 16 18 6 12 10 | 
| Conway Notation | [3,21,2+] | 
| Minimum Braid Representative | A Morse Link Presentation | An Arc Presentation | ||||
Length is 9, width is 4, Braid index is 4  | 
 
 | 
![]() [{12, 4}, {3, 10}, {8, 11}, {10, 12}, {9, 5}, {4, 8}, {6, 9}, {5, 7}, {2, 6}, {1, 3}, {11, 2}, {7, 1}]  | 
[edit Notes on presentations of 9 24]
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 24"];
 | 
In[4]:=
 | 
PD[K]
 | 
KnotTheory::loading: Loading precomputed data in PD4Knots`.
 | 
Out[4]=
 | 
X1425 X3849 X5,14,6,15 X9,17,10,16 X11,1,12,18 X17,11,18,10 X15,13,16,12 X13,6,14,7 X7283 | 
In[5]:=
 | 
GaussCode[K]
 | 
Out[5]=
 | 
-1, 9, -2, 1, -3, 8, -9, 2, -4, 6, -5, 7, -8, 3, -7, 4, -6, 5 | 
In[6]:=
 | 
DTCode[K]
 | 
Out[6]=
 | 
4 8 14 2 16 18 6 12 10 | 
(The path below may be different on your system)
In[7]:=
 | 
AppendTo[$Path, "C:/bin/LinKnot/"];
 | 
In[8]:=
 | 
ConwayNotation[K]
 | 
Out[8]=
 | 
[3,21,2+] | 
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]=
 | 
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, 9, 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[{12, 4}, {3, 10}, {8, 11}, {10, 12}, {9, 5}, {4, 8}, {6, 9}, {5, 7}, {2, 6}, {1, 3}, {11, 2}, {7, 1}] | 
In[14]:=
 | 
Draw[ap]
 | 
 
 | 
Out[14]=
 | 
-Graphics- | 
Three dimensional invariants
  | 
Four dimensional invariants
  | 
Polynomial invariants
A1 Invariants.
| Weight | Invariant | 
|---|---|
| 1 | |
| 2 | |
| 3 | |
| 4 | |
| 5 | 
A2 Invariants.
| Weight | Invariant | 
|---|---|
| 1,0 | |
| 1,1 | |
| 2,0 | 
A3 Invariants.
| Weight | Invariant | 
|---|---|
| 0,1,0 | |
| 1,0,0 | 
A4 Invariants.
| Weight | Invariant | 
|---|---|
| 0,1,0,0 | |
| 1,0,0,0 | 
B2 Invariants.
| Weight | Invariant | 
|---|---|
| 0,1 | |
| 1,0 | 
D4 Invariants.
| Weight | Invariant | 
|---|---|
| 1,0,0,0 | 
G2 Invariants.
| Weight | Invariant | 
|---|---|
| 1,0 | 
.
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 24"];
 | 
In[4]:=
 | 
Alexander[K][t]
 | 
KnotTheory::loading: Loading precomputed data in PD4Knots`.
 | 
Out[4]=
 | 
In[5]:=
 | 
Conway[K][z]
 | 
Out[5]=
 | 
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]=
 | 
In[7]:=
 | 
{KnotDet[K], KnotSignature[K]}
 | 
Out[7]=
 | 
{ 45, 0 } | 
In[8]:=
 | 
Jones[K][q]
 | 
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
 | 
Out[8]=
 | 
In[9]:=
 | 
HOMFLYPT[K][a, z]
 | 
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
 | 
Out[9]=
 | 
In[10]:=
 | 
Kauffman[K][a, z]
 | 
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
 | 
Out[10]=
 | 
"Similar" Knots (within the Atlas)
Same Alexander/Conway Polynomial: {8_18, K11n85, K11n164,}
Same Jones Polynomial (up to mirroring, ): {}
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 24"];
 | 
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]=
 | 
{ , } | 
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]=
 | 
{8_18, K11n85, K11n164,} | 
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: | (1, -2) | 
| 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 are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where 0 is the signature of 9 24. Nonzero entries off the critical diagonals (if any exist) are highlighted in red. | 
  | 
| Integral Khovanov Homology
 (db, data source)  | 
 | 
The Coloured Jones Polynomials
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 | |
| 7 | 
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.  | 
  | 




