(* ::Package:: *)

(************************************************************************)
(* This file was generated automatically by the Mathematica front end.  *)
(* It contains Initialization cells from a Notebook file, which         *)
(* typically will have the same name as this file except ending in      *)
(* ".nb" instead of ".m".                                               *)
(*                                                                      *)
(* This file is intended to be loaded into the Mathematica kernel using *)
(* the package loading commands Get or Needs.  Doing so is equivalent   *)
(* to using the Evaluate Initialization Cells menu command in the front *)
(* end.                                                                 *)
(*                                                                      *)
(* DO NOT EDIT THIS FILE.  This entire file is regenerated              *)
(* automatically each time the parent Notebook file is saved in the     *)
(* Mathematica front end.  Any changes you make to this file will be    *)
(* overwritten.                                                         *)
(************************************************************************)



(* ::Input::Initialization:: *)
Once[<<KnotTheory`]


(* ::Input::Initialization:: *)
\[Chi][cond_]:=If[TrueQ[cond],1,0];


(* ::Input::Initialization:: *)
\[ScriptCapitalE]_//m[i_,j_->k_]:=Expand[\[ScriptCapitalE]/.Subscript[e, r_,s_,t_][i]Subscript[e, u_,v_,w_][j]:>\[Chi][t==v](-1)^(u(s+t)) Subscript[e, (r+u)~Mod~2,s,w][k]]


(* ::Input::Initialization:: *)
KBasis[{i_}]:={Subscript[e, 0,0,0][i],Subscript[e, 0,0,1][i],Subscript[e, 0,1,0][i],Subscript[e, 0,1,1][i],Subscript[e, 1,0,0][i],Subscript[e, 1,0,1][i],Subscript[e, 1,1,0][i],Subscript[e, 1,1,1][i]}
KBasis[{i_,is__}]:=Flatten@Outer[Times,KBasis[{i}],KBasis[{is}]]


(* ::Input::Initialization:: *)
\[Eta][i_]:=Subscript[e, 0,0,0][i]+Subscript[e, 0,1,1][i]


(* ::Input::Initialization:: *)
R[i_,j_]:=a1 Subscript[e, 0,0,0][i]Subscript[e, 0,0,0][j]+a2 Subscript[e, 0,1,1][i]Subscript[e, 0,0,0][j]+a3 T Subscript[e, 0,0,0][i]Subscript[e, 0,1,1][j]-a4(1- T)Subscript[e, 1,1,0][i]Subscript[e, 1,0,1][j]-a5 T Subscript[e, 0,1,1][i]Subscript[e, 0,1,1][j]


(* ::Input::Initialization:: *)
\!\(\*OverscriptBox[\(R\), \(_\)]\)[i_,j_]:=b1 Subscript[e, 0,0,0][i]Subscript[e, 0,0,0][j]+b2 Subscript[e, 0,1,1][i]Subscript[e, 0,0,0][j]+b3 T^-1 Subscript[e, 0,0,0][i]Subscript[e, 0,1,1][j]-b4 (1-T^-1)Subscript[e, 1,1,0][i]Subscript[e, 1,0,1][j]-b5 T^-1 Subscript[e, 0,1,1][i]Subscript[e, 0,1,1][j]



