Notice. The Knot Atlas is now recovering from a major crash. Hopefully all functionality will return slowly over the next few days. --Drorbn (talk) 21:23, 4 July 2013 (EDT)

The Take Home Database

From Knot Atlas
Jump to: navigation, search

All knot data on the Knot Atlas is now available as a take-home database file in compressed RDF (Resource Description Framework) format. Load it and use it as follows.

Loading

Pick up the full untreated unsorted monster katlas.rdf.gz and save it somewhere where you have a lot of space; it is almost 50MB compressed and almost 400MB uncompressed.

Alternatively, pick up one of the sorted smaller pieces from our Data directory:

Using the Take Home Database from a Linux Shell

The examples in this section assume that you have downloaded all the "small pieces" from the previous section and placed them in your working directory, but that you did not bother to uncompress them.

The Jones polynomial of 10_71:

[drorbn@katlas ~/Data]$ zgrep 10_71 Rolfsen.rdf.gz | grep Jones_Polynomial
<knot:10_71> <invariant:Jones_Polynomial> "<math>-q^5+3 q^4-6 q^3+10 q^2-12 q+13-12 q^{-1} +10 q^{-2} -6 q^{-3} +3 q^{-4} - q^{-5} </math>" .

The first few invariants (lexicographically) of 10_71:

[drorbn@katlas ~/Data]$ zgrep knot:10_71 Rolfsen.rdf.gz | head
<knot:10_71> <invariant:2nd_AlexanderIdeal> "<math>\\{1\\}</math>" .
<knot:10_71> <invariant:3-Genus> "3" .
<knot:10_71> <invariant:Alexander_Polynomial> "<math>-t^3+7 t^2-18 t+25-18 t^{-1} +7 t^{-2} - t^{-3} </math>" .
<knot:10_71> <invariant:BraidIndex> "5" .
<knot:10_71> <invariant:BraidWord> "<math>\\textrm{BR}(5,\\{-1,-1,2,-1,-3,2,2,4,-3,4\\})</math>" .
<knot:10_71> <invariant:Bridge_Index> "3" .
<knot:10_71> <invariant:ConcordanceGenus> "<math>3</math>" .
<knot:10_71> <invariant:Conway_Notation> "[22,21,2+]" .
<knot:10_71> <invariant:ConwayNotation> "[22,21,2+]" .
<knot:10_71> <invariant:Conway_Polynomial> "<math>-z^6+z^4+z^2+1</math>" .

The Alexander Polynomials of the last few knots in the Rolfsen table:

[drorbn@katlas ~/Data]$ zgrep Alexander_Polynomial Rolfsen.rdf.gz | tail
<knot:10_156> <invariant:Alexander_Polynomial> "<math>t^3-4 t^2+8 t-9+8 t^{-1} -4 t^{-2} + t^{-3} </math>" .
<knot:10_157> <invariant:Alexander_Polynomial> "<math>-t^3+6 t^2-11 t+13-11 t^{-1} +6 t^{-2} - t^{-3} </math>" .
<knot:10_158> <invariant:Alexander_Polynomial> "<math>-t^3+4 t^2-10 t+15-10 t^{-1} +4 t^{-2} - t^{-3} </math>" .
<knot:10_159> <invariant:Alexander_Polynomial> "<math>t^3-4 t^2+9 t-11+9 t^{-1} -4 t^{-2} + t^{-3} </math>" .
<knot:10_160> <invariant:Alexander_Polynomial> "<math>-t^3+4 t^2-4 t+3-4 t^{-1} +4 t^{-2} - t^{-3} </math>" .
<knot:10_161> <invariant:Alexander_Polynomial> "<math>t^3-2 t+3-2 t^{-1} + t^{-3} </math>" .
<knot:10_162> <invariant:Alexander_Polynomial> "<math>-3 t^2+9 t-11+9 t^{-1} -3 t^{-2} </math>" .
<knot:10_163> <invariant:Alexander_Polynomial> "<math>t^3-5 t^2+12 t-15+12 t^{-1} -5 t^{-2} + t^{-3} </math>" .
<knot:10_164> <invariant:Alexander_Polynomial> "<math>3 t^2-11 t+17-11 t^{-1} +3 t^{-2} </math>" .
<knot:10_165> <invariant:Alexander_Polynomial> "<math>-2 t^2+10 t-15+10 t^{-1} -2 t^{-2} </math>" .

11 crossings knots with determinant equal to 1:

[drorbn@katlas ~/Data]$ zgrep Determinant Knots11.rdf.gz | grep \"1\"
<knot:K11n34> <invariant:Determinant> "1" .
<knot:K11n42> <invariant:Determinant> "1" .
<knot:K11n49> <invariant:Determinant> "1" .
<knot:K11n116> <invariant:Determinant> "1" .

Creating the database

If you have access to the katlas command line, you can follow these instructions for Creating the take home database.