The latest files are always available at GitHub.
  1. A single tar file containing all the following files: KhovanovSteenrod.tar
    To untar, open a terminal, go to the directory where you have downloaded the tar file, and type
    tar -xvf KhovanovSteenrod.tar
  2. The GNU GPLv3 license which covers the source files: COPYING
  3. A brief description of the following programs: README
  4. The main sage file: main.sage
  5. The sage file used to produce the following file from the Knot Atlas data: convert.sage
  6. All prime links up to 11 crossings: alldata.sage
  7. The sage file used for computing Khovanov homology: computehom.sage
  8. The sage file used for extracting Khovanov homology: extract.sage
  9. The output of any of the previous two files: allhom.sage
  10. The sage file used for computing the Steenrod square actions: batch.sage
  11. A bash wrapper for the previous file:
  12. The complete output: result.sage
  13. A sage file that converts the previous file into a LaTeX file: texify.sage