The latest files are always available at
GitHub.
- 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
- The GNU GPLv3 license which covers the source
files: COPYING
- A brief description of the following
programs: README
- The main sage file: main.sage
- The sage file used to produce the following file from the
Knot Atlas data: convert.sage
- All prime links up to 11
crossings: alldata.sage
- The sage file used for computing Khovanov
homology: computehom.sage
- The sage file used for extracting Khovanov
homology: extract.sage
- The output of any of the previous two
files: allhom.sage
- The sage file used for computing the Steenrod square
actions: batch.sage
- A bash wrapper for the previous
file: batch.sh
- The complete output: result.sage
- A sage file that converts the previous file into a LaTeX
file: texify.sage