Last updated: 13 May 2014
This page contains supporting software and data for a variety of papers:
Computational topology (various papers)
Almost all of my computational topology code is included in Regina, a software package for 3-manifold topologists.
You can download Regina from
The cusped hyperbolic census
This paper: (i) proves that the cusped hyperbolic census has no false positives, no false negatives and no duplicates; (ii) extends the census to 9 tetrahedra; and (iii) extends the census to include all minimal triangulations (both geometric and non-geometric) of every census manifold.
You can download a zip file containing the full census data here:
Download hypcensus.zip (last updated 12 May 2014)
This zip file contains files 1-or.dat, …, 9-or.dat that list all orientable manifolds by number of tetrahedra, and files 1-nor.dat, …, 9-nor.dat that list all non-orientable manifolds by number of tetrahedra. Each file is a plain text file, with one line per manifold. Each line is of the following form:
The fields, from left to right, are:
m043 3.2529080485 0.2718806311 0.1824397261 Z+Z/5 2 eLAkaccddjnjak eLAkbbcdddhwhk
This paper gives algorithms for enumerating fundamental normal surfaces in a 3-manifold triangulation, and uses these to compute previously-unknown crosscap numbers of knots. You can download a CSV file containing the new crosscap numbers here:
Download fund_results.csv (last updated 1 October 2013)
You should be able to open this file in your favourite spreadsheet application. The columns in this table are:
The crosscap numbers computed in this paper and the paper below (“Computing the crosscap number of a knot using integer programming and normal surfaces”) cover different knots, and so the two sets of downloads provide different information.
All KnotInfo data were retrieved on 30 September 2013.
Computing closed essential surfaces in knot
This paper (joint with Alexander Coward and Stephan Tillmann) includes a significant amount of supporting data for computations on the 2977 non-trivial prime knots with ≤12 crossings, as well as the two 20-crossing dodecahedral knots.
You can download two files with supporting data:
You can open each of these files in Regina to examine the ideal triangulations of the knot complements, as well as the lists of admissible extreme rays of the corresponding cones Q0(T). See the paper for details on how these data feature in the tests for whether these knots are large.
For convenience, you can also download the list of all 1019 large knots from the census of non-trivial prime knots with ≤12 crossings (i.e., the list of knots from the table at the end of the paper). This is a plain text file, and the knots within it are listed using their names from the KnotInfo database.
Finally, you can download the source code that produced this data:
This paper (joint with Melih Ozlen) gives three algorithms for computing the crosscap number of a knot and/or reducing the number of possible solutions, and uses the final algorithm to improve data in existing knot tables. You can download a CSV file containing this new data here:
This contains stronger results than the original data file (version 1). The improvement: if the optimal solution to the integer program is an orientable surface, instead of just accepting this solution (and outputting the upper bound 2-χ) we non-deterministically keep searching for a non-orientable optimal solution (which improves the upper bound to 1-χ).
This contains the original data as reported in the paper.
You should be able to open this file in your favourite spreadsheet application. Most of the new data are for non-alternating knots, so you may need to scroll down a little way before you see these new results. The columns in this table are:
The crosscap numbers computed in this paper and the paper above (“Enumerating fundamental normal surfaces: Algorithms, experiments and invariants”) cover different knots, and so the two sets of downloads provide different information.
All KnotInfo data were retrieved on 2 June 2011.
You can also download a Regina data file containing full normal coordinates for each spanning surface found by these algorithms. These normal surfaces are, in effect, certificates that allow third parties to verify that the new crosscap numbers and upper bounds reported here are correct.
This data file matches version 2 of the CSV file above, and can be
opened using Regina (a
software package for 3-manifold topology with rich support for the
enumeration and analysis of normal surfaces).
Locating regions in a sequence
under density constraints
This paper (joint with Mathias Hiron) describes a number of sequence processing algorithms. You can download C++ implementations of these algorithms here:
The programs in this archive search through long strings of 0s and 1s for regions of particular interest. They include:
The archive also includes a file README.txt with instructions for building and using these programs.
All of these programs are offered under the GNU General Public License.
Some of these programs use van Emde Boas trees, the implementation of
which is taken from the MIT-licensed libveb by Jani Lahtinen.
This is available from
but the necessary portions are also included in the archive above.
The Weber-Seifert dodecahedral space
This paper (joint with J. Hyam Rubinstein and Stephan Tillmann) includes a significant amount of supporting data, including the 23-tetrahedron triangulation of the Weber-Seifert dodecahedral space and its 1751 standard vertex normal surfaces.
You can download this data from the Regina website.
(Back to home page...)