/*
 * This file contains a small list of some special or fancy knots and links
 * in PARI/GP format suitable for feeding into KhoHo, a program by
 * A. Shumakovitch for computing and studying Khovanov homology.
 * To read from within gp execute `read(SpecialLinks)'
 *
 * Most of this list was converted by Shumakovitch from the one supplied
 * by D. Bar-Natan with his program Categorification.m
 * Kiroshita-Terasaka and Conway mutant knots were drawn in LinkSmith
 * and processed through Knotscape, a knot theory program by J. Hoste
 * and M. Thistlethwaite.
 *
 * For further info see:
 *   KhoHo:     http://www.geometrie.ch/KhoHo
 *   Categorification.m:
 *              http://www.math.toronto.edu/~drorbn/papers/Categorification
 *   Knotscape: http://www.math.utk.edu/~morwen/knotscape.html
 */

{
print1("Loading some special knots and links ... ");

Trefoil = [1, 4, 2, 5;  3, 6, 4, 1;  5, 2, 6, 3];

MillerKnot = [3, 10, 4, 11;  9, 4, 10, 5;  5, 3, 6, 2;
     11, 7, 12, 6;  1, 9, 2, 8;  7, 1, 8, 12];

FE2 = [1, 6, 2, 7;  5, 2, 6, 3;  3, 9, 4, 8;  7, 5, 8, 4;
     9, 14, 10, 15;  13, 10, 14, 11;  11, 1, 12, 16;  15, 13, 16, 12];

MillettUnknot = [1, 10, 2, 11;  9, 2, 10, 3;  3, 7, 4, 6;  15, 5, 16, 4;
     5, 17, 6, 16;  7, 14, 8, 15;  8, 18, 9, 17;  11, 18, 12, 19;
     19, 12, 20, 13;  13, 20, 14, 1];

HopfLink = [1, 5, 2, 8;  5, 1, 6, 4; 6, 3, 7, 4;  7, 3, 8, 2];

BorromeanLink = [1, 10, 2, 9;  3, 11, 4, 12;  5, 1, 6, 4;
     7, 2, 8, 3;  10, 5, 11, 8;  12, 6, 9, 7];

KiroshitaTerasaka = [1, 18, 2, 19;  7, 3, 8, 2;  3, 21, 4, 20;
     4, 13, 5, 14;  12, 5, 13, 6;  21, 7, 22, 6;  19, 8, 20, 9;
     14, 10, 15, 9;  10, 16, 11, 15;  16, 12, 17, 11;
     17, 22, 18, 1];

Conway = [8, 2, 9, 1;  2, 19, 3, 20;  20, 3, 21, 4;
     11, 4, 12, 5;  5, 17, 6, 16;  13, 7, 14, 6;  22, 8, 1, 7;
     9, 15, 10, 14;  15, 11, 16, 10;  17, 12, 18, 13;
     18, 21, 19, 22];

print("done.");
}