To begin, the family of equations arising from the crossing of the first knot will be defined in Maple. See the attached diagram for the definitions of the variable.

The nest step is to try to solve this system of equation modulo some integer. Since it is not yet clear modulo which integer the equations should be solved, let us begin by simply try to find a non-trivial solution.

This solution is not very useful since it only yields the trivial solution when all the variables are equal and a colouring must have at least two distinct colour. Perhaps trying to solve a subset of the equations will provide more information.

So, by solving for only three of the equations a non-trivial solution has been found in trems of the variable a and c. Notice that the equations for which a solution has been found will be satisfied modulo any integer. However, this is not necessarily true for the equations which have been ommited. To analyse these, values will be assigned to .b, d and e and then the two remaining equations will be reevaluated.

> 2*d = a + e;

Since both of these equations are easily seen to reduce to 7(c-a) it follows that the two equations left will be satisfied mod 7 by any assignment of values to a and c. (For example a = 1 and c= 2 will work). Hence the first knot is colourable modulo 7. A similar analysis will now be performed on the second knot. In order to clear the assignment of variable, Maple will be restartaed.

Once again the solution is not very useful so the same approach as in the previous case is used.

Here many nontrivial solutions are found in terms of f and g. However, these

> 2*h = g + b;

By inspection, one sees that multiplying by 2 and moving the lefthand side to the right will yield an expression which has 13 as factor. Hence the second knot is 13 colourable. To check that the two knots are not equivalent it therefore suffices to show that the first knot is not 13 colourable. This can be done by a simple minded search of all possible colourings modulo 13 of the 5 arcs of the knot using do loops. In this case, there are only 371293 possibilities so this can be done in a reasonable time on the machines available to this course. (However, in more complicated cases a better approach is to solve for some of the equations in terms of some small set of variables, as was done for the first knot. Thgen, a do loop routine can assign values to only the variables from this small set and generate the values of the other variables using the solutions found for them.) The routine will check whether the 5 equations are satisfied for each possibility. Before proceeding, Maple will have to be restarted.

> CheckColour := proc()

> for a from 0 to 12 do;

> for b from 0 to 12 do;

> for c from 0 to 12 do;

> for d from 0 to 12 do;

> for e from 0 to 12 do;

> if 2*a = b + c mod 13 and 2*b = d + a mod 13 and 2*c = b + e mod 13 and 2*d = a + e mod 13 and 2*e = d + c mod 13 then

> print([a,b,c,d,e]); fi; od; od; od; od; od; end;