L10n86: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
No edit summary |
DrorsRobot (talk | contribs) 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 template [[Link_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 [[Link_Splice_Base]]. --> |
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Link_Splice_Base]]. --> |
||
<!-- --> |
<!-- <math>\text{Null}</math> --> |
||
<!-- --> |
<!-- <math>\text{Null}</math> --> |
||
<!-- WARNING! WARNING! WARNING! |
<!-- WARNING! WARNING! WARNING! |
||
<!-- This page was generated from the splice template [[Link Splice Template]]. Please do not edit! |
<!-- This page was generated from the splice template [[Link Splice Template]]. Please do not edit! |
||
| Line 10: | Line 10: | ||
<!-- The text below simply calls [[Template:Link Page]] setting the values of all the parameters appropriately. |
<!-- The text below simply calls [[Template:Link Page]] setting the values of all the parameters appropriately. |
||
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Link Splice Template]]. --> |
<!-- This page itself was created by running [[Media:KnotPageSpliceRobot.nb]] on [[Link Splice Template]]. --> |
||
<!-- --> |
<!-- <math>\text{Null}</math> --> |
||
{{Link Page| |
{{Link Page| |
||
n = 10 | |
n = 10 | |
||
t = |
t = n | |
||
k = 86 | |
k = 86 | |
||
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-9,2,-10:5,-4,-8,6,-7,3:9,-1,4,-5,10,-2,-6,7,-3,8/goTop.html | |
KnotilusURL = http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-9,2,-10:5,-4,-8,6,-7,3:9,-1,4,-5,10,-2,-6,7,-3,8/goTop.html | |
||
braid_table = <table cellspacing=0 cellpadding=0 border=0> |
|||
<tr><td>[[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart1.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart3.gif]][[Image:BraidPart0.gif]][[Image:BraidPart3.gif]][[Image:BraidPart2.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart3.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart1.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
<tr><td>[[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart4.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]][[Image:BraidPart2.gif]][[Image:BraidPart0.gif]][[Image:BraidPart0.gif]]</td></tr> |
|||
| ⚫ | |||
khovanov_table = <table border=1> |
khovanov_table = <table border=1> |
||
<tr align=center> |
<tr align=center> |
||
| Line 41: | Line 48: | ||
<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 |
<tr valign=top><td colspan=2>Loading KnotTheory` (version of September 2, 2005, 15:8:39)...</td></tr> |
||
| ⚫ | |||
</table> |
|||
<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>10</nowiki></pre></td></tr> |
|||
<table><tr align=left> |
|||
< |
<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>Length[Skeleton[Link[10, NonAlternating, 86]]]</nowiki></pre></td></tr> |
||
<td>< |
<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>3</nowiki></pre></td></tr> |
||
| ⚫ | |||
<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>PD[X[6, 1, 7, 2], X[10, 3, 11, 4], X[13, 20, 14, 15], X[16, 8, 17, 7], |
||
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>10</nowiki></code></td></tr> |
|||
| ⚫ | |||
<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>Length[Skeleton[Link[10, NonAlternating, 86]]]</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>3</nowiki></code></td></tr> |
|||
</table> |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td> |
|||
| ⚫ | |||
<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>PD[X[6, 1, 7, 2], X[10, 3, 11, 4], X[13, 20, 14, 15], X[16, 8, 17, 7], |
|||
X[8, 16, 9, 15], X[11, 18, 12, 19], X[19, 12, 20, 13], |
X[8, 16, 9, 15], X[11, 18, 12, 19], X[19, 12, 20, 13], |
||
X[17, 14, 18, 5], X[2, 5, 3, 6], X[4, 9, 1, 10]]</nowiki></ |
X[17, 14, 18, 5], X[2, 5, 3, 6], X[4, 9, 1, 10]]</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td> |
|||
| ⚫ | |||
{9, -1, 4, -5, 10, -2, -6, 7, -3, 8}]</nowiki></ |
{9, -1, 4, -5, 10, -2, -6, 7, -3, 8}]</nowiki></pre></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>BR[5, {1, -2, -3, -4, -3, -2, -2, -2, -1, 2, -3, 4, -3, 2}]</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>Show[DrawMorseLink[Link[10, NonAlternating, 86]]]</nowiki></pre></td></tr><tr><td></td><td align=left>[[Image:L10n86_ML.gif]]</td></tr><tr valign=top><td><tt><font color=blue>Out[7]=</font></tt><td><tt><font color=black>-Graphics-</font></tt></td></tr> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td> |
|||
<td>< |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>KnotSignature[Link[10, NonAlternating, 86]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>-4</nowiki></pre></td></tr> |
|||
<tr align=left><td></td><td>[[Image:L10n86_ML.gif]]</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>J=Jones[Link[10, NonAlternating, 86]][q]</nowiki></pre></td></tr> |
||
<td>< |
<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> -8 2 4 3 5 3 3 2 |
||
</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>KnotSignature[Link[10, NonAlternating, 86]]</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> |
|||
| ⚫ | |||
<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> -8 2 4 3 5 3 3 2 |
|||
1 + q - -- + -- - -- + -- - -- + -- - - |
1 + q - -- + -- - -- + -- - -- + -- - - |
||
7 6 5 4 3 2 q |
7 6 5 4 3 2 q |
||
q q q q q q</nowiki></ |
q q q q q q</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td> |
|||
| ⚫ | |||
1 + --- + --- + --- + --- + --- + --- + --- + --- |
1 + --- + --- + --- + --- + --- + --- + --- + --- |
||
24 22 20 18 16 14 12 10 |
24 22 20 18 16 14 12 10 |
||
q q q q q q q q</nowiki></ |
q q q q q q q q</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
<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 8 |
|||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td> |
|||
| ⚫ | |||
<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> 4 6 8 |
|||
2 4 6 a 2 a a 2 2 4 2 6 2 2 4 |
2 4 6 a 2 a a 2 2 4 2 6 2 2 4 |
||
a + a - 2 a + -- - ---- + -- + 3 a z - 3 a z + 2 a z + a z - |
a + a - 2 a + -- - ---- + -- + 3 a z - 3 a z + 2 a z + a z - |
||
| Line 123: | Line 86: | ||
4 4 6 4 4 6 |
4 4 6 4 4 6 |
||
4 a z + a z - a z</nowiki></ |
4 a z + a z - a z</nowiki></pre></td></tr> |
||
| ⚫ | |||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td> |
|||
| ⚫ | |||
2 4 6 8 a 2 a a 2 a 2 a 5 |
2 4 6 8 a 2 a a 2 a 2 a 5 |
||
-a + 2 a + 6 a + 4 a - -- - ---- - -- + ---- + ---- - 5 a z - |
-a + 2 a + 6 a + 4 a - -- - ---- - -- + ---- + ---- - 5 a z - |
||
| Line 146: | Line 104: | ||
5 7 7 7 4 8 6 8 |
5 7 7 7 4 8 6 8 |
||
3 a z + a z + a z + a z</nowiki></ |
3 a z + a z + a z + a z</nowiki></pre></td></tr> |
||
<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>Kh[Link[10, NonAlternating, 86]][q, t]</nowiki></pre></td></tr> |
|||
</table> |
|||
| ⚫ | |||
<table><tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td> |
|||
| ⚫ | |||
<tr align=left> |
|||
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td> |
|||
| ⚫ | |||
-- + -- + ------ + ------ + ------ + ------ + ------ + ------ + ----- + |
-- + -- + ------ + ------ + ------ + ------ + ------ + ------ + ----- + |
||
5 3 17 6 15 6 15 5 13 4 11 4 11 3 9 3 |
5 3 17 6 15 6 15 5 13 4 11 4 11 3 9 3 |
||
| Line 161: | Line 114: | ||
----- + ----- + ---- + ---- + -- + - + q t |
----- + ----- + ---- + ---- + -- + - + q t |
||
9 2 7 2 7 5 3 q |
9 2 7 2 7 5 3 q |
||
q t q t q t q t q</nowiki></ |
q t q t q t q t q</nowiki></pre></td></tr> |
||
</table> }} |
</table> }} |
||
Revision as of 18:14, 2 September 2005
|
|
|
![]() (Knotscape image) |
See the full Thistlethwaite Link Table (up to 11 crossings). |
Link Presentations
[edit Notes on L10n86's Link Presentations]
| Planar diagram presentation | X6172 X10,3,11,4 X13,20,14,15 X16,8,17,7 X8,16,9,15 X11,18,12,19 X19,12,20,13 X17,14,18,5 X2536 X4,9,1,10 |
| Gauss code | {1, -9, 2, -10}, {5, -4, -8, 6, -7, 3}, {9, -1, 4, -5, 10, -2, -6, 7, -3, 8} |
| A Braid Representative | ||||||
| A Morse Link Presentation |
|
Polynomial invariants
| Multivariable Alexander Polynomial (in [math]\displaystyle{ u }[/math], [math]\displaystyle{ v }[/math], [math]\displaystyle{ w }[/math], ...) | [math]\displaystyle{ -\frac{(t(3)-1) \left(t(1) t(3) t(2)^2-t(3) t(2)^2-t(1) t(3) t(2)-t(2)-t(1)+1\right)}{\sqrt{t(1)} t(2) t(3)} }[/math] (db) |
| Jones polynomial | [math]\displaystyle{ 1-2 q^{-1} +3 q^{-2} -3 q^{-3} +5 q^{-4} -3 q^{-5} +4 q^{-6} -2 q^{-7} + q^{-8} }[/math] (db) |
| Signature | -4 (db) |
| HOMFLY-PT polynomial | [math]\displaystyle{ a^8 z^{-2} +z^4 a^6+2 z^2 a^6-2 a^6 z^{-2} -2 a^6-z^6 a^4-4 z^4 a^4-3 z^2 a^4+a^4 z^{-2} +a^4+z^4 a^2+3 z^2 a^2+a^2 }[/math] (db) |
| Kauffman polynomial | [math]\displaystyle{ z^2 a^{10}+2 z^3 a^9+4 z^4 a^8-6 z^2 a^8-a^8 z^{-2} +4 a^8+z^7 a^7-2 z^5 a^7+4 z^3 a^7-5 z a^7+2 a^7 z^{-1} +z^8 a^6-3 z^6 a^6+6 z^4 a^6-10 z^2 a^6-2 a^6 z^{-2} +6 a^6+3 z^7 a^5-10 z^5 a^5+9 z^3 a^5-5 z a^5+2 a^5 z^{-1} +z^8 a^4-2 z^6 a^4-2 z^4 a^4+z^2 a^4-a^4 z^{-2} +2 a^4+2 z^7 a^3-8 z^5 a^3+7 z^3 a^3+z^6 a^2-4 z^4 a^2+4 z^2 a^2-a^2 }[/math] (db) |
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]). |
|
| Integral Khovanov Homology
(db, data source) |
|
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`. See A Sample KnotTheory` Session.
Modifying This Page
| Read me first: Modifying Knot Pages
See/edit the Link Page master template (intermediate). See/edit the Link_Splice_Base (expert). Back to the top. |
|






