ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 27 Aug 2014 13:32:45 -0500Knot Theory and Sage?http://ask.sagemath.org/question/8255/knot-theory-and-sage/I was wondering what kind of Knot Theory tools Sage has? I've done a couple google searches, as well as a doc search in the Sage reference manual; everything's turned up bunk.
Does anyone know of any Knot Theory tools in sage? In particular, knot tables?
Thanks,
StevenTue, 02 Aug 2011 09:24:37 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/Answer by kcrisman for <p>I was wondering what kind of Knot Theory tools Sage has? I've done a couple google searches, as well as a doc search in the Sage reference manual; everything's turned up bunk. </p>
<p>Does anyone know of any Knot Theory tools in sage? In particular, knot tables?</p>
<p>Thanks,</p>
<p>Steven</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=12550#post-id-12550Edit: [Knots are now in Sage](http://doc.sagemath.org/html/en/reference/knots/index.html)!!!
Old answer:
As far as I know, there is not any knot theory in Sage, though there is lots of combinatorics and some algebraic topology.
The most natural thing to do would be to port [the Knot atlas](http://katlas.org/wiki/Knot_Atlas:About) somehow, and (if one was very bold, and had permission) the Mathematica package that creates it. I have had people ask about this before, and it's a very natural thing to do in Sage. If you know the people in charge of this project, you should see whether they are open to this (if only for having two implementations of the same algorithm to check for bugs).
Update: Braid groups have [now been in Sage](http://trac.sagemath.org/ticket/12339) for a while, including plotting.Tue, 02 Aug 2011 14:26:44 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=12550#post-id-12550Comment by Mike Hansen for <p>Edit: <a href="http://doc.sagemath.org/html/en/reference/knots/index.html">Knots are now in Sage</a>!!!</p>
<p>Old answer:
As far as I know, there is not any knot theory in Sage, though there is lots of combinatorics and some algebraic topology. </p>
<p>The most natural thing to do would be to port <a href="http://katlas.org/wiki/Knot_Atlas:About">the Knot atlas</a> somehow, and (if one was very bold, and had permission) the Mathematica package that creates it. I have had people ask about this before, and it's a very natural thing to do in Sage. If you know the people in charge of this project, you should see whether they are open to this (if only for having two implementations of the same algorithm to check for bugs).</p>
<p>Update: Braid groups have <a href="http://trac.sagemath.org/ticket/12339">now been in Sage</a> for a while, including plotting.</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=21421#post-id-21421As an interesting note, some of it uses Python: http://katlas.org/wiki/Heegaard_Floer_Knot_HomologyTue, 02 Aug 2011 14:38:02 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=21421#post-id-21421Comment by kcrisman for <p>Edit: <a href="http://doc.sagemath.org/html/en/reference/knots/index.html">Knots are now in Sage</a>!!!</p>
<p>Old answer:
As far as I know, there is not any knot theory in Sage, though there is lots of combinatorics and some algebraic topology. </p>
<p>The most natural thing to do would be to port <a href="http://katlas.org/wiki/Knot_Atlas:About">the Knot atlas</a> somehow, and (if one was very bold, and had permission) the Mathematica package that creates it. I have had people ask about this before, and it's a very natural thing to do in Sage. If you know the people in charge of this project, you should see whether they are open to this (if only for having two implementations of the same algorithm to check for bugs).</p>
<p>Update: Braid groups have <a href="http://trac.sagemath.org/ticket/12339">now been in Sage</a> for a while, including plotting.</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=21417#post-id-21417And I've spoken with at least one person who thinks they would be fairly open to it. Of course, it would be a big project to convert all that code to Sage, I would think. ?Wed, 03 Aug 2011 16:47:58 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=21417#post-id-21417Comment by StevenPollack for <p>Edit: <a href="http://doc.sagemath.org/html/en/reference/knots/index.html">Knots are now in Sage</a>!!!</p>
<p>Old answer:
As far as I know, there is not any knot theory in Sage, though there is lots of combinatorics and some algebraic topology. </p>
<p>The most natural thing to do would be to port <a href="http://katlas.org/wiki/Knot_Atlas:About">the Knot atlas</a> somehow, and (if one was very bold, and had permission) the Mathematica package that creates it. I have had people ask about this before, and it's a very natural thing to do in Sage. If you know the people in charge of this project, you should see whether they are open to this (if only for having two implementations of the same algorithm to check for bugs).</p>
<p>Update: Braid groups have <a href="http://trac.sagemath.org/ticket/12339">now been in Sage</a> for a while, including plotting.</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=21418#post-id-21418I've checked out the Knot Atlas, but the fact that I needed to use mathematica to harness their software kept me from seriously considering anything over there. I'm surprised that no one has tried contacting the Knot Atlas people regarding a Sage port. As far as I know the two admin's are U of Toronto professors, right? So they shouldn't be that opposed to an open-source frame-work to their project... Thanks for the reply, by the way.Wed, 03 Aug 2011 11:52:12 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=21418#post-id-21418Answer by turion for <p>I was wondering what kind of Knot Theory tools Sage has? I've done a couple google searches, as well as a doc search in the Sage reference manual; everything's turned up bunk. </p>
<p>Does anyone know of any Knot Theory tools in sage? In particular, knot tables?</p>
<p>Thanks,</p>
<p>Steven</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=14808#post-id-14808Would it be a good start to implement the braid category for sage? Then it might be easy enough to port the knot atlas. All link diagrams (and therefore, knot diagrams) are morphisms in the braid category, from the empty object to itself.
And after that, maybe define the category of braided monoidal categories? Then a lot of knot invariants are accessible as functors.Fri, 19 Apr 2013 03:48:42 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=14808#post-id-14808Comment by kcrisman for <p>Would it be a good start to implement the braid category for sage? Then it might be easy enough to port the knot atlas. All link diagrams (and therefore, knot diagrams) are morphisms in the braid category, from the empty object to itself.
And after that, maybe define the category of braided monoidal categories? Then a lot of knot invariants are accessible as functors.</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=23772#post-id-23772Update: Braid Groups are now in Sage - http://trac.sagemath.org/ticket/12339 - including plotting.Thu, 14 Aug 2014 03:45:21 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=23772#post-id-23772Comment by John Palmieri for <p>Would it be a good start to implement the braid category for sage? Then it might be easy enough to port the knot atlas. All link diagrams (and therefore, knot diagrams) are morphisms in the braid category, from the empty object to itself.
And after that, maybe define the category of braided monoidal categories? Then a lot of knot invariants are accessible as functors.</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=17850#post-id-17850I think implementing anything along these lines would be a good idea.Fri, 19 Apr 2013 06:53:33 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=17850#post-id-17850Answer by Simon King for <p>I was wondering what kind of Knot Theory tools Sage has? I've done a couple google searches, as well as a doc search in the Sage reference manual; everything's turned up bunk. </p>
<p>Does anyone know of any Knot Theory tools in sage? In particular, knot tables?</p>
<p>Thanks,</p>
<p>Steven</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=12553#post-id-12553A long time ago, I created a Wiki with the purpose to collect (algebraic) topology software that could eventually become part of Sage (as an optional package, at least).
The wiki is [here](http://wiki.sagemath.org/topology). However, it seems that nothing came out of it.Wed, 03 Aug 2011 10:30:54 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=12553#post-id-12553Comment by niles for <p>A long time ago, I created a Wiki with the purpose to collect (algebraic) topology software that could eventually become part of Sage (as an optional package, at least).</p>
<p>The wiki is <a href="http://wiki.sagemath.org/topology">here</a>. However, it seems that nothing came out of it.</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=23954#post-id-23954For what it's worth, that wiki page was one of the first places I learned about Sage (from some google search), and I still think about it from time to time . . .Wed, 27 Aug 2014 13:32:45 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=23954#post-id-23954Answer by mmarco for <p>I was wondering what kind of Knot Theory tools Sage has? I've done a couple google searches, as well as a doc search in the Sage reference manual; everything's turned up bunk. </p>
<p>Does anyone know of any Knot Theory tools in sage? In particular, knot tables?</p>
<p>Thanks,</p>
<p>Steven</p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=23931#post-id-23931Amit Jamadagni has been working on a knot theory module in this year's GSoC program, under my mentoring. The result is a Link class with some basic functionality (mainly conversion between different representations of a link, and computation of some invariants). It still needs polishing, but i expect we can have something ready to be merged in sage in the following weeks.
From that, there would still be a lot of work to do to improve it, but the basic infrastructure would be there.
https://www.google-melange.com/gsoc/project/details/google/gsoc2014/amitjamadagni/5676830073815040Mon, 25 Aug 2014 14:47:35 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?answer=23931#post-id-23931Comment by kcrisman for <p>Amit Jamadagni has been working on a knot theory module in this year's GSoC program, under my mentoring. The result is a Link class with some basic functionality (mainly conversion between different representations of a link, and computation of some invariants). It still needs polishing, but i expect we can have something ready to be merged in sage in the following weeks.</p>
<p>From that, there would still be a lot of work to do to improve it, but the basic infrastructure would be there.</p>
<p><a href="https://www.google-melange.com/gsoc/project/details/google/gsoc2014/amitjamadagni/5676830073815040">https://www.google-melange.com/gsoc/p...</a></p>
http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=23944#post-id-23944Oh, this is really great news! Just a few weeks ago several people at http://wiki.sagemath.org/days60 were really interested in knowing what happened with that project - we didn't hear much about it on the list :)Tue, 26 Aug 2014 13:58:50 -0500http://ask.sagemath.org/question/8255/knot-theory-and-sage/?comment=23944#post-id-23944