View source for Gauss Codes

{{Manual TOC Sidebar}}

The Gauss Code of an <math>n</math>-crossing knot or link <math>L</math> is obtained as follows:

* Number the crossings of <math>L</math> from 1 to <math>n</math> in an arbitrary manner.
* Order the components of <math>L</math> is some arbitrary manner.
* Start "walking" along the first component of <math>L</math>, taking note of the numbers of the crossings you've gone through. If in a given crossing you cross on the "over" strand, write down the number of that crossing. If you cross on the "under" strand, write down the negative of the number of that crossing.
* Do the same for all other components of <math>L</math> (if any).

The resulting list of signed integers (in the case of a knot) or list of lists of signed integers (in the case of a link) is called the Gauss Code of <math>L</math>. <code>KnotTheory`</code> has some rudimentary support for Gauss codes:

{{Startup Note}}

<!--$$?GaussCode$$-->
<!--Robot Land, no human edits to "END"-->
{{HelpLine|
n  = 2 |
in = <nowiki>GaussCode</nowiki> |
out= <nowiki>GaussCode[i1, i2, ...] represents a knot via its Gauss Code following the conventions used by the knotilus website,
http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/html/start.html.
Likewise GaussCode[l1, l2, ...] represents a link, where each of l1, l2,... is a list describing the code read along one component of the link. GaussCode also acts as a "type caster", so for example, GaussCode[K] where K is is a named knot (or link) returns the Gauss code of that knot.</nowiki>}}
<!--END-->

Thus for example, the Gauss codes for the [[3_1|trefoil knot]] and the [[L6a4|Borromean link]] are:

<!--$$GaussCode /@ {Knot[3, 1], Link[6, Alternating, 4]}$$-->
<!--Robot Land, no human edits to "END"-->
{{InOut|
n  = 3 |
in = <nowiki>GaussCode /@ {Knot[3, 1], Link[6, Alternating, 4]}</nowiki> |
out= <nowiki>{GaussCode[-1, 3, -2, 1, -3, 2], 
 
  GaussCode[{1, -6, 5, -3}, {4, -1, 2, -5}, {6, -4, 3, -2}]}</nowiki>}}
<!--END-->

{{Knot Image Pair|3_1|gif|L6a4|gif}}

Ralph Furmaniak, working under the guidance of Stuart Rankin and Ortho Flint at the University of Western Ontario, wrote a web-based server called "Knotilus" that takes Gauss codes and outputs pictures of the desired knots and links in several standard image formats.

<!--$$?KnotilusURL$$-->
<!--Robot Land, no human edits to "END"-->
{{HelpLine|
n  = 4 |
in = <nowiki>KnotilusURL</nowiki> |
out= <nowiki>KnotilusURL[K_] returns the URL of the knot/link K on the knotilus website,
http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/html/start.html.</nowiki>}}
<!--END-->

Thus,

<!--$$KnotilusURL /@ {Knot[3, 1], Link[6, Alternating, 4]}$$-->
<!--Robot Land, no human edits to "END"-->
{{InOut|
n  = 5 |
in = <nowiki>KnotilusURL /@ {Knot[3, 1], Link[6, Alternating, 4]}</nowiki> |
out= <nowiki>{http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-1,3,-2,1,-3,2/goTop.h\
 
   tml, http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/1,-6,5,-3:4,-1,\
 
   2,-5:6,-4,3,-2/goTop.html}</nowiki>}}
<!--END-->