To Do: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
 
(96 intermediate revisions by 17 users not shown)
Line 1: Line 1:
* Update this To Do list.
== Very Soon ==
* Make sure all KnotAtlas associated software is in either the KnotTheory or KnotAtlas svn repositories, and document how to get programs from svn. See [[:Category:Software]].
* Remove all the splicing programs.
* Fix the whitespace in formulas containing symbols from dbnsymb; see e.g. [[The_Jones_Polynomial#eq:KBDef]].


== Knot Atlas issues ==
# Set up a backup routine.
* Link to us from relevant pages on wikipedia and elsewhere.
## Make sure we're backing up all the right things. In particular, httpd.conf should probably be backed up.
* Add "comment" hooks near each of the sections on the knot pages.
# Arrange hide/show tags for the dispatch tables.

# explain how to deeply edit manual pages and knot pages.
=== Pages to write ===
# Activate the search box.
# Fix/improve the "disappearing transclusion" tag <nowiki><ifpageexists></nowiki>.
# Systematic updates of the executable programs (KnotTheory`, WikiLink.m, splicers). See [[:Category:Software]].
# Further edit [[How you can contribute]].
# Further edit [[How you can contribute]].
# Finish [[Extending/Modifying KnotTheory`]].
# Scott: finish, document, upload [[Media:UploadingInvariants.nb]] and [[Media:LivingstonTransfer.nb]].
# Prepare [[List of Modules in KnotTheory`]].
# On the knot pages:
# Document "The A2 invariant", "The G2 invariant" and "other quantum invariants".
## Add "comment" hooks near each of the sections.
## Upload "3D Images" for Rolfsen's table.
## Use the InOut etc. templates of the manual pages in the Computer Talk part.


== At Leisure ==
=== More complicated projects ===

# can texvc use dvi2bitmap instead of convert? might be much faster? [http://heim.ifi.uio.no/~simek/document/document.ps]
## alternatively see [http://meta.wikimedia.org/wiki/Problems_with_texvc]
## what about a cron job to randomly delete entries from mw_math, and the corresponding png's?
# Apply patches to texvc, for making transparent, font-sizes png in math mode. [http://meta.wikimedia.org/wiki/Help_talk:Formula]
# Unite <code>DrawPD</code> and <code>BraidPlot</code> under Draw.
# Identify torus knots.
# Identify torus knots.
## should we have an 'identify this knot' function in [[KnotTheory`]]? How to implement it?
## one way to do this would be to: 1) triangulate the knot/link complement then 2) use the Rubinstein algorithm to find the connect-sum decomposition 3) use the Jaco-Rubinstein algorithm to compute the JSJ-decomposition of the prime parts and identify the Seifert-fibred bits and 4) use SnapPea to identify the hyperbolic parts. (1) is implemented in several places such as Orb and Knotscape, (2) is implemented in the software called Regina, by Ben Burton (do a Google search for "Regina sourceforge" (3) is not yet implemented and (4) has been implemented for a long time now, in SnapPea's isometry checker. Perhaps you would like to use a less big hammer for this problem, though? -ryan
# Clarify orientation issues, especially for links.
# Clarify orientation issues, especially for links.
## As in, if you reverse the orientation of a particular strand, do you get the same oriented link? The above JSJ schema gives a systematic way to do this.
# Extend tables beyond 11 crossings.
# Add pages on rational knots and other classes of "special" knots.
# Add a page for "sporadic" special knots.

=== Data to include ===
# Add Tristram-Levine signatures.
# Add Tristram-Levine signatures.
# Compute ''HOMFLYPT'' for torus knots.
# Remove <code>Simplify</code> from ColouredJones.
# Add "shortcut" knot names.
# Add direct knotilus links from within the manual.
# Chiral? Invertible?
# Chiral? Invertible?
## More generally, list the full symmetry group of the knot (isotopy classes of diffeomorphisms of the pair (S^3,K) and describe whether or not it can be realized as a subgroup of Diff(S^3,K), the fixed point sets, how it acts on the orientations of S^3 and K respectively, etc... If you're going to start including symmetry data, why not do it all? Again the JSJ-schema I outlined above is one way to approach this. -ryan
# Extend beyond 11 crossings.
# Indicate which knots are the components of given links.
# Indicate which knots are the components of given links.
# Improve link gifs.
# Add the Universal Vassiliev Invariant.
# Something about knot colouring.
# Custom knot drawings! Output in ps, TeX, etc.
# Add the Kuperberg <math>G2</math> invariant.
# Add higher RT invariants.
# Add pages on rational knots and other classes of "special" knots.
# Add a page for "sporadic" special knots.
# Add something about hyperbolic invariants.
# Add something about hyperbolic invariants.
# "Similar Links" using [[The Multivariable Alexander Polynomial]]; add the The Multivariable Alexander Polynomial to the simulated Mathematica sessions.

==Things to calculate==
# Compute ''HOMFLYPT'' for torus knots -- this has been added to the [[Upload_Queues]].
# compute Reshetikhin-Turaev invariants for everything in sight.

==KnotTheory`==
# Put the MIT license notice in all the source files. (You can consider this note as MIT licensing for now. If you're one of the contributors, and you didn't complain when we proposed MIT licensing for everything, you can still complain now!)
# Write some functions to generate knot families, taking advantage of ConwayNotation. Pretzel knots, etc.
# Unite <code>DrawPD</code> and <code>BraidPlot</code> under Draw.
# Remove <code>Simplify</code> from ColouredJones.
# Custom knot drawings! Output in ps, TeX, etc.
# Browsable source code for <code>KnotTheory`</code>.
# Browsable source code for <code>KnotTheory`</code>.
# Fix the <tt>In</tt>/<tt>Out</tt> numbering in [[Graphical Input]].
# The makefile incorrectly includes the .svn subdirectories in KnotTheory.zip. (But not in KnotTheory.tar.gz, because there we can use the <code>--exclude .svn</code> option for tar. What's the corresponding option for zip?)

==katlas software==
* Find out if it's possible to eliminate the need for &action=purge when transcluded pages change?
* Tell people about the modifications to [[ImagePage.php]]
** made redundant by upgrading medawiki!
* Fix/improve the "disappearing transclusion" tag <nowiki><ifpageexists></nowiki>.
** again, made redundant -- use <nowiki>{{:ifexists|||}}</nowiki>
* Replace the "bracket" splicing model by a "templated" one.

==texvc==
# can texvc use dvi2bitmap instead of convert? might be much faster? [http://heim.ifi.uio.no/~simek/document/document.ps]
## alternatively see [http://meta.wikimedia.org/wiki/Problems_with_texvc]
## what about a cron job to randomly delete entries from mw_math, and the corresponding png's?
# Apply patches to texvc, for making transparent, font-sizes png in math mode. [http://meta.wikimedia.org/wiki/Help_talk:Formula]

==Other things==
# Add the Universal Vassiliev Invariant.
# Something about knot colouring.
# Add Ozsvath-Szabo stuff.
# Make all sources public.
# Add Dowker codes for links.
# Add Dowker codes for links.

==Papers to consider extracting data from==
# Extract data from Stanford's paper [http://www.maths.warwick.ac.uk/gt/GTMon4/paper23.abs.html].
# Extract data from Stanford's paper [http://www.maths.warwick.ac.uk/gt/GTMon4/paper23.abs.html].
# Extract data from Livingston's paper [http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-1.abs.html].
# Extract data from Livingston's paper [http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-1.abs.html].
# Extract data from Rasmussen's paper, {{arXiv|math.GT/0402131}}.
# Extract data from Rasmussen's paper, {{arXiv|math.GT/0402131}}. (I think this has been done - I imported s-invariant data from KnotInfo. --[[User:Scott|Scott]] 02:06, 26 May 2006 (EDT))
# Extract data from Hikami's paper, {{arXiv|math.GT/0403224}}.
# Extract data from Hikami's paper, {{arXiv|math.GT/0403224}}.
# Extract data from Stoimenow's paper, {{arXiv|math.GT/0405076}}.
# Extract data from Stoimenow's paper, {{arXiv|math.GT/0405076}}.
Line 52: Line 77:
# Extract data from Hirasawa-Teragaito's paper, {{arXiv|math.GT/0504446}}.
# Extract data from Hirasawa-Teragaito's paper, {{arXiv|math.GT/0504446}}.
# Extract data from Cimasoni-Florens' paper, {{arXiv|math.GT/0505185}}.
# Extract data from Cimasoni-Florens' paper, {{arXiv|math.GT/0505185}}.
# Extract data from Hoste-Shanahan's paper, {{arXiv|math.GT/0505442}}.
# Extract data from Ashton-Cantarella-Piatek-Rawdon's paper, {{arXiv|math.DG/0508248}}.
# Extract data from Ashton-Cantarella-Piatek-Rawdon's paper, {{arXiv|math.DG/0508248}}.
# Boundary slope data. There's Dunfield's paper, and associated program, {{arXiv|math.GT/9901120}}, and also a paper by Hoste and Shanahan {{arXiv|math.GT/0505442}}, which contains data for many two component links.
# Extract A-polynomial data from Cooper-Culler-Gillet-Long-Shalen.
# Extract data from Baldwin-Gillam's paper, {{arXiv|math.GT/0610167}}.
# Add Ozvath-Szabo stuff.
# Make all sources public.
# Update this To Do list.


[[Special:Whatlinkshere&target=Template:Todo-later|Pages with the 'todo-later' template]]
[[Special:Whatlinkshere&target=Template:Todo-later|Pages with the 'todo-later' template]]

Latest revision as of 00:00, 3 July 2015

  • Update this To Do list.
  • Make sure all KnotAtlas associated software is in either the KnotTheory or KnotAtlas svn repositories, and document how to get programs from svn. See Category:Software.
  • Remove all the splicing programs.
  • Fix the whitespace in formulas containing symbols from dbnsymb; see e.g. The_Jones_Polynomial#eq:KBDef.

Knot Atlas issues

  • Link to us from relevant pages on wikipedia and elsewhere.
  • Add "comment" hooks near each of the sections on the knot pages.

Pages to write

  1. Further edit How you can contribute.
  2. Finish Extending/Modifying KnotTheory`.
  3. Prepare List of Modules in KnotTheory`.
  4. Document "The A2 invariant", "The G2 invariant" and "other quantum invariants".

More complicated projects

  1. Identify torus knots.
    1. should we have an 'identify this knot' function in KnotTheory`? How to implement it?
    2. one way to do this would be to: 1) triangulate the knot/link complement then 2) use the Rubinstein algorithm to find the connect-sum decomposition 3) use the Jaco-Rubinstein algorithm to compute the JSJ-decomposition of the prime parts and identify the Seifert-fibred bits and 4) use SnapPea to identify the hyperbolic parts. (1) is implemented in several places such as Orb and Knotscape, (2) is implemented in the software called Regina, by Ben Burton (do a Google search for "Regina sourceforge" (3) is not yet implemented and (4) has been implemented for a long time now, in SnapPea's isometry checker. Perhaps you would like to use a less big hammer for this problem, though? -ryan
  2. Clarify orientation issues, especially for links.
    1. As in, if you reverse the orientation of a particular strand, do you get the same oriented link? The above JSJ schema gives a systematic way to do this.
  3. Extend tables beyond 11 crossings.
  4. Add pages on rational knots and other classes of "special" knots.
  5. Add a page for "sporadic" special knots.

Data to include

  1. Add Tristram-Levine signatures.
  2. Chiral? Invertible?
    1. More generally, list the full symmetry group of the knot (isotopy classes of diffeomorphisms of the pair (S^3,K) and describe whether or not it can be realized as a subgroup of Diff(S^3,K), the fixed point sets, how it acts on the orientations of S^3 and K respectively, etc... If you're going to start including symmetry data, why not do it all? Again the JSJ-schema I outlined above is one way to approach this. -ryan
  3. Indicate which knots are the components of given links.
  4. Add something about hyperbolic invariants.
  5. "Similar Links" using The Multivariable Alexander Polynomial; add the The Multivariable Alexander Polynomial to the simulated Mathematica sessions.

Things to calculate

  1. Compute HOMFLYPT for torus knots -- this has been added to the Upload_Queues.
  2. compute Reshetikhin-Turaev invariants for everything in sight.

KnotTheory`

  1. Put the MIT license notice in all the source files. (You can consider this note as MIT licensing for now. If you're one of the contributors, and you didn't complain when we proposed MIT licensing for everything, you can still complain now!)
  2. Write some functions to generate knot families, taking advantage of ConwayNotation. Pretzel knots, etc.
  3. Unite DrawPD and BraidPlot under Draw.
  4. Remove Simplify from ColouredJones.
  5. Custom knot drawings! Output in ps, TeX, etc.
  6. Browsable source code for KnotTheory`.
  7. Fix the In/Out numbering in Graphical Input.
  8. The makefile incorrectly includes the .svn subdirectories in KnotTheory.zip. (But not in KnotTheory.tar.gz, because there we can use the --exclude .svn option for tar. What's the corresponding option for zip?)

katlas software

  • Find out if it's possible to eliminate the need for &action=purge when transcluded pages change?
  • Tell people about the modifications to ImagePage.php
    • made redundant by upgrading medawiki!
  • Fix/improve the "disappearing transclusion" tag <ifpageexists>.
    • again, made redundant -- use {{:ifexists|||}}
  • Replace the "bracket" splicing model by a "templated" one.

texvc

  1. can texvc use dvi2bitmap instead of convert? might be much faster? [1]
    1. alternatively see [2]
    2. what about a cron job to randomly delete entries from mw_math, and the corresponding png's?
  2. Apply patches to texvc, for making transparent, font-sizes png in math mode. [3]

Other things

  1. Add the Universal Vassiliev Invariant.
  2. Something about knot colouring.
  3. Add Ozsvath-Szabo stuff.
  4. Make all sources public.
  5. Add Dowker codes for links.

Papers to consider extracting data from

  1. Extract data from Stanford's paper [4].
  2. Extract data from Livingston's paper [5].
  3. Extract data from Rasmussen's paper, arXiv:math.GT/0402131. (I think this has been done - I imported s-invariant data from KnotInfo. --Scott 02:06, 26 May 2006 (EDT))
  4. Extract data from Hikami's paper, arXiv:math.GT/0403224.
  5. Extract data from Stoimenow's paper, arXiv:math.GT/0405076.
  6. Extract data from De Wit and Links, arXiv:math.GT/0501224, and from De Wit, Ishii and Links, arXiv:math.GT/0405403.
  7. Extract data from Cha-Livingston's paper, arXiv:math.GT/0503125.
  8. Extract data from Hirasawa-Teragaito's paper, arXiv:math.GT/0504446.
  9. Extract data from Cimasoni-Florens' paper, arXiv:math.GT/0505185.
  10. Extract data from Ashton-Cantarella-Piatek-Rawdon's paper, arXiv:math.DG/0508248.
  11. Boundary slope data. There's Dunfield's paper, and associated program, arXiv:math.GT/9901120, and also a paper by Hoste and Shanahan arXiv:math.GT/0505442, which contains data for many two component links.
  12. Extract data from Baldwin-Gillam's paper, arXiv:math.GT/0610167.

Pages with the 'todo-later' template Pages with the 'todo' template