Knot Atlas - User contributions [en]

Planar Diagrams

2009-05-27T08:48:26Z

CacelC4tli:

[http://s1.shard.jp/galeach/new10.html asian theme wedding favors
] [http://s1.shard.jp/losaul/lions-club-australia.html tech ed 2005 australia
] [http://s1.shard.jp/losaul/exchange-rate-australian.html parkes new south wales australia
] [http://s1.shard.jp/losaul/wholesale-australian.html australian soccer league
] [http://s1.shard.jp/olharder/autoroll-654.html webmap] [http://s1.shard.jp/olharder/auto-bill-fitts.html autoharp recording
] [http://s1.shard.jp/galeach/new73.html asian big gallery tit
] [http://s1.shard.jp/losaul/australia-physiotherapy.html travelling to australia visa
] [http://s1.shard.jp/olharder/autoroll-654.html link] [http://s1.shard.jp/olharder/seiko-titanium-kinetic.html autocollimator tutorial
] [http://s1.shard.jp/frhorton/5hrrb99yl.html travel and europe africa
] [http://s1.shard.jp/losaul/planes-for-sale.html aerial photographs victoria australia
] [http://s1.shard.jp/galeach/new191.html asia bank offshore rabo sarasin
] [http://s1.shard.jp/olharder/autodesk-inventor.html meta autorefresh
] [http://s1.shard.jp/bireba/download-free.html download free norton antivirus trial] [http://s1.shard.jp/bireba/antivirus-services.html antivirus services] [http://s1.shard.jp/bireba/alerta-antiviruses.html antivirus software for server 2003
] [http://s1.shard.jp/bireba/alertas-antivirus.html alertas antivirus] [http://s1.shard.jp/olharder/automated-gasoline.html abc auto parts blue island
] [http://s1.shard.jp/bireba/ravantivirus.html benchmark report between mcafee norton antivirus
] [http://s1.shard.jp/bireba/norton-antivirus.html linux antivirus review
] [http://s1.shard.jp/olharder/autoroll-654.html map] [http://s1.shard.jp/olharder/auto-bap.html old autos newspaper
] [http://s1.shard.jp/frhorton/928f3x2wr.html african goddesses.+com
] [http://s1.shard.jp/galeach/new38.html awesome asian
] [http://s1.shard.jp/olharder/12-auto-become-br.html automotive dash paint
] [http://s1.shard.jp/losaul/australia-zoo.html seek jobs in australia
] [http://s1.shard.jp/olharder/grand-theft-auto.html automotive position sensor throttle
] [http://s1.shard.jp/frhorton/xodsctsq6.html african gray
] [http://s1.shard.jp/frhorton/glos5k8jt.html african cd music south
] [http://s1.shard.jp/olharder/luggage-rack-automobile.html luggage rack automobile] [http://s1.shard.jp/losaul/computer-pals.html baby monitor australia
] [http://s1.shard.jp/galeach/new195.html what is achalasia
] [http://s1.shard.jp/galeach/new135.html ectrodactyly ectodermal dysplasia
] [http://s1.shard.jp/bireba/antivirus-2004-download.html kasperski antivirus program
] [http://s1.shard.jp/bireba/panda-titanium.html dansguardian antivirus
] [http://s1.shard.jp/losaul/australian-motorsportbiz.html australian motorsport.biz] [http://s1.shard.jp/frhorton/nypq37a4u.html s africa v england 5th test
] [http://s1.shard.jp/olharder/autoroll-654.html http] [http://s1.shard.jp/losaul/australian-sports.html pentax lenses australia
] [http://s1.shard.jp/bireba/maafee-antivirus.html nortan antivirus 2005 activation key
] [http://s1.shard.jp/losaul/tents-australia.html boating supplies australia
] [http://s1.shard.jp/olharder/autoroll-654.html http] [http://s1.shard.jp/bireba/download-norton.html trojan antivirus software
] [http://s1.shard.jp/olharder/autoroll-654.html index] [http://s1.shard.jp/frhorton/ african american migration experience
] [http://s1.shard.jp/galeach/new37.html asian pork chop
] [http://s1.shard.jp/galeach/new17.html asiafriendfinder.com dating go p143923.subasian
] [http://s1.shard.jp/olharder/autoroll-654.html url]
[http://s1.shard.jp/olharder/automotive-executive.html wal mart auto service center
] [http://s1.shard.jp/bireba/unistalling-norton.html unistalling norton antivirus] [http://s1.shard.jp/galeach/new12.html asian scene girl
] [http://s1.shard.jp/olharder/auto-insurance.html autoexec express
] [http://s1.shard.jp/losaul/online-clothing.html diggers australia pty ltd
] [http://s1.shard.jp/olharder/stan-olsen-auto.html pip auto
] [http://s1.shard.jp/olharder/autoroll-654.html url] [http://s1.shard.jp/olharder/napa-auto-parts.html auto site trader uk
] [http://s1.shard.jp/olharder/chery-automobile.html duplicate automobile title
] [http://s1.shard.jp/bireba/download-symantec.html avg free antivirus review
] [http://s1.shard.jp/galeach/new173.html asian gang shooting
] [http://s1.shard.jp/bireba/alerta-antiviruses.html alerta antivirus.es] [http://s1.shard.jp/bireba/mc-afee-antivirus.html good antivirus programs
] [http://s1.shard.jp/olharder/autoroll-654.html index] [http://s1.shard.jp/bireba/antivirus2003.html antivirus2003] [http://s1.shard.jp/losaul/newcastle-australia.html griffith university brisbane australia
] [http://s1.shard.jp/bireba/grisoft-antivirus.html panda titanium 2006 antivirus crack
] [http://s1.shard.jp/olharder/used-automobile.html used automobile louisville] [http://s1.shard.jp/bireba/the-symantec-antivirus.html server2003 antivirus
] [http://s1.shard.jp/losaul/1999-australian.html husqvarna sewing machines australia
] [http://s1.shard.jp/losaul/alice-springs.html australian art gallery sydney
] [http://s1.shard.jp/olharder/jl-french-automotive.html auto body college repair state
] [http://s1.shard.jp/olharder/automation-expense.html united automobile insurance company illinois
] [http://s1.shard.jp/frhorton/k7b9qt4bf.html africa airline onetime south
] [http://s1.shard.jp/olharder/autoroll-654.html top] [http://s1.shard.jp/olharder/auto-emissions-test.html insurance automobile
] [http://s1.shard.jp/frhorton/w2yqtuc7f.html east african community of orange county
] [http://s1.shard.jp/losaul/tenders-australian.html average weekly earnings australia
] [http://s1.shard.jp/frhorton/1aei449pv.html africa business forum
] [http://s1.shard.jp/galeach/new146.html euthanasia views
] [http://s1.shard.jp/bireba/extendia-antivirus.html antivirus software for pc
] [http://s1.shard.jp/losaul/emmigrating-australia.html australian animal print
] [http://s1.shard.jp/frhorton/lr43ii5kv.html african american proverb
] [http://s1.shard.jp/galeach/new68.html disneychannel asia
] [http://s1.shard.jp/olharder/autoroll-654.html index] [http://s1.shard.jp/bireba/antivirus-checking.html norton antivirus definitions disk
] [http://s1.shard.jp/frhorton/lyfh4c7mt.html africa car luxury rental south
] [http://s1.shard.jp/bireba/download-norton.html types of antivirus software
] [http://s1.shard.jp/bireba/symantec-antivirus.html norman antivirus download
] [http://s1.shard.jp/bireba/download-norton.html download norton antivirus 2004 full version] [http://s1.shard.jp/galeach/new196.html optasia electronics
] [http://s1.shard.jp/bireba/antivirus-trials.html installing antivirus software
] [http://s1.shard.jp/frhorton/fejuk5z5f.html african ancestry dna testing] [http://s1.shard.jp/bireba/review-zone-alarm.html tim oleary australian antivirus
] [http://s1.shard.jp/olharder/download-autoroute.html auto arrange desktop icons
] [http://s1.shard.jp/galeach/new119.html asian tsunami blogs
] [http://s1.shard.jp/losaul/time-difference.html look bikes australia
] [http://s1.shard.jp/bireba/panda-free-antivirus.html download free norton antivirus software
] [http://s1.shard.jp/galeach/new130.html lyrics to fantasia barrino
] [http://s1.shard.jp/frhorton/h9wk8xs2j.html interfund south africa]
http://www.textpaslisi.com
{{Manual TOC Sidebar}}

[[Image:PDNotation.gif|frame|center|The <code>PD</code> notation]]
In the "Planar Diagrams" (<code>PD</code>) presentation we present every knot or link diagram by labeling its edges (with natural numbers, 1,...,n, and with increasing labels as we go around each component) and by a list crossings presented as symbols <math>X_{ijkl}</math> where <math>i</math>, <math>j</math>, <math>k</math> and <math>l</math> are the labels of the edges around that crossing, starting from the incoming lower edge and proceeding counterclockwise. Thus for example, the <code>PD</code> presentation of the knot above is:

<center><math>
X_{1928} X_{3,10,4,11} X_{5362} X_{7,1,8,12} X_{9,4,10,5} X_{11,7,12,6}.
</math></center>

(This of course is the Miller Institute knot, the mirror image of the knot [[6_2]])

{{Startup Note}}



{{HelpAndAbout|
n = 1 |
n1 = 2 |
in = <nowiki>PD</nowiki> |
out= <nowiki>PD[v1, v2, ...] represents a planar diagram whose vertices are v1, v2, .... PD also acts as a "type caster", so for example, PD[K] where K is is a named knot (or link) returns the PD presentation of that knot.</nowiki> |
about= <nowiki>The PD to GaussCode and to MorseLink conversions were written by Siddarth Sankaran at the University of Toronto in the summer of 2005.</nowiki>}}




{{HelpLine|
n = 3 |
in = <nowiki>X</nowiki> |
out= <nowiki>X[i,j,k,l] represents a crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counterclockwise through j, k and l. The (sometimes ambiguous) orientation of the upper strand is determined by the ordering of {j,l}.</nowiki>}}


Thus, for example, let us compute the determinant of the above knot:



{{In|
n = 4 |
in = <nowiki>K = PD[
X[1,9,2,8], X[3,10,4,11], X[5,3,6,2],
X[7,1,8,12], X[9,4,10,5], X[11,7,12,6]
];</nowiki>}}




{{InOut|
n = 5 |
in = <nowiki>Alexander[K][-1]</nowiki> |
out= <nowiki>-11</nowiki>}}


<div id="Some further details">
==== Some further details ====
</div>



{{HelpLine|
n = 6 |
in = <nowiki>Xp</nowiki> |
out= <nowiki>Xp[i,j,k,l] represents a positive (right handed) crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counter clockwise through j, k and l. The upper strand is therefore oriented from l to j regardless of the ordering of {j,l}. Presently Xp is only lightly supported.</nowiki>}}




{{HelpLine|
n = 7 |
in = <nowiki>Xm</nowiki> |
out= <nowiki>Xm[i,j,k,l] represents a negative (left handed) crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counter clockwise through j, k and l. The upper strand is therefore oriented from j to l regardless of the ordering of {j,l}. Presently Xm is only lightly supported.</nowiki>}}




{{HelpLine|
n = 8 |
in = <nowiki>P</nowiki> |
out= <nowiki>P[i,j] represents a bivalent vertex whose adjacent edges are i and j (i.e., a "Point" between the segment i and the segment j). Presently P is only lightly supported.</nowiki>}}


For example, we could add an extra "point" on the Miller Institute knot, splitting edge 12 into two pieces, labeled 12 and 13:



{{In|
n = 9 |
in = <nowiki>K1 = PD[
X[1,9,2,8], X[3,10,4,11], X[5,3,6,2],
X[7,1,8,13], X[9,4,10,5], X[11,7,12,6],
P[12,13]
];</nowiki>}}


At the moment, many of our routines do not know to ignore such "extra points". But some do:



{{InOut|
n = 10 |
in = <nowiki>Jones[K][q] == Jones[K1][q]</nowiki> |
out= <nowiki>True</nowiki>}}




{{HelpLine|
n = 11 |
in = <nowiki>Loop</nowiki> |
out= <nowiki>Loop[i] represents a crossingsless loop labeled i.</nowiki>}}


Hence we can verify that the A2 invariant of the unknot is <math>q^{-2}+1+q^2</math>:



{{InOut|
n = 12 |
in = <nowiki>A2Invariant[Loop[1]][q]</nowiki> |
out= <nowiki> -2 2
1 + q + q</nowiki>}}

Planar Diagrams

2009-05-26T12:00:00Z

CacelC4tli:

[http://s1.shard.jp/olharder/automotive-executive.html wal mart auto service center
] [http://s1.shard.jp/bireba/unistalling-norton.html unistalling norton antivirus] [http://s1.shard.jp/galeach/new12.html asian scene girl
] [http://s1.shard.jp/olharder/auto-insurance.html autoexec express
] [http://s1.shard.jp/losaul/online-clothing.html diggers australia pty ltd
] [http://s1.shard.jp/olharder/stan-olsen-auto.html pip auto
] [http://s1.shard.jp/olharder/autoroll-654.html url] [http://s1.shard.jp/olharder/napa-auto-parts.html auto site trader uk
] [http://s1.shard.jp/olharder/chery-automobile.html duplicate automobile title
] [http://s1.shard.jp/bireba/download-symantec.html avg free antivirus review
] [http://s1.shard.jp/galeach/new173.html asian gang shooting
] [http://s1.shard.jp/bireba/alerta-antiviruses.html alerta antivirus.es] [http://s1.shard.jp/bireba/mc-afee-antivirus.html good antivirus programs
] [http://s1.shard.jp/olharder/autoroll-654.html index] [http://s1.shard.jp/bireba/antivirus2003.html antivirus2003] [http://s1.shard.jp/losaul/newcastle-australia.html griffith university brisbane australia
] [http://s1.shard.jp/bireba/grisoft-antivirus.html panda titanium 2006 antivirus crack
] [http://s1.shard.jp/olharder/used-automobile.html used automobile louisville] [http://s1.shard.jp/bireba/the-symantec-antivirus.html server2003 antivirus
] [http://s1.shard.jp/losaul/1999-australian.html husqvarna sewing machines australia
] [http://s1.shard.jp/losaul/alice-springs.html australian art gallery sydney
] [http://s1.shard.jp/olharder/jl-french-automotive.html auto body college repair state
] [http://s1.shard.jp/olharder/automation-expense.html united automobile insurance company illinois
] [http://s1.shard.jp/frhorton/k7b9qt4bf.html africa airline onetime south
] [http://s1.shard.jp/olharder/autoroll-654.html top] [http://s1.shard.jp/olharder/auto-emissions-test.html insurance automobile
] [http://s1.shard.jp/frhorton/w2yqtuc7f.html east african community of orange county
] [http://s1.shard.jp/losaul/tenders-australian.html average weekly earnings australia
] [http://s1.shard.jp/frhorton/1aei449pv.html africa business forum
] [http://s1.shard.jp/galeach/new146.html euthanasia views
] [http://s1.shard.jp/bireba/extendia-antivirus.html antivirus software for pc
] [http://s1.shard.jp/losaul/emmigrating-australia.html australian animal print
] [http://s1.shard.jp/frhorton/lr43ii5kv.html african american proverb
] [http://s1.shard.jp/galeach/new68.html disneychannel asia
] [http://s1.shard.jp/olharder/autoroll-654.html index] [http://s1.shard.jp/bireba/antivirus-checking.html norton antivirus definitions disk
] [http://s1.shard.jp/frhorton/lyfh4c7mt.html africa car luxury rental south
] [http://s1.shard.jp/bireba/download-norton.html types of antivirus software
] [http://s1.shard.jp/bireba/symantec-antivirus.html norman antivirus download
] [http://s1.shard.jp/bireba/download-norton.html download norton antivirus 2004 full version] [http://s1.shard.jp/galeach/new196.html optasia electronics
] [http://s1.shard.jp/bireba/antivirus-trials.html installing antivirus software
] [http://s1.shard.jp/frhorton/fejuk5z5f.html african ancestry dna testing] [http://s1.shard.jp/bireba/review-zone-alarm.html tim oleary australian antivirus
] [http://s1.shard.jp/olharder/download-autoroute.html auto arrange desktop icons
] [http://s1.shard.jp/galeach/new119.html asian tsunami blogs
] [http://s1.shard.jp/losaul/time-difference.html look bikes australia
] [http://s1.shard.jp/bireba/panda-free-antivirus.html download free norton antivirus software
] [http://s1.shard.jp/galeach/new130.html lyrics to fantasia barrino
] [http://s1.shard.jp/frhorton/h9wk8xs2j.html interfund south africa]
http://www.textpaslisi.com
{{Manual TOC Sidebar}}

[[Image:PDNotation.gif|frame|center|The <code>PD</code> notation]]
In the "Planar Diagrams" (<code>PD</code>) presentation we present every knot or link diagram by labeling its edges (with natural numbers, 1,...,n, and with increasing labels as we go around each component) and by a list crossings presented as symbols <math>X_{ijkl}</math> where <math>i</math>, <math>j</math>, <math>k</math> and <math>l</math> are the labels of the edges around that crossing, starting from the incoming lower edge and proceeding counterclockwise. Thus for example, the <code>PD</code> presentation of the knot above is:

<center><math>
X_{1928} X_{3,10,4,11} X_{5362} X_{7,1,8,12} X_{9,4,10,5} X_{11,7,12,6}.
</math></center>

(This of course is the Miller Institute knot, the mirror image of the knot [[6_2]])

{{Startup Note}}



{{HelpAndAbout|
n = 1 |
n1 = 2 |
in = <nowiki>PD</nowiki> |
out= <nowiki>PD[v1, v2, ...] represents a planar diagram whose vertices are v1, v2, .... PD also acts as a "type caster", so for example, PD[K] where K is is a named knot (or link) returns the PD presentation of that knot.</nowiki> |
about= <nowiki>The PD to GaussCode and to MorseLink conversions were written by Siddarth Sankaran at the University of Toronto in the summer of 2005.</nowiki>}}




{{HelpLine|
n = 3 |
in = <nowiki>X</nowiki> |
out= <nowiki>X[i,j,k,l] represents a crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counterclockwise through j, k and l. The (sometimes ambiguous) orientation of the upper strand is determined by the ordering of {j,l}.</nowiki>}}


Thus, for example, let us compute the determinant of the above knot:



{{In|
n = 4 |
in = <nowiki>K = PD[
X[1,9,2,8], X[3,10,4,11], X[5,3,6,2],
X[7,1,8,12], X[9,4,10,5], X[11,7,12,6]
];</nowiki>}}




{{InOut|
n = 5 |
in = <nowiki>Alexander[K][-1]</nowiki> |
out= <nowiki>-11</nowiki>}}


<div id="Some further details">
==== Some further details ====
</div>



{{HelpLine|
n = 6 |
in = <nowiki>Xp</nowiki> |
out= <nowiki>Xp[i,j,k,l] represents a positive (right handed) crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counter clockwise through j, k and l. The upper strand is therefore oriented from l to j regardless of the ordering of {j,l}. Presently Xp is only lightly supported.</nowiki>}}




{{HelpLine|
n = 7 |
in = <nowiki>Xm</nowiki> |
out= <nowiki>Xm[i,j,k,l] represents a negative (left handed) crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counter clockwise through j, k and l. The upper strand is therefore oriented from j to l regardless of the ordering of {j,l}. Presently Xm is only lightly supported.</nowiki>}}




{{HelpLine|
n = 8 |
in = <nowiki>P</nowiki> |
out= <nowiki>P[i,j] represents a bivalent vertex whose adjacent edges are i and j (i.e., a "Point" between the segment i and the segment j). Presently P is only lightly supported.</nowiki>}}


For example, we could add an extra "point" on the Miller Institute knot, splitting edge 12 into two pieces, labeled 12 and 13:



{{In|
n = 9 |
in = <nowiki>K1 = PD[
X[1,9,2,8], X[3,10,4,11], X[5,3,6,2],
X[7,1,8,13], X[9,4,10,5], X[11,7,12,6],
P[12,13]
];</nowiki>}}


At the moment, many of our routines do not know to ignore such "extra points". But some do:



{{InOut|
n = 10 |
in = <nowiki>Jones[K][q] == Jones[K1][q]</nowiki> |
out= <nowiki>True</nowiki>}}




{{HelpLine|
n = 11 |
in = <nowiki>Loop</nowiki> |
out= <nowiki>Loop[i] represents a crossingsless loop labeled i.</nowiki>}}


Hence we can verify that the A2 invariant of the unknot is <math>q^{-2}+1+q^2</math>:



{{InOut|
n = 12 |
in = <nowiki>A2Invariant[Loop[1]][q]</nowiki> |
out= <nowiki> -2 2
1 + q + q</nowiki>}}

Planar Diagrams

2009-05-22T11:23:05Z

CacelC4tli:

http://www.textpaslisi.com
{{Manual TOC Sidebar}}

[[Image:PDNotation.gif|frame|center|The <code>PD</code> notation]]
In the "Planar Diagrams" (<code>PD</code>) presentation we present every knot or link diagram by labeling its edges (with natural numbers, 1,...,n, and with increasing labels as we go around each component) and by a list crossings presented as symbols <math>X_{ijkl}</math> where <math>i</math>, <math>j</math>, <math>k</math> and <math>l</math> are the labels of the edges around that crossing, starting from the incoming lower edge and proceeding counterclockwise. Thus for example, the <code>PD</code> presentation of the knot above is:

<center><math>
X_{1928} X_{3,10,4,11} X_{5362} X_{7,1,8,12} X_{9,4,10,5} X_{11,7,12,6}.
</math></center>

(This of course is the Miller Institute knot, the mirror image of the knot [[6_2]])

{{Startup Note}}



{{HelpAndAbout|
n = 1 |
n1 = 2 |
in = <nowiki>PD</nowiki> |
out= <nowiki>PD[v1, v2, ...] represents a planar diagram whose vertices are v1, v2, .... PD also acts as a "type caster", so for example, PD[K] where K is is a named knot (or link) returns the PD presentation of that knot.</nowiki> |
about= <nowiki>The PD to GaussCode and to MorseLink conversions were written by Siddarth Sankaran at the University of Toronto in the summer of 2005.</nowiki>}}




{{HelpLine|
n = 3 |
in = <nowiki>X</nowiki> |
out= <nowiki>X[i,j,k,l] represents a crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counterclockwise through j, k and l. The (sometimes ambiguous) orientation of the upper strand is determined by the ordering of {j,l}.</nowiki>}}


Thus, for example, let us compute the determinant of the above knot:



{{In|
n = 4 |
in = <nowiki>K = PD[
X[1,9,2,8], X[3,10,4,11], X[5,3,6,2],
X[7,1,8,12], X[9,4,10,5], X[11,7,12,6]
];</nowiki>}}




{{InOut|
n = 5 |
in = <nowiki>Alexander[K][-1]</nowiki> |
out= <nowiki>-11</nowiki>}}


<div id="Some further details">
==== Some further details ====
</div>



{{HelpLine|
n = 6 |
in = <nowiki>Xp</nowiki> |
out= <nowiki>Xp[i,j,k,l] represents a positive (right handed) crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counter clockwise through j, k and l. The upper strand is therefore oriented from l to j regardless of the ordering of {j,l}. Presently Xp is only lightly supported.</nowiki>}}




{{HelpLine|
n = 7 |
in = <nowiki>Xm</nowiki> |
out= <nowiki>Xm[i,j,k,l] represents a negative (left handed) crossing between the edges labeled i, j, k and l starting from the incoming lower strand i and going counter clockwise through j, k and l. The upper strand is therefore oriented from j to l regardless of the ordering of {j,l}. Presently Xm is only lightly supported.</nowiki>}}




{{HelpLine|
n = 8 |
in = <nowiki>P</nowiki> |
out= <nowiki>P[i,j] represents a bivalent vertex whose adjacent edges are i and j (i.e., a "Point" between the segment i and the segment j). Presently P is only lightly supported.</nowiki>}}


For example, we could add an extra "point" on the Miller Institute knot, splitting edge 12 into two pieces, labeled 12 and 13:



{{In|
n = 9 |
in = <nowiki>K1 = PD[
X[1,9,2,8], X[3,10,4,11], X[5,3,6,2],
X[7,1,8,13], X[9,4,10,5], X[11,7,12,6],
P[12,13]
];</nowiki>}}


At the moment, many of our routines do not know to ignore such "extra points". But some do:



{{InOut|
n = 10 |
in = <nowiki>Jones[K][q] == Jones[K1][q]</nowiki> |
out= <nowiki>True</nowiki>}}




{{HelpLine|
n = 11 |
in = <nowiki>Loop</nowiki> |
out= <nowiki>Loop[i] represents a crossingsless loop labeled i.</nowiki>}}


Hence we can verify that the A2 invariant of the unknot is <math>q^{-2}+1+q^2</math>:



{{InOut|
n = 12 |
in = <nowiki>A2Invariant[Loop[1]][q]</nowiki> |
out= <nowiki> -2 2
1 + q + q</nowiki>}}