(* Content-type: application/mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 6.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       145,          7]
NotebookDataLength[     44610,       1253]
NotebookOptionsPosition[     43199,       1204]
NotebookOutlinePosition[     43560,       1220]
CellTagsIndexPosition[     43517,       1217]
WindowFrame->Normal
ContainsDynamic->False*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["A Program to compute the Alexander Polynomial for Tangles", "Title",
 CellChangeTimes->{{3.4381207310404*^9, 3.4381207459323997`*^9}, 
   3.442076218598*^9, {3.442076285763*^9, 3.442076286442*^9}}],

Cell[CellGroupData[{

Cell["The program its self.  ", "Section",
 CellChangeTimes->{{3.4381207531113997`*^9, 3.4381207660704*^9}}],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"Int", "[", "K_", "]"}], ":=", 
   RowBox[{"K", "/.", 
    RowBox[{"{", "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{
       RowBox[{"Pos", "[", 
        RowBox[{"a_", ",", "b_", ",", "c_", ",", "d_"}], "]"}], 
       "\[RuleDelayed]", "  ", "\[IndentingNewLine]", " ", 
       RowBox[{
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "b"}], "}"}], ",", "1"}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "c"}], "}"}], ",", 
          RowBox[{
           RowBox[{"t", "[", "b", "]"}], "-", "1"}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "d"}], "}"}], ",", 
          RowBox[{"-", 
           RowBox[{"t", "[", "a", "]"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"b", ",", "c"}], "}"}], ",", "1"}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"c", ",", "d"}], "}"}], ",", 
          RowBox[{"t", "[", "a", "]"}]}], "]"}]}]}], ",", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Neg", "[", 
        RowBox[{"a_", ",", "b_", ",", "c_", ",", "d_"}], "]"}], 
       "\[RuleDelayed]", " ", "\[IndentingNewLine]", " ", 
       RowBox[{
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "b"}], "}"}], ",", 
          RowBox[{"t", "[", "b", "]"}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "d"}], "}"}], ",", 
          RowBox[{"-", 
           RowBox[{"t", "[", "b", "]"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"b", ",", "c"}], "}"}], ",", "1"}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"b", ",", "d"}], "}"}], ",", 
          RowBox[{
           RowBox[{"-", "1"}], "+", 
           RowBox[{"t", "[", "a", "]"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"c", ",", "d"}], "}"}], ",", "1"}], "]"}]}]}], ",", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"P", "[", 
        RowBox[{"a_", ",", "b_"}], "]"}], "\[Rule]", " ", 
       RowBox[{
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", "a", "}"}], ",", "1"}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", "b", "}"}], ",", 
          RowBox[{"-", "1"}]}], "]"}]}]}], ",", "\[IndentingNewLine]", " ", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"CD", "[", 
        RowBox[{"a_", ",", "c_", ",", "b_", ",", "d_"}], "]"}], 
       "\[RuleDelayed]", " ", 
       RowBox[{
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "b"}], "}"}], ",", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "/", "2"}], ")"}], "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"t", "[", "a", "]"}], "+", 
             RowBox[{"t", "[", "b", "]"}]}], ")"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "c"}], "}"}], ",", 
          RowBox[{"-", 
           RowBox[{"t", "[", "b", "]"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "d"}], "}"}], ",", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "/", "2"}], ")"}], "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"t", "[", "a", "]"}], "-", 
             RowBox[{"t", "[", "b", "]"}]}], ")"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"b", ",", "c"}], "}"}], ",", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "/", "2"}], ")"}], "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"t", "[", "a", "]"}], "-", 
             RowBox[{"t", "[", "b", "]"}]}], ")"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"b", ",", "d"}], "}"}], ",", 
          RowBox[{"t", "[", "a", "]"}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"c", ",", "d"}], "}"}], ",", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "/", "2"}], ")"}], "*", 
           RowBox[{"(", 
            RowBox[{
             RowBox[{"-", 
              RowBox[{"t", "[", "a", "]"}]}], "-", 
             RowBox[{"t", "[", "b", "]"}]}], ")"}]}]}], "]"}]}]}], ",", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"Arr", "[", 
        RowBox[{"a_", ",", "b_", ",", "c_", ",", "d_"}], "]"}], 
       "\[RuleDelayed]", " ", 
       RowBox[{
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "b"}], "}"}], ",", 
          RowBox[{"t", "[", "a", "]"}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"a", ",", "d"}], "}"}], ",", 
          RowBox[{"-", 
           RowBox[{"t", "[", "a", "]"}]}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"c", ",", "d"}], "}"}], ",", 
          RowBox[{"t", "[", "c", "]"}]}], "]"}]}]}], ",", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"HBlob", "[", 
        RowBox[{"a_", ",", "b_"}], "]"}], "\[RuleDelayed]", " ", 
       RowBox[{
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", "a", "}"}], ",", 
          RowBox[{"t", "[", "a", "]"}]}], "]"}], "+", 
        RowBox[{"H", "[", 
         RowBox[{
          RowBox[{"{", "b", "}"}], ",", 
          RowBox[{"-", 
           RowBox[{"t", "[", "a", "]"}]}]}], "]"}]}]}]}], " ", "}"}]}]}], 
  "\[IndentingNewLine]", "\[IndentingNewLine]", 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{"H", "/:", 
  RowBox[{
   RowBox[{"H", "[", 
    RowBox[{"l_List", ",", "a__"}], "]"}], "**", 
   RowBox[{"H", "[", 
    RowBox[{"k_List", ",", "b__"}], "]"}]}], ":=", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"Sort", "[", 
     RowBox[{"Join", "[", 
      RowBox[{"l", ",", "k"}], "]"}], "]"}], ",", 
    RowBox[{
     RowBox[{"Signature", "[", 
      RowBox[{"Join", "[", 
       RowBox[{"l", ",", "k"}], "]"}], "]"}], "*", "a", "*", "b"}]}], 
   "]"}]}], "\[IndentingNewLine]", 
 RowBox[{"H", "/:", "  ", 
  RowBox[{
   RowBox[{"H", "[", 
    RowBox[{"l_List", ",", "a_"}], "]"}], "+", 
   RowBox[{"H", "[", 
    RowBox[{"l_", ",", "b_"}], "]"}]}], ":=", 
  RowBox[{"H", "[", 
   RowBox[{"l", ",", 
    RowBox[{"a", "+", "b"}]}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{"H", "/:", 
  RowBox[{"k_", "*", 
   RowBox[{"H", "[", 
    RowBox[{"l_List", ",", "a__"}], "]"}]}], ":=", 
  RowBox[{"H", "[", 
   RowBox[{"l", ",", 
    RowBox[{"k", "*", "a"}]}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"H", "[", 
    RowBox[{"l_List", ",", "a_"}], "]"}], "/;", "  ", 
   RowBox[{
    RowBox[{"Length", "[", 
     RowBox[{"Union", "[", "l", "]"}], "]"}], "<", 
    RowBox[{"Length", "[", "l", "]"}]}]}], " ", ":=", " ", 
  "0"}], "\[IndentingNewLine]", 
 RowBox[{"H", "/:", " ", 
  RowBox[{"0", "**", 
   RowBox[{"H", "[", 
    RowBox[{"k_List", ",", "b__"}], "]"}]}], ":=", 
  "0"}], "\[IndentingNewLine]", 
 RowBox[{"H", "/:", " ", 
  RowBox[{
   RowBox[{"H", "[", 
    RowBox[{"k_List", ",", "b__"}], "]"}], "**", "0"}], ":=", 
  "0"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"H", "/:", " ", 
   RowBox[{"H", "[", 
    RowBox[{"l_List", ",", "0"}], "]"}], ":=", "0"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", "\[IndentingNewLine]", "\[IndentingNewLine]", 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Prod", "[", 
   RowBox[{"{", "a_", "}"}], "]"}], ":=", "a"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"Prod", "[", "l_List", "]"}], ":=", 
   RowBox[{"Distribute", "[", 
    RowBox[{
     RowBox[{"l", "[", 
      RowBox[{"[", "1", "]"}], "]"}], "**", 
     RowBox[{"Prod", "[", 
      RowBox[{"Drop", "[", 
       RowBox[{"l", ",", "1"}], "]"}], "]"}]}], "]"}]}], 
  "\[IndentingNewLine]", "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"Proj", "[", 
    RowBox[{"L_", ",", "n_"}], "]"}], ":=", 
   RowBox[{
    RowBox[{"L", "/.", 
     RowBox[{
      RowBox[{
       RowBox[{"H", "[", 
        RowBox[{"l_List", ",", "a_"}], "]"}], "/;", " ", 
       RowBox[{
        RowBox[{"Take", "[", 
         RowBox[{"l", ",", "n"}], "]"}], "!=", 
        RowBox[{"Range", "[", "n", "]"}]}]}], "->", "  ", "0"}]}], "/.", 
    RowBox[{
     RowBox[{"H", "[", 
      RowBox[{"l_List", ",", "a_"}], "]"}], ":>", "  ", 
     RowBox[{"H", "[", 
      RowBox[{
       RowBox[{"Drop", "[", 
        RowBox[{"l", ",", "n"}], "]"}], ",", "a"}], "]"}]}]}]}], 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"Sig", "[", 
    RowBox[{"K_", ",", "n_", ",", "m_"}], "]"}], ":=", 
   RowBox[{"Signature", "[", 
    RowBox[{"Ordering", "[", 
     RowBox[{"Select", "[", 
      RowBox[{
       RowBox[{"List", "@@", 
        RowBox[{"Join", "@@", 
         RowBox[{"Apply", "[", " ", 
          RowBox[{"List", ",", " ", 
           RowBox[{"K", "/.", 
            RowBox[{"{", 
             RowBox[{
              RowBox[{
               RowBox[{"Pos", "[", 
                RowBox[{"a_", ",", "b_", ",", "c_", ",", "d_"}], "]"}], 
               "\[RuleDelayed]", "  ", "\[IndentingNewLine]", 
               RowBox[{"{", 
                RowBox[{"c", ",", "d"}], "}"}]}], ",", 
              RowBox[{
               RowBox[{"Neg", "[", 
                RowBox[{"a_", ",", "b_", ",", "c_", ",", "d_"}], "]"}], 
               "\[RuleDelayed]", " ", 
               RowBox[{"{", 
                RowBox[{"c", ",", "d"}], "}"}]}], ",", 
              RowBox[{
               RowBox[{"CD", "[", 
                RowBox[{"a_", ",", "c_", ",", "b_", ",", "d_"}], "]"}], 
               "\[RuleDelayed]", 
               RowBox[{"{", 
                RowBox[{"a", ",", "b"}], "}"}]}], ",", 
              RowBox[{
               RowBox[{"P", "[", 
                RowBox[{"a_", ",", "b_"}], "]"}], "\[RuleDelayed]", " ", 
               RowBox[{"{", "a", "}"}]}], ",", " ", 
              RowBox[{
               RowBox[{"Arr", "[", 
                RowBox[{"a_", ",", "b_", ",", "c_", ",", "d_"}], "]"}], 
               "\[RuleDelayed]", 
               RowBox[{"{", 
                RowBox[{"a", ",", "c"}], "}"}]}], ",", 
              RowBox[{
               RowBox[{"HBlob", "[", 
                RowBox[{"a_", ",", "b_"}], "]"}], "\[RuleDelayed]", 
               RowBox[{"{", "a", "}"}]}]}], "}"}]}], ",", " ", 
           RowBox[{"{", "1", "}"}]}], "]"}]}]}], ",", 
       RowBox[{
        RowBox[{"m", ">=", "#"}], "&"}]}], "]"}], "]"}], "]"}]}], 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"AT", "[", 
   RowBox[{"K_", ",", "n_", ",", "m_", ",", "col_"}], "]"}], ":=", 
  RowBox[{
   RowBox[{"Proj", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"Sig", "[", 
       RowBox[{"K", ",", "n", ",", "m"}], "]"}], "*", 
      RowBox[{"Prod", "[", 
       RowBox[{
        RowBox[{"Int", "[", "K", "]"}], "/.", "col"}], "]"}]}], ",", "n"}], 
    "]"}], "/.", " ", 
   RowBox[{
    RowBox[{"H", "[", 
     RowBox[{"l_List", ",", "a_"}], "]"}], ":>", 
    RowBox[{"H", "[", 
     RowBox[{"l", ",", 
      RowBox[{"Expand", "[", "a", "]"}]}], "]"}]}]}]}]}], "Input",
 CellChangeTimes->{{3.426188719292657*^9, 3.426188722397657*^9}, {
   3.4261889148906565`*^9, 3.4261889225936565`*^9}, {3.426189155912657*^9, 
   3.4261891912236567`*^9}, {3.426194034955*^9, 3.426194043369*^9}, {
   3.426194139866*^9, 3.4261941748450003`*^9}, {3.426194226914*^9, 
   3.426194296758*^9}, 3.426194423231*^9, {3.426197627507*^9, 
   3.426197651932*^9}, {3.426197912998*^9, 3.426197930172*^9}, {
   3.426197979422*^9, 3.4261980984300003`*^9}, {3.426198800551*^9, 
   3.426198810165*^9}, {3.426247940355011*^9, 3.4262479518940115`*^9}, {
   3.4262479876460114`*^9, 3.4262480189820113`*^9}, {3.426248060537011*^9, 
   3.426248061661011*^9}, {3.426249277229*^9, 3.42624932381*^9}, {
   3.42624944095*^9, 3.426249449358*^9}, {3.426249487642*^9, 
   3.426249547138*^9}, {3.426249622722*^9, 3.426249633642*^9}, {
   3.426249679256*^9, 3.426249680843*^9}, {3.4262497675889997`*^9, 
   3.426249768709*^9}, {3.426249803965*^9, 3.426249807568*^9}, {
   3.426249970521*^9, 3.426249984053*^9}, {3.42625003555*^9, 
   3.426250099285*^9}, {3.426250136233*^9, 3.426250136369*^9}, {
   3.426250279086*^9, 3.426250291692*^9}, {3.426250586667*^9, 
   3.4262505931549997`*^9}, {3.426250958638*^9, 3.4262509812200003`*^9}, {
   3.4262510197279997`*^9, 3.426251057703*^9}, {3.42625109223*^9, 
   3.4262511124849997`*^9}, 3.426251278205*^9, {3.4262872645514*^9, 
   3.4262872654584*^9}, {3.4262873116344*^9, 3.4262873741764*^9}, {
   3.4262875663784*^9, 3.4262875694634*^9}, 3.4262876427374*^9, {
   3.4262877307004004`*^9, 3.4262877744554*^9}, {3.4262878046384*^9, 
   3.4262878055344*^9}, {3.4262878713704*^9, 3.4262878862834*^9}, {
   3.4262879638824*^9, 3.4262879714124002`*^9}, {3.4262880797494*^9, 
   3.4262880804344*^9}, {3.4262883025794*^9, 3.4262883054264*^9}, 
   3.4262883447544003`*^9, {3.4262884366944*^9, 3.4262884378954*^9}, {
   3.42634531078929*^9, 3.426345593826071*^9}, 3.4263462104197903`*^9, 
   3.426346328085414*^9, {3.426349345961545*^9, 3.4263493477528*^9}, {
   3.426349417744988*^9, 3.4263494531963778`*^9}, {3.426349514837316*^9, 
   3.426349524253414*^9}, {3.426354351184154*^9, 3.426354390819971*^9}, 
   3.426354471047352*^9, {3.426355055831119*^9, 3.426355164861595*^9}, {
   3.426355605567925*^9, 3.426355644278254*^9}, 3.426356524491177*^9, {
   3.426356674135778*^9, 3.42635671094917*^9}, 3.4263767472264194`*^9, {
   3.4263769446764193`*^9, 3.426376946782419*^9}, 3.426377429887419*^9, 
   3.426377474003419*^9, {3.4263792963464193`*^9, 3.4263792984764194`*^9}, {
   3.426380594474419*^9, 3.426380719958419*^9}, {3.426380957534419*^9, 
   3.426380967180419*^9}, {3.426382023736419*^9, 3.4263820701824193`*^9}, 
   3.426383358426819*^9, {3.426406774624378*^9, 3.426406783796378*^9}, {
   3.426420008012*^9, 3.426420013527*^9}, {3.426420092799*^9, 
   3.426420097414*^9}, 3.4264211062860003`*^9, {3.426421145633*^9, 
   3.426421167771*^9}, {3.426421288498*^9, 3.426421301873*^9}, 
   3.426421337159*^9, {3.4264301152883997`*^9, 3.4264301171144*^9}, {
   3.4264303797184*^9, 3.4264304280734*^9}, {3.4266292700324078`*^9, 
   3.426629436208408*^9}, {3.4266308824964075`*^9, 3.426630893389408*^9}, {
   3.4266319814024076`*^9, 3.4266320073944077`*^9}, {3.4270208921036167`*^9, 
   3.4270209104046164`*^9}, {3.4270212633906164`*^9, 
   3.4270213114726167`*^9}, {3.4270213633856163`*^9, 3.427021380089617*^9}, {
   3.4270215595176163`*^9, 3.4270215890736165`*^9}, 3.4270217305346165`*^9, {
   3.4270217610626163`*^9, 3.4270217915276165`*^9}, {3.4270219011576166`*^9, 
   3.427021969035617*^9}, {3.4270220271736164`*^9, 3.427022058818617*^9}, {
   3.4270221830156164`*^9, 3.4270222029716167`*^9}, {3.4270222618646164`*^9, 
   3.4270223107206163`*^9}, {3.427034916992837*^9, 3.4270349322441893`*^9}, {
   3.427035094441834*^9, 3.4270351047473717`*^9}, {3.4272891283311615`*^9, 
   3.427289136452162*^9}, {3.4272896122701616`*^9, 3.4272896312371616`*^9}}],

Cell[BoxData[
 StyleBox[
  RowBox[{" ", 
   RowBox[{
    RowBox[{"Testing", " ", "the", " ", "program"}], " ", 
    "\[IndentingNewLine]", "\[IndentingNewLine]", 
    RowBox[{
    "Checking", " ", "a", " ", "known", " ", "relation", " ", "on", " ", 
     "chord", " ", "diagrams"}]}]}], "Section"]], "Input",
 CellChangeTimes->{{3.4381206660064*^9, 3.4381207086384*^9}, {
  3.4381207759344*^9, 3.4381207862033997`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"K", "[", "1", "]"}], "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"CD", "[", 
      RowBox[{"4", ",", "2", ",", "3", ",", "1"}], "]"}], ",", 
     RowBox[{"CD", "[", 
      RowBox[{"2", ",", "5", ",", "1", ",", "6"}], "]"}]}], "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"K", "[", "2", "]"}], "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"CD", "[", 
      RowBox[{"2", ",", "5", ",", "3", ",", "1"}], "]"}], ",", 
     RowBox[{"CD", "[", 
      RowBox[{"4", ",", "2", ",", "1", ",", "6"}], "]"}]}], "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"K", "[", "3", "]"}], "=", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"P", "[", 
       RowBox[{"3", ",", "1"}], "]"}], ",", 
      RowBox[{"P", "[", 
       RowBox[{"4", ",", "2"}], "]"}], ",", 
      RowBox[{"P", "[", 
       RowBox[{"2", ",", "5"}], "]"}], ",", 
      RowBox[{"P", "[", 
       RowBox[{"1", ",", "6"}], "]"}]}], "}"}]}], ";"}], 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"AT", "[", 
    RowBox[{
     RowBox[{"K", "[", "1", "]"}], ",", "2", ",", "4", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"t", "[", "2", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "4", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "5", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "1", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "2", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "3", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "2", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "6", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "2", "]"}]}]}], "}"}]}], "]"}], "-", 
   RowBox[{"AT", "[", 
    RowBox[{
     RowBox[{"K", "[", "2", "]"}], ",", "2", ",", "4", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"t", "[", "2", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "4", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "5", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "1", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "2", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "3", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "2", "]"}]}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "6", "]"}], "\[Rule]", 
        RowBox[{"x", "[", "2", "]"}]}]}], "}"}]}], "]"}]}], "===", 
  RowBox[{"Expand", "[", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"x", "[", "1", "]"}], "*", 
      RowBox[{"x", "[", "2", "]"}]}], ")"}], "*", 
    RowBox[{"AT", "[", 
     RowBox[{
      RowBox[{"K", "[", "3", "]"}], ",", "2", ",", "4", ",", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{
         RowBox[{"t", "[", "2", "]"}], "\[Rule]", 
         RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
        RowBox[{
         RowBox[{"t", "[", "4", "]"}], "\[Rule]", 
         RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
        RowBox[{
         RowBox[{"t", "[", "5", "]"}], "\[Rule]", 
         RowBox[{"x", "[", "1", "]"}]}], ",", " ", 
        RowBox[{
         RowBox[{"t", "[", "1", "]"}], "\[Rule]", 
         RowBox[{"x", "[", "2", "]"}]}], ",", " ", 
        RowBox[{
         RowBox[{"t", "[", "3", "]"}], "\[Rule]", 
         RowBox[{"x", "[", "2", "]"}]}], ",", " ", 
        RowBox[{
         RowBox[{"t", "[", "6", "]"}], "\[Rule]", 
         RowBox[{"x", "[", "2", "]"}]}]}], "}"}]}], "]"}]}], 
   "]"}]}]}], "Input",
 CellChangeTimes->{{3.4270222326906166`*^9, 3.4270222443626165`*^9}, {
  3.4381206532304*^9, 3.4381206559334*^9}}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.4270222339476166`*^9, 3.4270222449936166`*^9}, 
   3.4270223150276165`*^9, {3.4381206453054*^9, 3.4381206565973997`*^9}, 
   3.4381209999374*^9}]
}, Open  ]],

Cell[BoxData[""], "Input",
 CellChangeTimes->{3.428666495150364*^9}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"\"\<Relation 1 works, but program doesn't work as well for single \
elements\>\"", "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"AT", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"Pos", "[", 
       RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", 
     ",", "2", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
       RowBox[{
        RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], "]"}], "-",
    
   RowBox[{"AT", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"Neg", "[", 
       RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", 
     ",", "2", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
       RowBox[{
        RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], "]"}]}], 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{"Expand", "[", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"x", "-", "1"}], ")"}], "*", 
   RowBox[{"AT", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{"P", "[", 
        RowBox[{"1", ",", "4"}], "]"}], ",", 
       RowBox[{"P", "[", 
        RowBox[{"2", ",", "3"}], "]"}]}], "}"}], ",", "0", ",", "2", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
       RowBox[{
        RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", " ", 
       RowBox[{
        RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], "]"}]}], 
  "]"}]}], "Input",
 CellChangeTimes->{{3.4270346741231527`*^9, 3.427034845823516*^9}, 
   3.427034973828472*^9, 3.427035028135066*^9, {3.427035113833399*^9, 
   3.4270351626115932`*^9}, 3.428666482945364*^9}],

Cell[BoxData["\<\"Relation 1 works, but program doesn't work as well for \
single elements\"\>"], "Output",
 CellChangeTimes->{{3.428666512222364*^9, 3.428666535808364*^9}, 
   3.428666774818364*^9, 3.428666806387364*^9, {3.428667643045364*^9, 
   3.428667672700364*^9}, 3.428667739807364*^9, 3.428667841414364*^9, {
   3.428667889597364*^9, 3.428667916675364*^9}, 3.428668141759364*^9, 
   3.428671437346364*^9, {3.4286715430673637`*^9, 3.428671591594364*^9}, 
   3.4286716648313637`*^9, 3.428671721741364*^9, 3.428671958553364*^9, 
   3.4381209253654003`*^9, 3.4381210085774*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{
     RowBox[{"-", "1"}], "+", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "1"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"4", ",", "2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{
     RowBox[{"-", "1"}], "+", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"1", "-", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"4", ",", "2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "1"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"1", "-", "x"}]}], "]"}]}]], "Output",
 CellChangeTimes->{{3.428666512222364*^9, 3.428666535808364*^9}, 
   3.428666774818364*^9, 3.428666806387364*^9, {3.428667643045364*^9, 
   3.428667672700364*^9}, 3.428667739807364*^9, 3.428667841414364*^9, {
   3.428667889597364*^9, 3.428667916675364*^9}, 3.428668141759364*^9, 
   3.428671437346364*^9, {3.4286715430673637`*^9, 3.428671591594364*^9}, 
   3.4286716648313637`*^9, 3.428671721741364*^9, 3.428671958553364*^9, 
   3.4381209253654003`*^9, 3.4381210085854*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{
     RowBox[{"-", "1"}], "+", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"1", ",", "3"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"1", "-", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "3"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{
     RowBox[{"-", "1"}], "+", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2"}], "}"}], ",", 
    RowBox[{"1", "-", "x"}]}], "]"}]}]], "Output",
 CellChangeTimes->{{3.428666512222364*^9, 3.428666535808364*^9}, 
   3.428666774818364*^9, 3.428666806387364*^9, {3.428667643045364*^9, 
   3.428667672700364*^9}, 3.428667739807364*^9, 3.428667841414364*^9, {
   3.428667889597364*^9, 3.428667916675364*^9}, 3.428668141759364*^9, 
   3.428671437346364*^9, {3.4286715430673637`*^9, 3.428671591594364*^9}, 
   3.4286716648313637`*^9, 3.428671721741364*^9, 3.428671958553364*^9, 
   3.4381209253654003`*^9, 3.4381210085914*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{"\"\<Relation 10 - R1 we don't expect work - There is a \
coeffient\>\"", "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"P", "[", 
      RowBox[{"3", ",", "1"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"1", ",", "2"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"2", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", "3", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Pos", "[", 
      RowBox[{"4", ",", "2", ",", "1", ",", "3"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", "3", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Pos", "[", 
      RowBox[{"2", ",", "4", ",", "3", ",", "1"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", "3", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Neg", "[", 
      RowBox[{"4", ",", "2", ",", "1", ",", "3"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", "3", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Neg", "[", 
      RowBox[{"2", ",", "4", ",", "3", ",", "1"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", "3", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "x"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]"}], "Input"],

Cell[BoxData["\<\"Relation 10 - R1 we don't expect work - There is a \
coeffient\"\>"], "Output",
 CellChangeTimes->{
  3.4286665942433643`*^9, 3.428666776704364*^9, 3.428666807321364*^9, 
   3.428667675992364*^9, 3.428667741721364*^9, 3.4286678466003637`*^9, 
   3.428667919509364*^9, 3.428668144648364*^9, 3.428671443050364*^9, {
   3.428671547873364*^9, 3.4286715929753637`*^9}, {3.428671666209364*^9, 
   3.428671671905364*^9}, 3.4286717174273643`*^9, 3.428671977936364*^9, 
   3.4381210117444*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", "1"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "4", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"-", "1"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.4286665942433643`*^9, 3.428666776704364*^9, 3.428666807321364*^9, 
   3.428667675992364*^9, 3.428667741721364*^9, 3.4286678466003637`*^9, 
   3.428667919509364*^9, 3.428668144648364*^9, 3.428671443050364*^9, {
   3.428671547873364*^9, 3.4286715929753637`*^9}, {3.428671666209364*^9, 
   3.428671671905364*^9}, 3.4286717174273643`*^9, 3.428671977936364*^9, 
   3.4381210118414*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", "x"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "4", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"-", "x"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.4286665942433643`*^9, 3.428666776704364*^9, 3.428666807321364*^9, 
   3.428667675992364*^9, 3.428667741721364*^9, 3.4286678466003637`*^9, 
   3.428667919509364*^9, 3.428668144648364*^9, 3.428671443050364*^9, {
   3.428671547873364*^9, 3.4286715929753637`*^9}, {3.428671666209364*^9, 
   3.428671671905364*^9}, 3.4286717174273643`*^9, 3.428671977936364*^9, 
   3.4381210119644003`*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", "1"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "4", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"-", "1"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.4286665942433643`*^9, 3.428666776704364*^9, 3.428666807321364*^9, 
   3.428667675992364*^9, 3.428667741721364*^9, 3.4286678466003637`*^9, 
   3.428667919509364*^9, 3.428668144648364*^9, 3.428671443050364*^9, {
   3.428671547873364*^9, 3.4286715929753637`*^9}, {3.428671666209364*^9, 
   3.428671671905364*^9}, 3.4286717174273643`*^9, 3.428671977936364*^9, 
   3.4381210120764*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", "x"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "4", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"-", "x"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.4286665942433643`*^9, 3.428666776704364*^9, 3.428666807321364*^9, 
   3.428667675992364*^9, 3.428667741721364*^9, 3.4286678466003637`*^9, 
   3.428667919509364*^9, 3.428668144648364*^9, 3.428671443050364*^9, {
   3.428671547873364*^9, 3.4286715929753637`*^9}, {3.428671666209364*^9, 
   3.428671671905364*^9}, 3.4286717174273643`*^9, 3.428671977936364*^9, 
   3.4381210121934*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", "1"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", "4", "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", 
    RowBox[{"{", "3", "}"}], ",", 
    RowBox[{"-", "1"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.4286665942433643`*^9, 3.428666776704364*^9, 3.428666807321364*^9, 
   3.428667675992364*^9, 3.428667741721364*^9, 3.4286678466003637`*^9, 
   3.428667919509364*^9, 3.428668144648364*^9, 3.428671443050364*^9, {
   3.428671547873364*^9, 3.4286715929753637`*^9}, {3.428671666209364*^9, 
   3.428671671905364*^9}, 3.4286717174273643`*^9, 3.428671977936364*^9, 
   3.4381210123154*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"\"\<Relation 11 - R2 - We will be off by a factor of x\>\"", 
  "\[IndentingNewLine]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Pos", "[", 
      RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}], ",", 
     RowBox[{"Neg", "[", 
      RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "2", 
   ",", "4", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "6", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "y"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "y"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "5", "]"}], "\[Rule]", "y"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"P", "[", 
      RowBox[{"3", ",", "1"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"1", ",", "6"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"4", ",", "2"}], "]"}], ",", 
     RowBox[{"P", "[", 
      RowBox[{"2", ",", "5"}], "]"}]}], "}"}], ",", "2", ",", "4", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "6", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "y"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "y"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "5", "]"}], "\[Rule]", "y"}]}], "}"}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"AT", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Neg", "[", 
      RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}], ",", 
     RowBox[{"Pos", "[", 
      RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "2", 
   ",", "4", ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"t", "[", "1", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "3", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "6", "]"}], "\[Rule]", "x"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "2", "]"}], "\[Rule]", "y"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "4", "]"}], "\[Rule]", "y"}], ",", 
     RowBox[{
      RowBox[{"t", "[", "5", "]"}], "\[Rule]", "y"}]}], "}"}]}], 
  "]"}]}], "Input"],

Cell[BoxData["\<\"Relation 11 - R2 - We will be off by a factor of x\"\>"], \
"Output",
 CellChangeTimes->{
  3.428666619715364*^9, {3.428666781560364*^9, 3.428666809361364*^9}, {
   3.428667678885364*^9, 3.428667680703364*^9}, 3.428667750122364*^9, 
   3.428667921384364*^9, 3.4286681465813637`*^9, 3.428671595042364*^9, {
   3.428671679056364*^9, 3.428671681412364*^9}, {3.428671724810364*^9, 
   3.428671726065364*^9}, 3.428671985604364*^9, 3.4381210155344*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "5", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", "y"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "5"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"-", "y"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"4", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3", ",", "5"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", "y"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"5", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"-", "y"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.428666619715364*^9, {3.428666781560364*^9, 3.428666809361364*^9}, {
   3.428667678885364*^9, 3.428667680703364*^9}, 3.428667750122364*^9, 
   3.428667921384364*^9, 3.4286681465813637`*^9, 3.428671595042364*^9, {
   3.428671679056364*^9, 3.428671681412364*^9}, {3.428671724810364*^9, 
   3.428671726065364*^9}, 3.428671985604364*^9, 3.4381210156233997`*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "5", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", "1"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "5"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"-", "1"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"4", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3", ",", "5"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", "1"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"5", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"-", "1"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.428666619715364*^9, {3.428666781560364*^9, 3.428666809361364*^9}, {
   3.428667678885364*^9, 3.428667680703364*^9}, 3.428667750122364*^9, 
   3.428667921384364*^9, 3.4286681465813637`*^9, 3.428671595042364*^9, {
   3.428671679056364*^9, 3.428671681412364*^9}, {3.428671724810364*^9, 
   3.428671726065364*^9}, 3.428671985604364*^9, 3.4381210157714*^9}],

Cell[BoxData[
 RowBox[{
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "5", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", "x"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"3", ",", "5"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "4", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"-", "x"}]}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"4", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3", ",", "5"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", "x"}], "]"}], "+", 
  RowBox[{"H", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"5", ",", "6"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "4"}], "}"}], ",", 
    RowBox[{"-", "x"}]}], "]"}]}]], "Output",
 CellChangeTimes->{
  3.428666619715364*^9, {3.428666781560364*^9, 3.428666809361364*^9}, {
   3.428667678885364*^9, 3.428667680703364*^9}, 3.428667750122364*^9, 
   3.428667921384364*^9, 3.4286681465813637`*^9, 3.428671595042364*^9, {
   3.428671679056364*^9, 3.428671681412364*^9}, {3.428671724810364*^9, 
   3.428671726065364*^9}, 3.428671985604364*^9, 3.4381210159014*^9}]
}, Open  ]],

Cell["\<\
At (Drors website) there is a newer faster easier to use program for this \
invariant on tangles.  At the moment it does not support chord diagrams or \
arrow diagrams.  \
\>", "Text",
 CellChangeTimes->{{3.4381215000354*^9, 3.4381215942204*^9}}]
}, Open  ]]
}, Open  ]]
},
WindowSize->{1264, 679},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
ShowSelection->True,
FrontEndVersion->"6.0 for Microsoft Windows (32-bit) (June 19, 2007)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[590, 23, 203, 2, 83, "Title"],
Cell[CellGroupData[{
Cell[818, 29, 108, 1, 71, "Section"],
Cell[929, 32, 15738, 398, 832, "Input"],
Cell[16670, 432, 419, 10, 92, "Input"],
Cell[CellGroupData[{
Cell[17114, 446, 3961, 115, 152, "Input"],
Cell[21078, 563, 199, 3, 30, "Output"]
}, Open  ]],
Cell[21292, 569, 68, 1, 31, "Input"],
Cell[CellGroupData[{
Cell[21385, 574, 2256, 64, 112, "Input"],
Cell[23644, 640, 581, 8, 30, "Output"],
Cell[24228, 650, 1586, 46, 30, "Output"],
Cell[25817, 698, 1586, 46, 30, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27440, 749, 3237, 98, 152, "Input"],
Cell[30680, 849, 502, 8, 30, "Output"],
Cell[31185, 859, 841, 21, 30, "Output"],
Cell[32029, 882, 845, 21, 30, "Output"],
Cell[32877, 905, 841, 21, 30, "Output"],
Cell[33721, 928, 841, 21, 30, "Output"],
Cell[34565, 951, 841, 21, 30, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[35443, 977, 2576, 77, 112, "Input"],
Cell[38022, 1056, 464, 7, 30, "Output"],
Cell[38489, 1065, 1471, 41, 30, "Output"],
Cell[39963, 1108, 1467, 41, 30, "Output"],
Cell[41433, 1151, 1467, 41, 30, "Output"]
}, Open  ]],
Cell[42915, 1195, 256, 5, 29, "Text"]
}, Open  ]]
}, Open  ]]
}
]
*)

(* End of internal cache information *)