(* 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[ 174883, 5114] NotebookOptionsPosition[ 166453, 4807] NotebookOutlinePosition[ 166821, 4823] CellTagsIndexPosition[ 166778, 4820] WindowFrame->Normal ContainsDynamic->False*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["\<\ A program to compute tMVA an extension of the MultiVariable Alexander \ polynomail to tangles.\ \>", "Title", CellChangeTimes->{{3.477585177915099*^9, 3.4775852107815657`*^9}}], Cell[CellGroupData[{ Cell["The program itself :", "Section", CellChangeTimes->{{3.477585223556428*^9, 3.477585229430661*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"Int", "[", RowBox[{"K_", ",", " ", "col_"}], "]"}], " ", ":=", " ", RowBox[{"K", " ", "/.", " ", RowBox[{"{", "\n", " ", RowBox[{ RowBox[{ RowBox[{"Pos", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", "col"}], "]"}], "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}], RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "b"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", "col"}], "]"}], "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}], RowBox[{"(", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", "-", " ", "1"}], ")"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "c"}], "}"}], "]"}]}], " ", "-", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], "^", RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}]}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", "col"}], "]"}], "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"b", ",", " ", "c"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", "^", RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}]}], RowBox[{"H", "[", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}], "]"}]}]}]}], ",", "\n", " ", "\n", " ", RowBox[{ RowBox[{"Neg", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", "^", RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}]}], RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "b"}], "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", "^", RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}]}], RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}], RowBox[{"H", "[", RowBox[{"{", RowBox[{"b", ",", " ", "c"}], "}"}], "]"}]}], " ", "+", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}], RowBox[{"(", " ", RowBox[{ RowBox[{"-", "1"}], " ", "+", " ", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}]}], ")"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"b", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}], RowBox[{"H", "[", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}], "]"}]}]}]}], ",", "\n", " ", "\n", " ", RowBox[{ RowBox[{"P", "[", RowBox[{"a_", ",", " ", "b_"}], "]"}], " ", "\[RuleDelayed]", " ", RowBox[{ RowBox[{"H", "[", RowBox[{"{", "a", "}"}], "]"}], " ", "-", " ", RowBox[{"H", "[", RowBox[{"{", "b", "}"}], "]"}]}]}], ",", "\n", " ", "\n", " ", RowBox[{ RowBox[{"CD", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], RowBox[{"(", RowBox[{ RowBox[{"-", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}]}], " ", "-", " ", RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}]}], ")"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "b"}], "}"}], "]"}]}], " ", "+", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "c"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], RowBox[{"(", RowBox[{ RowBox[{"-", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}]}], " ", "+", " ", RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}]}], ")"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], "*", RowBox[{"(", RowBox[{ RowBox[{"-", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}]}], " ", "+", " ", RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}]}], ")"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"b", ",", " ", "c"}], "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"b", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], "*", RowBox[{"(", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", "+", " ", RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}]}], ")"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}], "]"}]}]}]}], ",", "\n", " ", "\n", " ", RowBox[{ RowBox[{"Yc", "[", RowBox[{ "a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_", ",", " ", "e_", ",", " ", "f_"}], "]"}], " ", ":>", " ", RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}]}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "e", ",", " ", "b"}], "}"}], "]"}]}], " ", "+", " ", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "e", ",", " ", "f"}], "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "c", ",", " ", "b"}], "}"}], "]"}]}], " ", "+", " ", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "c", ",", " ", "d"}], "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "b", ",", " ", "f"}], "}"}], "]"}]}], " ", "-", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "b", ",", " ", "d"}], "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"e", ",", " ", "c", ",", " ", "f"}], "}"}], "]"}]}], " ", "+", " ", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"e", ",", " ", "c", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"e", ",", " ", "b", ",", " ", "f"}], "}"}], "]"}]}], " ", "-", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"c", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"e", ",", " ", "f", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"c", ",", " ", "b", ",", " ", "d"}], "}"}], "]"}]}], " ", "+", " ", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"f", ",", " ", "col"}], "]"}], " ", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"c", ",", " ", "f", ",", " ", "d"}], "}"}], "]"}]}]}]}], ",", "\n", " ", "\n", " ", RowBox[{ RowBox[{"Arr", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}]}], RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "b"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"b", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "c"}], "}"}], "]"}]}], " ", "-", "\[IndentingNewLine]", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"a", ",", " ", "d"}], "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], "*", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"b", ",", " ", "c"}], "}"}], "]"}]}], " ", "+", " ", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], "*", RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}], "]"}]}]}]}], ",", "\n", " ", "\n", " ", RowBox[{ RowBox[{"HBlob", "[", RowBox[{"a_", ",", " ", "b_"}], "]"}], " ", ":>", " ", RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", "a", "}"}], "]"}]}], " ", "-", " ", RowBox[{ RowBox[{"t", "[", RowBox[{"a", ",", " ", "col"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"{", "b", "}"}], "]"}]}]}]}]}], " ", "}"}]}]}], "\n", "\n"}], "\n", RowBox[{ RowBox[{ RowBox[{ RowBox[{"t", "[", RowBox[{"b_", ",", " ", "col_"}], "]"}], " ", ":=", " ", RowBox[{"x", "[", RowBox[{ RowBox[{"Position", "[", RowBox[{"col", ",", " ", "b"}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", " ", "1"}], "]"}], "]"}], "]"}]}], ";"}], "\n", "\n"}], "\n", RowBox[{ RowBox[{"Prod", "[", RowBox[{"{", "a_", "}"}], "]"}], " ", ":=", " ", "a"}], "\n", RowBox[{ RowBox[{ RowBox[{"Prod", "[", "l_List", "]"}], " ", ":=", " ", RowBox[{ RowBox[{"Distribute", "[", RowBox[{ RowBox[{"l", "[", RowBox[{"[", "1", "]"}], "]"}], " ", "**", " ", RowBox[{"Prod", "[", RowBox[{"Drop", "[", RowBox[{"l", ",", " ", "1"}], "]"}], "]"}]}], "]"}], " ", "/.", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"c1_.", " ", "*", " ", RowBox[{"H", "[", "g_List", "]"}]}], ")"}], " ", "**", " ", RowBox[{"(", RowBox[{"c2_.", " ", "*", " ", RowBox[{"H", "[", "k_List", "]"}]}], " ", ")"}]}], " ", "\[RuleDelayed]", "\[IndentingNewLine]", " ", RowBox[{"c1", " ", "c2", " ", RowBox[{"Signature", "[", RowBox[{"Join", "[", RowBox[{"g", ",", " ", "k"}], "]"}], "]"}], " ", RowBox[{"H", "[", RowBox[{"Sort", "[", RowBox[{"Join", "[", RowBox[{"g", ",", " ", "k"}], "]"}], "]"}], "]"}]}]}]}]}], "\n", "\n"}], "\n", RowBox[{ RowBox[{ RowBox[{"Proj", "[", RowBox[{"L_", ",", " ", "n_"}], "]"}], " ", ":=", " ", RowBox[{ RowBox[{"L", " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"H", "[", "l_List", "]"}], " ", "/;", " ", RowBox[{ RowBox[{"Take", "[", RowBox[{"l", ",", " ", "n"}], "]"}], " ", "!=", " ", RowBox[{"Range", "[", "n", "]"}]}]}], " ", "->", " ", "0"}]}], " ", "/.", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"H", "[", "l_List", "]"}], " ", ":>", " ", RowBox[{"H", "[", RowBox[{"Drop", "[", RowBox[{"l", ",", " ", "n"}], "]"}], "]"}]}]}]}], "\n"}], "\n", RowBox[{ RowBox[{ RowBox[{"Sig", "[", RowBox[{"K_", ",", " ", "n_"}], "]"}], " ", ":=", " ", RowBox[{"Signature", "[", RowBox[{"List", " ", "@@", " ", RowBox[{"Join", " ", "@@", " ", RowBox[{"Apply", "[", " ", RowBox[{"List", ",", " ", RowBox[{"K", " ", "/.", "\[IndentingNewLine]", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"Pos", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}]}], ",", " ", RowBox[{ RowBox[{"Neg", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}]}], ",", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"CD", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}]}], ",", " ", RowBox[{ RowBox[{"P", "[", RowBox[{"a_", ",", " ", "b_"}], "]"}], " ", ":>", " ", RowBox[{"{", "a", "}"}]}], ",", " ", RowBox[{ RowBox[{"Yc", "[", RowBox[{ "a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_", ",", " ", "e_", ",", " ", "f_"}], "]"}], " ", ":>", " ", RowBox[{"{", RowBox[{"b", ",", " ", "d", ",", " ", "f"}], "}"}]}], ",", " ", "\[IndentingNewLine]", RowBox[{ RowBox[{"Arr", "[", RowBox[{"a_", ",", " ", "b_", ",", " ", "c_", ",", " ", "d_"}], "]"}], " ", ":>", " ", RowBox[{"{", RowBox[{"c", ",", " ", "d"}], "}"}]}], ",", " ", RowBox[{ RowBox[{"HBlob", "[", RowBox[{"a_", ",", " ", "b_"}], "]"}], " ", ":>", " ", RowBox[{"{", "a", "}"}]}]}], "}"}]}], ",", " ", RowBox[{"{", "1", "}"}]}], "]"}]}]}], "]"}]}], "\n", "\n"}], "\n", RowBox[{ RowBox[{"AT", "[", RowBox[{"K_", ",", " ", "n_", ",", " ", "col_"}], "]"}], " ", ":=", " ", RowBox[{"Expand", "[", RowBox[{ RowBox[{"Proj", "[", RowBox[{ RowBox[{ RowBox[{"Sig", "[", RowBox[{"K", ",", " ", "n"}], "]"}], "*", RowBox[{"Prod", "[", RowBox[{"Int", "[", RowBox[{"K", ",", " ", "col"}], "]"}], "]"}]}], ",", " ", "n"}], "]"}], " ", "/.", "\[IndentingNewLine]", " ", RowBox[{ RowBox[{"H", "[", "l_List", "]"}], " ", ":>", " ", RowBox[{ RowBox[{"Signature", "[", "l", "]"}], " ", RowBox[{"H", "[", RowBox[{"Sort", "[", "l", "]"}], "]"}]}]}]}], "]"}]}]}], "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}, 3.4672996654621*^9, {3.4672997597017*^9, 3.4672997703877*^9}, { 3.4672998502285*^9, 3.4672998690577*^9}, {3.4672999793029003`*^9, 3.4673000290201*^9}, {3.4673001298585*^9, 3.4673001447253*^9}, { 3.4673002479505*^9, 3.4673002497757*^9}, {3.4673002848913*^9, 3.4673003283217*^9}, 3.4673003717988997`*^9, {3.4673004818101*^9, 3.4673005177993*^9}, {3.4673005816500998`*^9, 3.4673005928197002`*^9}, { 3.4673013711113*^9, 3.4673014494701*^9}, {3.4673018785013*^9, 3.4673018793281*^9}, {3.4673023243025*^9, 3.4673023280621*^9}, { 3.4673026472848997`*^9, 3.4673026475969*^9}, {3.4673213071101*^9, 3.4673213710857*^9}, {3.4673226063093*^9, 3.4673226113169003`*^9}, { 3.4673233240185003`*^9, 3.4673233803501*^9}, {3.4673235061797*^9, 3.4673235162417*^9}, {3.4673235807019*^9, 3.4673235960055*^9}, { 3.4673238339523*^9, 3.4673238341394997`*^9}, 3.4673239353522997`*^9, { 3.4673239722619*^9, 3.4673239727611*^9}, {3.4673247777523003`*^9, 3.4673248255663*^9}, 3.4673248679358997`*^9, {3.4673250471643*^9, 3.4673250857899*^9}, {3.4673251246338997`*^9, 3.4673251265215*^9}, 3.4673252739414997`*^9, 3.4673253557946997`*^9, 3.4673254663206997`*^9, { 3.4673255512783003`*^9, 3.4673255521987*^9}, {3.4673256276715*^9, 3.4673257043143*^9}, {3.4673257494763002`*^9, 3.4673257500223*^9}, { 3.4673260795723*^9, 3.4673260857187*^9}, {3.4673262126715*^9, 3.4673262155263*^9}, {3.4673300643554*^9, 3.4673301129182*^9}, { 3.4673305538677998`*^9, 3.4673306015102*^9}, {3.4673306772637997`*^9, 3.4673307246722*^9}, {3.4673307635318003`*^9, 3.4673307674161997`*^9}, { 3.4673308378501997`*^9, 3.4673308902974*^9}, {3.4673309541482*^9, 3.4673309677202*^9}, {3.4674875407024*^9, 3.4674875455849*^9}, { 3.4674877219349003`*^9, 3.4674877228248997`*^9}, {3.4674877974149*^9, 3.4674878028899*^9}, 3.4674878597249002`*^9, {3.4774833811384*^9, 3.4774834667668*^9}, {3.4774835071084003`*^9, 3.4774837217158003`*^9}, 3.4774840692394*^9, {3.477485719745*^9, 3.4774857224594*^9}, { 3.477486092507*^9, 3.477486093365*^9}, {3.477486276977*^9, 3.477486294917*^9}, 3.4774886968022003`*^9, {3.4775848659533443`*^9, 3.477584867918844*^9}, {3.4775922490661297`*^9, 3.47759225668213*^9}, { 3.4780359456258*^9, 3.4780361697008*^9}, {3.4780366892078*^9, 3.4780367138058*^9}, {3.478207224558584*^9, 3.4782072322805843`*^9}, { 3.479503777439*^9, 3.479503830361*^9}, {3.479505916811*^9, 3.479505983667*^9}}] }, {2}]], Cell[CellGroupData[{ Cell["Some Examples", "Section", CellChangeTimes->{{3.4774879279561996`*^9, 3.4774879308266*^9}}], Cell[CellGroupData[{ Cell["Example 8.1 - Computing tMVA for a tangle", "Subsection", CellChangeTimes->{{3.4774892452298*^9, 3.4774892765078*^9}, { 3.4781988219386*^9, 3.4781988238886003`*^9}, {3.480349525783594*^9, 3.4803495408475943`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Simplify", "[", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"9", ",", "8", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "3", ",", "5", ",", "4"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "7", ",", "6", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "8", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3", ",", "4"}], "}"}]}], "}"}]}], "]"}], "]"}]], "Input", CellChangeTimes->{{3.4781988298166*^9, 3.4781988370081997`*^9}}], Cell[BoxData[ RowBox[{ FractionBox["1", RowBox[{ RowBox[{"x", "[", "1", "]"}], " ", SqrtBox[ RowBox[{"x", "[", "2", "]"}]]}]], RowBox[{"(", RowBox[{ RowBox[{"-", RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "6", ",", "7"}], "}"}], "]"}]}], "-", RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "7", ",", "8"}], "}"}], "]"}], "+", RowBox[{"H", "[", RowBox[{"{", RowBox[{"6", ",", "7", ",", "8"}], "}"}], "]"}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "6", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "7", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"6", ",", "8", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"7", ",", "8", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "7", ",", "8"}], "}"}], "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"4", ",", "5", ",", "6"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"4", ",", "5", ",", "8"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"4", ",", "6", ",", "8"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "8", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"4", ",", "5", ",", "9"}], "}"}], "]"}], " ", SuperscriptBox[ RowBox[{"x", "[", "1", "]"}], "2"], " ", RowBox[{"x", "[", "2", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"4", ",", "8", ",", "9"}], "}"}], "]"}], " ", SuperscriptBox[ RowBox[{"x", "[", "1", "]"}], "2"], " ", RowBox[{"x", "[", "2", "]"}]}], "+", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"4", ",", "5", ",", "8"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", SuperscriptBox[ RowBox[{"x", "[", "2", "]"}], "2"]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "6", ",", "8"}], "}"}], "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{"x", "[", "3", "]"}]}], ")"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "6", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "3", "]"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"6", ",", "8", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "3", "]"}]}], "-", RowBox[{ RowBox[{"H", "[", RowBox[{"{", RowBox[{"5", ",", "8", ",", "9"}], "}"}], "]"}], " ", RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}], " ", RowBox[{"x", "[", "3", "]"}]}]}], ")"}]}]], "Output", CellChangeTimes->{ 3.477489311171*^9, 3.4775120723076*^9, 3.4775121212604*^9, 3.477513047526*^9, 3.4775131027335997`*^9, 3.47758487184864*^9, 3.4775919268551297`*^9, 3.4775935947103295`*^9, 3.47764663003619*^9, { 3.4780359956177998`*^9, 3.4780360210518*^9}, 3.4780360636858*^9, { 3.4780360987008*^9, 3.4780361145908003`*^9}, 3.4780361753157997`*^9, 3.4780365586478*^9, {3.4780367178648*^9, 3.4780367205508003`*^9}, { 3.4781988263845997`*^9, 3.478198837757*^9}, 3.4782072377561846`*^9, 3.4782088304179845`*^9, 3.4795059896730003`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 8.2 - Computing the MVA of a Link", "Subsection", CellChangeTimes->{{3.4774873740782003`*^9, 3.4774873808798*^9}, { 3.4781988491138*^9, 3.4781988500810003`*^9}, {3.480349546378594*^9, 3.480349549823594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Simplify", "[", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"7", ",", "9", ",", "8", ",", "10"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"11", ",", "8", ",", "9", ",", "1"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"1", ",", "4", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"5", ",", "2", ",", "6", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"3", ",", "6", ",", "4", ",", "7"}], "]"}]}], "}"}], ",", "9", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6", ",", "7", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "10", ",", "11"}], "}"}]}], "}"}]}], "]"}], "]"}]], "Input", CellChangeTimes->{{3.4774873916594*^9, 3.4774874021426*^9}, { 3.4774874923262*^9, 3.4774874928254004`*^9}, {3.4780361940508003`*^9, 3.4780362155458*^9}, {3.4781988602854*^9, 3.4781988637174*^9}}], Cell[BoxData[ FractionBox[ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"H", "[", RowBox[{"{", "10", "}"}], "]"}], "-", RowBox[{"H", "[", RowBox[{"{", "11", "}"}], "]"}]}], ")"}], " ", RowBox[{"(", RowBox[{"1", "-", RowBox[{"x", "[", "1", "]"}], "+", SuperscriptBox[ RowBox[{"x", "[", "1", "]"}], "2"]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "+", RowBox[{"x", "[", "2", "]"}]}], ")"}]}], SqrtBox[ RowBox[{"x", "[", "2", "]"}]]]], "Output", CellChangeTimes->{{3.4774873865582*^9, 3.477487402829*^9}, 3.4774874934962*^9, 3.4775120725104*^9, 3.4775121213696003`*^9, 3.4775130476352*^9, 3.477513102874*^9, 3.477584871923113*^9, 3.4775919269601297`*^9, 3.4775935948195295`*^9, 3.47764663020779*^9, { 3.4780361808188*^9, 3.4780362166088*^9}, 3.4780365651898003`*^9, 3.4780367313058*^9, {3.478198853281*^9, 3.4781988643570004`*^9}, 3.4782072379121847`*^9, 3.4782088305583844`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 8.3 - Verifying Relations ", "Subsection", CellChangeTimes->{{3.4774877573234*^9, 3.4774877775722*^9}, { 3.4803495571975937`*^9, 3.480349561153594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", RowBox[{"Simplify", "[", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "]"}], "+", RowBox[{"1", "/", RowBox[{"(", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], "]"}], ")"}]}]}], ")"}], "*", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "6"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4780362356948*^9, 3.4780363451918*^9}, { 3.4780363900067997`*^9, 3.4780364853518*^9}, {3.4780367448038*^9, 3.4780368156168003`*^9}, {3.4781988863374*^9, 3.4781989434178*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4774878108157997`*^9, 3.4775120725884*^9, 3.4775121215724*^9, 3.4775130477288*^9, 3.4775131029832*^9, 3.477584872041272*^9, 3.4775919270401297`*^9, 3.4775935948975296`*^9, 3.47764663028579*^9, 3.4780362281188*^9, {3.4780362597028*^9, 3.4780363468308*^9}, { 3.4780363962637997`*^9, 3.4780364861158*^9}, {3.4780367371238003`*^9, 3.4780368159188004`*^9}, {3.4781988784438*^9, 3.478198943917*^9}, 3.4782072382397842`*^9, 3.4782088307611847`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example 8.4 - The H Relations", "Subsection", CellChangeTimes->{{3.4774878343406*^9, 3.4774878515474*^9}, 3.4803495705065937`*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "7", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"9", ",", "5", ",", "8", ",", "4", ",", "6", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Yc", "[", RowBox[{"9", ",", "5", ",", "8", ",", "4", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"6", ",", "7", ",", "1", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"7", ",", "9", ",", "3", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"2", ",", "1"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"4", ",", "8"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "8", ",", "2", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"3", ",", "7"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"5", ",", "9"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "9", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"3", ",", "7"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"4", ",", "8"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"7", ",", "8", ",", "3", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"5", ",", "9"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.4774878674282*^9, 3.477487892825*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.477487862093*^9, 3.477487893449*^9}, 3.4775120727444*^9, 3.4775121217752*^9, 3.4775130478848*^9, 3.477513103108*^9, 3.477584872153881*^9, 3.4775919272051296`*^9, 3.4775935950535297`*^9, 3.47764663044179*^9, 3.4780366317908*^9, 3.4780368382757998`*^9, 3.4781989536563997`*^9, 3.478207238380184*^9, 3.4782088309015846`*^9}] }, Open ]] }, Open ]] }, Open ]], Cell[" Testing the program ", "Section", CellChangeTimes->{{3.4381206660064*^9, 3.4381207086384*^9}, { 3.4381207759344*^9, 3.4381207862033997`*^9}, {3.4674891065488997`*^9, 3.4674891094568996`*^9}, {3.4766534214084*^9, 3.4766534246544*^9}}], Cell[CellGroupData[{ Cell["Checking the Reidemeister Moves", "Section"], Cell[CellGroupData[{ Cell["R1 ", "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"4", ",", "2", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}], "===", RowBox[{"Expand", "[", RowBox[{ RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.477485807027*^9, 3.4774858140782003`*^9}, { 3.4780366486308002`*^9, 3.4780366745208*^9}, {3.4781989673104*^9, 3.4781989772164*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4771441178378*^9, 3.4771441255338*^9}, { 3.4771441715718*^9, 3.4771441809608*^9}, 3.4773250773608*^9, 3.4773353689087*^9, 3.4773356050667*^9, 3.4774832732854*^9, 3.4774837352722*^9, 3.4774840868856*^9, 3.4774842990612*^9, 3.477487945085*^9, 3.4775120728224*^9, 3.4775121249888*^9, 3.4775130479628*^9, 3.477513103186*^9, 3.477584872169956*^9, 3.4775919273821297`*^9, 3.47759359513153*^9, 3.4776466305197897`*^9, { 3.4780366501837997`*^9, 3.4780366748658*^9}, 3.4780368409778*^9, { 3.478198961164*^9, 3.4781989777156*^9}, 3.4782072385673847`*^9, 3.4782088309795847`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["R2", "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "3", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"Expand", "[", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "3", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.4780368642497997`*^9, 3.4780368733157997`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4771441716478*^9, 3.4771441810048*^9}, 3.4773250774258003`*^9, 3.4773353689707003`*^9, 3.4773356051317*^9, 3.4774832788389997`*^9, 3.4774837353658*^9, 3.4774840899744*^9, 3.4774842991548*^9, 3.4774879452254*^9, 3.4775120728848*^9, 3.477512125098*^9, 3.4775130480252*^9, 3.4775131032328*^9, 3.477584872187215*^9, 3.47759192745313*^9, 3.47759359520953*^9, 3.47764663059779*^9, {3.4780368603398*^9, 3.4780368738658*^9}, 3.4781989821303997`*^9, 3.4782072386609845`*^9, 3.4782088310419846`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["R3", "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"9", ",", "8", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "3", ",", "5", ",", "4"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "7", ",", "6", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "8", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3", ",", "4"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"8", ",", "7", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"2", ",", "1", ",", "6", ",", "5"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"9", ",", "3", ",", "2", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "8", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3", ",", "4"}], "}"}]}], "}"}]}], "]"}]}]], "Input"], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4771441717178*^9, 3.4771441811498003`*^9}, 3.4773250774807997`*^9, 3.4773353690636997`*^9, 3.4773356052447*^9, 3.4774832810074*^9, 3.4774837354906*^9, 3.4774840962144003`*^9, 3.4774842992483997`*^9, 3.4774879452878*^9, 3.4775120729472*^9, 3.4775121252072*^9, 3.4775130481032*^9, 3.4775131033108*^9, 3.477584872289934*^9, 3.4775919275471296`*^9, 3.4775935953187294`*^9, 3.47764663067579*^9, 3.4780368765137997`*^9, 3.4781989844392*^9, 3.4782072388013844`*^9, 3.4782088311979847`*^9}] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Checking the relations in Table 1", "Section", CellChangeTimes->{{3.4674893242129*^9, 3.4674893383099003`*^9}, { 3.4771440815648003`*^9, 3.4771441628768*^9}}], Cell[CellGroupData[{ Cell["The Skein Relation", "Subsection", CellChangeTimes->{{3.4674892221869*^9, 3.4674892539379*^9}, 3.4781989861084003`*^9, 3.4803495839135942`*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Pos", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Neg", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}], "-", RowBox[{"1", "/", RowBox[{"(", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}], ")"}]}]}], ")"}], "*", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"2", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "4"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}]}], ",", RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}]}], "]"}], "===", "0"}]], "Input",\ CellChangeTimes->{ 3.4674892741249*^9, {3.4674893888159*^9, 3.4674893959428997`*^9}, { 3.4774832899306*^9, 3.4774832902581997`*^9}, {3.4780368864358*^9, 3.4780369135568*^9}, {3.4780377327928*^9, 3.4780378027427998`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4674893967499*^9, 3.4674896120059*^9, 3.4675002851301003`*^9, 3.46753978141121*^9, 3.4675434219266*^9, 3.4678204552165003`*^9, 3.4766534272244*^9, 3.4773250775257998`*^9, 3.4773353691127*^9, 3.4773356053007*^9, {3.4774832848606*^9, 3.4774832908198*^9}, 3.4774837355842*^9, 3.4774840994124002`*^9, 3.477484299342*^9, 3.4774880838782*^9, 3.4775120730095997`*^9, 3.4775121277656*^9, 3.4775130481968*^9, 3.4775131033732*^9, 3.47758487239466*^9, 3.4775919276241293`*^9, 3.47759359542793*^9, 3.4776466307381897`*^9, { 3.4780368814588003`*^9, 3.4780368872838*^9}, {3.4780377373708*^9, 3.4780377547827997`*^9}, {3.4780377973778*^9, 3.4780378033528*^9}, 3.4781989879024*^9, 3.4782072388793845`*^9, 3.4782088312915845`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Conway's second identity - version 1", "Subsection", CellChangeTimes->{{3.4674894096879*^9, 3.4674894564839*^9}, { 3.4782092855167847`*^9, 3.4782092989015846`*^9}, {3.47863557855*^9, 3.478635580083*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", "[", "1", "]"}], " ", RowBox[{"x", "[", "2", "]"}]}], ")"}], "^", RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", "[", "1", "]"}], RowBox[{"x", "[", "2", "]"}]}], ")"}], "^", RowBox[{"(", RowBox[{ RowBox[{"-", "1"}], "/", "2"}], ")"}]}]}], ")"}], "*", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "6"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "6"}], "}"}]}], "}"}]}], "]"}]}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", "0"}]], "Input", CellChangeTimes->{ 3.4674894641779003`*^9, 3.4674895012339*^9, 3.4674897501104*^9, { 3.4780371489158*^9, 3.4780373211668*^9}, {3.4780374418238*^9, 3.4780375461488*^9}, {3.4780376712408*^9, 3.4780377244498*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4780375235748*^9, 3.4780375473278*^9}, { 3.4780377169138002`*^9, 3.4780377248778*^9}, 3.4781989926916*^9, 3.4782072390041847`*^9, 3.4782088314163847`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Conway's second identity - version 2", "Subsection", CellChangeTimes->{{3.4773318409258003`*^9, 3.4773318439365997`*^9}, { 3.4782093030667844`*^9, 3.4782093135499845`*^9}, {3.478635573729*^9, 3.4786355749379997`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"1", ",", "6", ",", "3", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "5", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"1", ",", "6", ",", "3", ",", "2"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"2", ",", "5", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"x", "[", "1", "]"}], "/", RowBox[{"x", "[", "2", "]"}]}], "]"}], "+", RowBox[{"Sqrt", "[", RowBox[{ RowBox[{"x", "[", "2", "]"}], "/", RowBox[{"x", "[", "1", "]"}]}], "]"}]}], ")"}], " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"4", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "6"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "5"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}]}], "}"}]}], "]"}]}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.4773318523138*^9, 3.4773318671338*^9}, { 3.4773319792354*^9, 3.4773320071126003`*^9}, {3.4781990003512*^9, 3.4781991034983997`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4773320453326*^9, 3.4773353692867002`*^9, 3.4773356054467*^9, 3.4774832970442*^9, 3.4774837357869997`*^9, 3.4774841032344*^9, 3.4774842995604*^9, 3.4774880840654*^9, 3.4775120731344*^9, 3.4775121279216003`*^9, 3.4775130484776*^9, 3.4775131035136003`*^9, 3.4775848726115437`*^9, 3.4775919278641295`*^9, 3.4775935956151295`*^9, 3.47764663087859*^9, {3.4781989945480003`*^9, 3.4781990100544*^9}, { 3.478199043766*^9, 3.47819910406*^9}, 3.4782072392069845`*^9, 3.4782088315567846`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Conways third identity- (only one version included)", "Subsection", CellChangeTimes->{{3.478635539652*^9, 3.478635594407*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Factor", "[", RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"9", ",", "3", ",", "1", ",", "4"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"1", ",", "2", ",", "6", ",", "5"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"8", ",", "7", ",", "2", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "2", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"9", ",", "8", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"1", ",", "7", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"3", ",", "2", ",", "5", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "3", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"9", ",", "3", ",", "1", ",", "4"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"8", ",", "7", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "2", ",", "6", ",", "5"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "2", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"9", ",", "8", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "7", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"3", ",", "2", ",", "5", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "3", ",", "5"}], "}"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "3", "]"}], ">", "0"}]}], "}"}]}], "]"}], "]"}], "===", "0"}]], "Input", CellChangeTimes->{{3.4781991559300003`*^9, 3.4781991687376003`*^9}, { 3.4781992536328*^9, 3.4781996163171997`*^9}, {3.4781996604184*^9, 3.4781997370612*^9}, {3.4781997677932*^9, 3.478199800678*^9}, { 3.4782002810332003`*^9, 3.4782003309532003`*^9}, {3.478200871618*^9, 3.4782009505072002`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4781993048943996`*^9, {3.4781993608515997`*^9, 3.4781993750632*^9}, 3.4781994505516*^9, 3.47819949913*^9, {3.4781995305484*^9, 3.4781996170972*^9}, {3.4781996834128*^9, 3.4781997377164*^9}, { 3.4781997864820004`*^9, 3.4781998017855997`*^9}, {3.4782002864932003`*^9, 3.478200331546*^9}, {3.4782008909152*^9, 3.4782009512248*^9}, 3.4782074401037846`*^9, 3.4782090416419845`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["J. Murakami' s Fifth Axiom", "Subsection", CellChangeTimes->{{3.4788165315098057`*^9, 3.4788165353348055`*^9}, { 3.4788165712978053`*^9, 3.4788165757458057`*^9}, {3.480349621799594*^9, 3.480349622349594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Simplify", "[", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"2", ",", "5", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"3", ",", "1", ",", "4", ",", "2"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "3", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}]}], "}"}]}], "]"}], "]"}], "===", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", "[", "1", "]"}], "-", "1"}], ")"}], "/", RowBox[{"(", RowBox[{ RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}], RowBox[{"Sqrt", "[", RowBox[{"x", "[", "2", "]"}], "]"}]}], ")"}]}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"4", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"3", ",", "5"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "5"}], "}"}], "}"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.4788165834578056`*^9, 3.478816599385805*^9}, { 3.4788167039158053`*^9, 3.478816813182805*^9}, {3.4788168780758057`*^9, 3.4788169437958055`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4788167638658056`*^9, {3.4788167955268054`*^9, 3.478816813708805*^9}, 3.4788169444038057`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["J. Murakami's Third Axiom", "Subsection", CellChangeTimes->{{3.478639760329*^9, 3.47863978587*^9}, { 3.480349629717594*^9, 3.480349632658594*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"t", "[", "1", "]"}], "=", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"t", "[", "2", "]"}], "=", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "2", "]"}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"t", "[", "3", "]"}], "=", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "3", "]"}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "[", "1", "]"}], "+", RowBox[{ RowBox[{"t", "[", "1", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"t", "[", "2", "]"}], "-", RowBox[{ RowBox[{"t", "[", "2", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"11", ",", "10", ",", "3", ",", "4"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"3", ",", "9", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "1", ",", "6", ",", "5"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"4", ",", "5", ",", "7", ",", "8"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "4", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "3", ",", "1", ",", "5", ",", "8"}], "}"}]}], "}"}]}], "]"}]}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "[", "2", "]"}], "-", RowBox[{ RowBox[{"t", "[", "2", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"t", "[", "3", "]"}], "+", RowBox[{ RowBox[{"t", "[", "3", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"10", ",", "9", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"11", ",", "2", ",", "5", ",", "3"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"3", ",", "5", ",", "4", ",", "8"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"4", ",", "1", ",", "6", ",", "7"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "2", ",", "3", ",", "4", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "1", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5", ",", "8"}], "}"}]}], "}"}]}], "]"}]}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ RowBox[{"t", "[", "1", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}], " ", RowBox[{"t", "[", "3", "]"}]}], "-", RowBox[{ RowBox[{"t", "[", "1", "]"}], " ", RowBox[{ RowBox[{"t", "[", "3", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"10", ",", "9", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "1", ",", "6", ",", "3"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"11", ",", "3", ",", "4", ",", "5"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"5", ",", "4", ",", "7", ",", "8"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "1", ",", "3", ",", "5", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "4", ",", "8"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"11", ",", "10", ",", "4", ",", "5"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"5", ",", "4", ",", "3", ",", "8"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"3", ",", "9", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "1", ",", "6", ",", "7"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "5", ",", "3", ",", "1", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "4", ",", "8"}], "}"}]}], "}"}]}], "]"}]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ RowBox[{"t", "[", "1", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}], " ", RowBox[{"t", "[", "2", "]"}], " ", RowBox[{"t", "[", "3", "]"}]}], "-", RowBox[{ RowBox[{"t", "[", "1", "]"}], " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "[", "2", "]"}], " ", RowBox[{"t", "[", "3", "]"}]}], ")"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"t", "[", "3", "]"}], "+", RowBox[{ RowBox[{"t", "[", "3", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"10", ",", "9", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "1", ",", "6", ",", "7"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"8", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"5", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"3", ",", "11"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "2", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "1", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "3", ",", "4", ",", "5", ",", "11"}], "}"}]}], "}"}]}], "]"}]}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "[", "1", "]"}], "+", RowBox[{ RowBox[{"t", "[", "1", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"t", "[", "1", "]"}], " ", RowBox[{"t", "[", "2", "]"}], " ", RowBox[{ RowBox[{"t", "[", "3", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], "-", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "[", "1", "]"}], " ", RowBox[{"t", "[", "2", "]"}]}], ")"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}], " ", RowBox[{"t", "[", "3", "]"}]}]}], ")"}], " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"6", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"5", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"3", ",", "9"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"11", ",", "10", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "1", ",", "7", ",", "8"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "6", ",", "5", ",", "4", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "2", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "1", ",", "8"}], "}"}]}], "}"}]}], "]"}]}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"t", "[", "1", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}], " ", RowBox[{"t", "[", "3", "]"}]}], ")"}], "^", "2"}], "-", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"t", "[", "1", "]"}], " ", RowBox[{ RowBox[{"t", "[", "3", "]"}], "^", RowBox[{"(", RowBox[{"-", "1"}], ")"}]}]}], ")"}], "^", "2"}]}], ")"}], " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"6", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "9"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"7", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "10"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"8", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"5", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"3", ",", "11"}], "]"}]}], "}"}], ",", "5", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "2", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "8", ",", "5", ",", "4", ",", "3"}], "}"}]}], "}"}]}], "]"}]}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "3", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", "0"}], "\n"}], "Input", CellChangeTimes->{{3.4786397928050003`*^9, 3.478639792928*^9}, { 3.4788075765318055`*^9, 3.4788075801838055`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.478807581623805*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Naik-Stanford doubled delta move", "Subsection", CellChangeTimes->{{3.4674895082219*^9, 3.4674895211659*^9}, { 3.480349641799594*^9, 3.480349646703594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"14", ",", " ", "24", ",", " ", "25", ",", " ", "15"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"15", ",", " ", "26", ",", " ", "16", ",", " ", "7"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"8", ",", " ", "16", ",", " ", "27", ",", " ", "17"}], "]"}], ",", " ", "\n", " ", RowBox[{"Pos", "[", RowBox[{"17", ",", " ", "28", ",", " ", "29", ",", " ", "18"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"6", ",", " ", "13", ",", " ", "23", ",", " ", "14"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"7", ",", " ", "2", ",", " ", "1", ",", " ", "6"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"9", ",", " ", "3", ",", " ", "2", ",", " ", "8"}], "]"}], ",", " ", "\n", " ", RowBox[{"Neg", "[", RowBox[{"18", ",", " ", "30", ",", " ", "10", ",", " ", "9"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"5", ",", " ", "1", ",", " ", "3", ",", " ", "4"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"12", ",", " ", "22", ",", " ", "13", ",", " ", "5"}], "]"}], ",", " ", "\n", " ", RowBox[{"Neg", "[", RowBox[{"4", ",", " ", "10", ",", " ", "19", ",", " ", "11"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"11", ",", " ", "20", ",", " ", "21", ",", " ", "12"}], "]"}]}], "}"}], ",", " ", "\n", " ", "18", ",", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "24", ",", " ", "15", ",", " ", "16", ",", " ", "17", ",", " ", "29", ",", " ", "30", ",", " ", "9", ",", " ", "2", ",", " ", "6", ",", " ", "23"}], "}"}], ",", " ", RowBox[{"{", RowBox[{ "25", ",", " ", "14", ",", " ", "13", ",", " ", "12", ",", " ", "20", ",", " ", "19", ",", " ", "4", ",", " ", "1", ",", " ", "\n", " ", "7", ",", " ", "26"}], "}"}], ",", " ", RowBox[{"{", RowBox[{ "21", ",", " ", "11", ",", " ", "10", ",", " ", "18", ",", " ", "28", ",", " ", "27", ",", " ", "8", ",", " ", "3", ",", " ", "5", ",", " ", "22"}], "}"}]}], "}"}]}], "]"}], " ", "===", " ", "\n", " ", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"17", ",", " ", "26", ",", " ", "27", ",", " ", "18"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"10", ",", " ", "9", ",", " ", "25", ",", " ", "17"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"18", ",", " ", "28", ",", " ", "12", ",", " ", "11"}], "]"}], ",", " ", "\n", " ", RowBox[{"Pos", "[", RowBox[{"11", ",", " ", "3", ",", " ", "2", ",", " ", "10"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"16", ",", " ", "24", ",", " ", "9", ",", " ", "8"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"8", ",", " ", "2", ",", " ", "1", ",", " ", "7"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"5", ",", " ", "1", ",", " ", "3", ",", " ", "4"}], "]"}], ",", " ", "\n", " ", RowBox[{"Neg", "[", RowBox[{"4", ",", " ", "12", ",", " ", "29", ",", " ", "13"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"15", ",", " ", "22", ",", " ", "23", ",", " ", "16"}], "]"}], ",", " ", RowBox[{"Neg", "[", RowBox[{"7", ",", " ", "6", ",", " ", "21", ",", " ", "15"}], "]"}], ",", " ", "\n", " ", RowBox[{"Neg", "[", RowBox[{"14", ",", " ", "20", ",", " ", "6", ",", " ", "5"}], "]"}], ",", " ", RowBox[{"Pos", "[", RowBox[{"13", ",", " ", "30", ",", " ", "19", ",", " ", "14"}], "]"}]}], "}"}], ",", " ", "\n", " ", "18", ",", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "24", ",", " ", "8", ",", " ", "1", ",", " ", "4", ",", " ", "29", ",", " ", "30", ",", " ", "14", ",", " ", "6", ",", " ", "15", ",", " ", "23"}], "}"}], ",", " ", RowBox[{"{", RowBox[{ "25", ",", " ", "10", ",", " ", "3", ",", " ", "5", ",", " ", "20", ",", " ", "19", ",", " ", "13", ",", " ", "12", ",", " ", "\n", " ", "18", ",", " ", "26"}], "}"}], ",", " ", RowBox[{"{", RowBox[{ "21", ",", " ", "7", ",", " ", "2", ",", " ", "11", ",", " ", "28", ",", " ", "27", ",", " ", "17", ",", " ", "9", ",", " ", "16", ",", " ", "22"}], "}"}]}], "}"}]}], "]"}]}], "\[LineSeparator]"}]], "Input", CellChangeTimes->{{3.4674895251889*^9, 3.4674895545009003`*^9}, { 3.4774833178389997`*^9, 3.4774833193054*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.47748445737*^9, 3.4774882434974003`*^9, 3.4775122974779997`*^9, 3.4775132667052*^9, 3.477584929626927*^9, 3.4775921441471295`*^9, 3.47759376423553*^9, 3.47764664182979*^9, 3.4780370623148003`*^9, 3.4781992950352*^9, 3.4782074395889845`*^9, 3.4782090413455844`*^9}] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Relations for Virtual Knots and Links", "Section", CellChangeTimes->{{3.4788110252588053`*^9, 3.478811040114805*^9}}], Cell[CellGroupData[{ Cell["The MVA is a Welded knot invariant", "Subsubsection", CellChangeTimes->{{3.4674896750109*^9, 3.4674897198824*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"5", ",", "6", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "7", ",", "2", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "3"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"5", ",", "7", ",", "1", ",", "4"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"1", ",", "6", ",", "2", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"5", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "3"}], "}"}]}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4674897240783997`*^9, 3.4674897486373997`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.4674897554644003`*^9, 3.4675002852237*^9, 3.4675397815048103`*^9, 3.4678204599915*^9, 3.4766534273674*^9, 3.4773250776408*^9, 3.4773353693517*^9, 3.4773356055207*^9, 3.4774839319533997`*^9, 3.4774842617148*^9, 3.4774844576352*^9, 3.4774882435754004`*^9, 3.4775122976028*^9, 3.4775132667988*^9, 3.477584929854952*^9, 3.4775921444871297`*^9, 3.47759376445393*^9, 3.4780371285248003`*^9, 3.47819929516*^9, 3.4782074397449846`*^9, 3.4782090413767843`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Virtual versions of Conway's two second relation", "Subsection", CellChangeTimes->{{3.478807891213805*^9, 3.4788079031488056`*^9}, { 3.4788079968908052`*^9, 3.4788080088048058`*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Pos", "[", RowBox[{"3", ",", "4", ",", "2", ",", "1"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "4"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Neg", "[", RowBox[{"4", ",", "3", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "4"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"1", "+", RowBox[{"x", "[", "1", "]"}]}], ")"}], "/", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}]}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"2", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "4"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "4"}], "}"}]}], "}"}]}], "]"}]}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", "0"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Pos", "[", RowBox[{"4", ",", "3", ",", "2", ",", "1"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Neg", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"2", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "3"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}]}], "}"}]}], "]"}], RowBox[{ RowBox[{"(", RowBox[{"1", "+", RowBox[{"x", "[", "1", "]"}]}], ")"}], "/", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "1", "]"}], "]"}]}]}]}]}], "Input", CellChangeTimes->{ 3.4788079062548056`*^9, 3.4788079529058056`*^9, {3.4788079913988056`*^9, 3.4788080565588055`*^9}, {3.4788085776598053`*^9, 3.478808580807805*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4788080145358057`*^9, 3.4788080575608053`*^9}, 3.4788085819768057`*^9}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4788080145358057`*^9, 3.4788080575608053`*^9}, 3.478808581984805*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["A virtual version of Conway's third relation", "Subsection", CellChangeTimes->{{3.478807464149805*^9, 3.478807465062805*^9}, { 3.4788075330428057`*^9, 3.478807542208805*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"7", ",", "5", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"1", ",", "6", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"1", ",", "5", ",", "3", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"7", ",", "6", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"6", ",", "5", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"7", ",", "1", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"1", ",", "5", ",", "4", ",", "2"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"7", ",", "6", ",", "1", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "2", "]"}], ">", "0"}], ",", RowBox[{ RowBox[{"x", "[", "3", "]"}], ">", "0"}]}], "}"}]}], "]"}], "===", "0"}]], "Input", CellChangeTimes->{{3.4788065260648055`*^9, 3.4788065812448053`*^9}, { 3.4788074338118057`*^9, 3.4788074432758055`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.478806570859805*^9, 3.4788065828938055`*^9}, 3.4788074440948057`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Virtual versions of J. Murakami' s Fifth Axiom", "Subsection", CellChangeTimes->{{3.4788110666608057`*^9, 3.4788110887188053`*^9}, { 3.478814400642805*^9, 3.478814404833805*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"Simplify", "[", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"2", ",", "1"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"4", ",", "2", ",", "3", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "}"}]}], "]"}], "]"}], "===", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", "[", "2", "]"}], "-", "1"}], ")"}], "/", RowBox[{"Sqrt", "[", RowBox[{"x", "[", "2", "]"}], "]"}]}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"2", ",", "1"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"4", ",", "2", ",", "3", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "}"}]}], "]"}], "===", "0"}]}], "Input", CellChangeTimes->{{3.4788107652978053`*^9, 3.478810787555805*^9}, { 3.4788108661838055`*^9, 3.478810950149805*^9}, {3.4788109908398056`*^9, 3.4788110010548058`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4788109326768055`*^9, 3.4788109506338053`*^9}, { 3.4788109938098054`*^9, 3.478811001616805*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4788109326768055`*^9, 3.4788109506338053`*^9}, { 3.4788109938098054`*^9, 3.4788110016208057`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Virtual N-S doubled delta move", "Subsubsection", CellChangeTimes->{{3.4674897622474003`*^9, 3.4674897755554*^9}, { 3.480349673159594*^9, 3.4803496811055937`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"6", ",", "9", ",", "10", ",", "1"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"1", ",", "11", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"8", ",", "2", ",", "12", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"3", ",", "13", ",", "4", ",", "7"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "2", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "10", ",", "5", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "12", ",", "7", ",", "13"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"8", ",", "9", ",", "12", ",", "1"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"1", ",", "13", ",", "2", ",", "7"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"6", ",", "2", ",", "10", ",", "3"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"3", ",", "11", ",", "4", ",", "5"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"9", ",", "1", ",", "2", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "10", ",", "5", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"8", ",", "12", ",", "7", ",", "13"}], "}"}]}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4674899912864*^9, 3.4674902789133997`*^9}, { 3.4674903151534*^9, 3.4674903450234003`*^9}, 3.4674904377959003`*^9, { 3.4674905632159*^9, 3.4674905842284*^9}, {3.4674925968325*^9, 3.4674927188245*^9}, 3.4675398066832104`*^9}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4674927205873003`*^9, 3.4675002854733*^9, {3.46753978177001*^9, 3.46753980841481*^9}, 3.4678204615815*^9, 3.4766534286514*^9, 3.4773250787008*^9, 3.4773353746137*^9, 3.4773356072407*^9, 3.4774839321406*^9, 3.4774844578224*^9, 3.4774882437158003`*^9, 3.4775122977588*^9, 3.4775132669392*^9, 3.477584930065873*^9, 3.4775921447001295`*^9, 3.4775937647035294`*^9, 3.4780371313448*^9, 3.4781992954096003`*^9, 3.478207439932184*^9, 3.4782090415171843`*^9}] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Another virtual N - S delta move", "Subsection", CellChangeTimes->{{3.4791651724866056`*^9, 3.479165187016606*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Neg", "[", RowBox[{"18", ",", "7", ",", "1", ",", "12"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"19", ",", "1", ",", "8", ",", "2"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"2", ",", "9", ",", "3", ",", "13"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"20", ",", "3", ",", "10", ",", "14"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"22", ",", "6", ",", "7", ",", "11"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"5", ",", "8", ",", "6", ",", "15"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"17", ",", "4", ",", "9", ",", "5"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"21", ",", "10", ",", "4", ",", "16"}], "]"}]}], "}"}], ",", "10", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "1", ",", "2", ",", "3", ",", "14", ",", "18", ",", "11", ",", "6", ",", "5", ",", "4", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "7", ",", "22", ",", "15", ",", "8", ",", "19"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "9", ",", "17", ",", "16", ",", "10", ",", "20"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Pos", "[", RowBox[{"18", ",", "9", ",", "1", ",", "13"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"20", ",", "1", ",", "10", ",", "2"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"2", ",", "7", ",", "3", ",", "12"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"19", ",", "3", ",", "8", ",", "14"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"17", ",", "6", ",", "9", ",", "11"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"5", ",", "10", ",", "6", ",", "16"}], "]"}], ",", RowBox[{"Pos", "[", RowBox[{"22", ",", "4", ",", "7", ",", "5"}], "]"}], ",", RowBox[{"Neg", "[", RowBox[{"21", ",", "19", ",", "4", ",", "15"}], "]"}]}], "}"}], ",", "10", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "1", ",", "2", ",", "3", ",", "14", ",", "18", ",", "11", ",", "6", ",", "5", ",", "4", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "7", ",", "22", ",", "15", ",", "8", ",", "19"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "9", ",", "17", ",", "16", ",", "10", ",", "20"}], "}"}]}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.479164505726606*^9, 3.4791645266696057`*^9}, { 3.479164730615606*^9, 3.4791650675316057`*^9}, {3.479165107365606*^9, 3.479165129846606*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.479164931659606*^9, {3.4791650688946056`*^9, 3.4791650791466055`*^9}, { 3.479165117956606*^9, 3.479165139464606*^9}}] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Checking the Relations in Table 3", "Section", CellChangeTimes->{{3.4674896274784*^9, 3.4674896527534*^9}, { 3.4791651682686057`*^9, 3.4791651684266057`*^9}}], Cell[CellGroupData[{ Cell["The 4 T realtion.", "Subsection", CellChangeTimes->{{3.4773338861326*^9, 3.4773338947594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "6", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"5", ",", "7", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "7", ",", "2", ",", "4"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"5", ",", "6", ",", "1", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"7", ",", "1", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"7", ",", "6", ",", "4", ",", "1"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"5", ",", "1", ",", "2", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}]}], "}"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.4773338988622*^9, 3.477334080727*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4773340476549997`*^9, 3.4773340813198*^9}, 3.4773353756547003`*^9, 3.4773356073917*^9, 3.4774839322497997`*^9, 3.4774844579316*^9, 3.4775122979147997`*^9, 3.4775132670327997`*^9, 3.477584930333076*^9, 3.47759214482613*^9, 3.47759376489073*^9, 3.4782074401973844`*^9, 3.4782090416887846`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["The smoothing relation", "Subsection", CellChangeTimes->{{3.4678216298655*^9, 3.4678216341045*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"CD", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}], "===", RowBox[{"Expand", "[", RowBox[{ RowBox[{"x", "[", "1", "]"}], "*", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"1", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "3"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4678216452415*^9, 3.4678217141865*^9}, { 3.4678218780115*^9, 3.4678218956654997`*^9}, {3.4774839699238*^9, 3.4774839710938*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4678216978605003`*^9, 3.4678217153595*^9}, { 3.4678218913295*^9, 3.4678218961925*^9}, 3.4766534288374*^9, 3.4773250788208*^9, 3.4773353758136997`*^9, 3.4773356074377003`*^9, 3.4774839322966003`*^9, 3.4774844579784*^9, 3.4775122979616003`*^9, 3.4775132670796003`*^9, 3.4775849303470163`*^9, 3.4775921449081297`*^9, 3.47759376495313*^9, 3.4782074402753844`*^9, 3.4782090416887846`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["CD consequence of Conway's third relation.", "Subsection", CellChangeTimes->{{3.4678222731345*^9, 3.4678222758665*^9}, { 3.480349700777594*^9, 3.480349722865594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"5", ",", "6", ",", "1", ",", "2"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "2", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "6", ",", "3", ",", "2"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"5", ",", "2", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{"Expand", "[", RowBox[{ RowBox[{"x", "[", "1", "]"}], RowBox[{"x", "[", "2", "]"}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "6"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "3", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4678222871495*^9, 3.4678224325385*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4678224085955*^9, 3.4678224329554996`*^9}, 3.4766534291004*^9, 3.4773250789108*^9, 3.4773353759187*^9, 3.4773356074987*^9, 3.4774839323746*^9, 3.4774844580252*^9, 3.4775122980396*^9, 3.4775132671264*^9, 3.477584930433033*^9, 3.4775921450211296`*^9, 3.4775937650467296`*^9, 3.4782074403533845`*^9, 3.478209041719984*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["No Deep Vertices 1", "Subsection", CellChangeTimes->{{3.477175845392214*^9, 3.4771758507430134`*^9}, { 3.480349732602594*^9, 3.480349740247594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"HBlob", "[", RowBox[{"3", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"2", ",", "1"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"7", ",", "5", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "2", ",", "5"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"HBlob", "[", RowBox[{"3", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"1", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"7", ",", "1", ",", "4", ",", "2"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "2", ",", "5"}], "}"}]}], "}"}]}], "]"}]}]], "Input",\ CellChangeTimes->{{3.4771758624074135`*^9, 3.477175864841014*^9}, { 3.4772149392304*^9, 3.4772150717212*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4772150544832*^9, 3.4772150725011997`*^9}, 3.4772377275942383`*^9, 3.4773250789658003`*^9, 3.4773353759887*^9, 3.4773356075607*^9, 3.4774839324526*^9, 3.4774844580875998`*^9, 3.4775122981176*^9, 3.4775132671888*^9, 3.4775849305560923`*^9, 3.4775921451141295`*^9, 3.47759376510913*^9, 3.478207440431384*^9, 3.4782090417355843`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["No Deep Vertices 2", "Subsection", CellChangeTimes->{{3.477237632356238*^9, 3.4772376371766376`*^9}, 3.480349746430594*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "13", ",", "6", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"3", ",", "11", ",", "4", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"2", ",", "15", ",", "8", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"12", ",", "1", ",", "14", ",", "2", ",", "10", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"12", ",", "13", ",", "1", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"3", ",", "11", ",", "4", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"2", ",", "15", ",", "8", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"1", ",", "6", ",", "14", ",", "2", ",", "10", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "13", ",", "6", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"10", ",", "11", ",", "3", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"2", ",", "15", ",", "8", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"12", ",", "1", ",", "14", ",", "2", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "13", ",", "6", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"3", ",", "11", ",", "4", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"14", ",", "15", ",", "2", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"12", ",", "1", ",", "2", ",", "8", ",", "10", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"12", ",", "13", ",", "1", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"10", ",", "11", ",", "3", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"14", ",", "15", ",", "2", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"1", ",", "6", ",", "2", ",", "8", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"12", ",", "13", ",", "1", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"10", ",", "11", ",", "3", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"2", ",", "15", ",", "8", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"1", ",", "6", ",", "14", ",", "2", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "13", ",", "6", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"10", ",", "11", ",", "3", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"14", ",", "15", ",", "2", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"12", ",", "1", ",", "2", ",", "8", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"12", ",", "13", ",", "1", ",", "7"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"3", ",", "11", ",", "4", ",", "5"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"14", ",", "15", ",", "2", ",", "9"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"1", ",", "6", ",", "2", ",", "8", ",", "10", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"12", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"14", ",", "2", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"15", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"10", ",", "3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}]}], "===", "0"}]], "Input", CellChangeTimes->{{3.4772376446490383`*^9, 3.477237723990638*^9}, { 3.4772377564854383`*^9, 3.477238077471038*^9}, {3.477238118405438*^9, 3.477238194642638*^9}, {3.477238350861038*^9, 3.4772383515942383`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.477237830429438*^9, 3.477237949504238*^9, 3.477238266870638*^9, 3.477238438829438*^9, 3.4773251258458*^9, 3.4773354202587*^9, 3.4773356503527*^9, 3.4774839357754*^9, 3.4774844607084*^9, 3.477512300676*^9, 3.4775132699188004`*^9, 3.477584931501799*^9, 3.47759214892013*^9, 3.4775937678391294`*^9, 3.4782074429897842`*^9, 3.4782090449491844`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["The H relation", "Subsection", CellChangeTimes->{{3.4674927494629*^9, 3.4674927528169003`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "7", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"Yc", "[", RowBox[{"9", ",", "5", ",", "8", ",", "4", ",", "6", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Yc", "[", RowBox[{"9", ",", "5", ",", "8", ",", "4", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"6", ",", "7", ",", "1", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"7", ",", "9", ",", "3", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"2", ",", "1"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"4", ",", "8"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "8", ",", "2", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"3", ",", "7"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"5", ",", "9"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"1", ",", "9", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"3", ",", "7"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"4", ",", "8"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"7", ",", "8", ",", "3", ",", "4"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"5", ",", "9"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "9"}], "}"}]}], "}"}]}], "]"}]}]}], "\n"}]], "Input", CellChangeTimes->{{3.4674927882132998`*^9, 3.4674927905689*^9}, { 3.4674928518301*^9, 3.4674929076313*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4674927851245003`*^9, 3.4674927913801003`*^9}, { 3.4674928649653*^9, 3.4674929084893*^9}, 3.4675002934449*^9, 3.4675398118780103`*^9, 3.4675434164978*^9, 3.4678204629665003`*^9, 3.4766534296493998`*^9, 3.4773251262158003`*^9, 3.4773354205997*^9, 3.4773356507337*^9, 3.4774839359782*^9, 3.47748446088*^9, 3.4775123008476*^9, 3.4775132700592003`*^9, 3.477584931715417*^9, 3.47759214932613*^9, 3.4775937680575294`*^9, 3.4782074431925845`*^9, 3.4782090450895844`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["4 Y", "Subsection", CellChangeTimes->{{3.4678235437556*^9, 3.4678235452844*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Yc", "[", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"8", ",", "7"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "8"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Yc", "[", RowBox[{"3", ",", "4", ",", "5", ",", "6", ",", "7", ",", "8"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "8"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Yc", "[", RowBox[{"1", ",", "2", ",", "5", ",", "6", ",", "7", ",", "8"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"4", ",", "3"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "8"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Yc", "[", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "7", ",", "8"}], "]"}], ",", RowBox[{"HBlob", "[", RowBox[{"6", ",", "5"}], "]"}]}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"7", ",", "8"}], "}"}]}], "}"}]}], "]"}]}], "===", "0"}]], "Input", CellChangeTimes->{{3.467824061816*^9, 3.4678242382052*^9}, { 3.4678243255184*^9, 3.467824362428*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4678241130308*^9, 3.4678241221099997`*^9}, { 3.4678241719988003`*^9, 3.4678242389228*^9}, {3.4678243313528*^9, 3.4678243629896*^9}, 3.4766534306434*^9, 3.4773251262908*^9, 3.4773354206647*^9, 3.4773356508187*^9, 3.4774839360718*^9, 3.4774844609736*^9, 3.4775123009256*^9, 3.4775132701372004`*^9, 3.4775849318322372`*^9, 3.4775921495131297`*^9, 3.4775937681511297`*^9, 3.4782074432861843`*^9, 3.4782090451207843`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["H. Murakami' s second relation.", "Subsection", CellChangeTimes->{{3.4678261679879*^9, 3.4678261931089*^9}, { 3.480349762102594*^9, 3.4803497626095943`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Expand", "[", RowBox[{ RowBox[{"4", RowBox[{"x", "[", "2", "]"}], RowBox[{"(", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"5", ",", "7", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"6", ",", "1", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "7"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"5", ",", "6", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"1", ",", "7", ",", "2", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7"}], "}"}]}], "}"}]}], "]"}]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{"2", RowBox[{"(", RowBox[{ RowBox[{"x", "[", "1", "]"}], "-", RowBox[{"x", "[", "3", "]"}]}], ")"}]}], ")"}], RowBox[{"(", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"5", ",", "1", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"6", ",", "7", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"5", ",", "6", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"CD", "[", RowBox[{"1", ",", "7", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7"}], "}"}]}], "}"}]}], "]"}]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"x", "[", "3", "]"}], "-", RowBox[{"x", "[", "1", "]"}]}], ")"}], RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"x", "[", "1", "]"}], RowBox[{"x", "[", "3", "]"}]}], "+", RowBox[{ RowBox[{"x", "[", "2", "]"}], RowBox[{"x", "[", "2", "]"}]}]}], ")"}]}], ")"}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"2", ",", "5"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "6"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"4", ",", "7"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "7"}], "}"}]}], "}"}]}], "]"}]}]}], "]"}], "===", "0"}]], "Input", CellChangeTimes->{{3.4678262064929*^9, 3.4678265572609*^9}, { 3.4678267235709*^9, 3.4678267498889*^9}, {3.4678269639609003`*^9, 3.4678269767039003`*^9}, {3.4775128894512*^9, 3.4775128904496*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.4678269775129004`*^9, 3.4766534324684*^9, 3.4773251265958*^9, 3.4773354208347*^9, 3.4773356510067*^9, 3.4774839362122*^9, 3.4774844610671997`*^9, 3.4775123010816*^9, 3.4775128914948*^9, 3.4775132702307997`*^9, 3.477584931925858*^9, 3.4775921496871295`*^9, 3.4775937682447295`*^9, 3.4782074434109845`*^9, 3.4782090451675844`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["H. Murakami' s third relation.", "Subsection", CellChangeTimes->{{3.4678275058429003`*^9, 3.4678275164509*^9}, { 3.480349765041594*^9, 3.480349765693594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"CD", "[", RowBox[{"4", ",", "2", ",", "3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"Expand", "[", RowBox[{ RowBox[{"x", "[", "1", "]"}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4678275259199*^9, 3.4678276310889*^9}, { 3.4678277135119*^9, 3.4678277398809*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4678276057669*^9, 3.4678276329019003`*^9}, { 3.4678277184809*^9, 3.4678277404109*^9}, 3.4766534327004004`*^9, 3.4773251266308002`*^9, 3.4773354208717003`*^9, 3.4773356510507*^9, 3.4774839362746*^9, 3.4774844611296*^9, 3.477512301144*^9, 3.4775132702776003`*^9, 3.4775849320322866`*^9, 3.4775921497651296`*^9, 3.47759376830713*^9, 3.4782074434733844`*^9, 3.4782090451831846`*^9}] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Relations on the level of Arrow diagrams", "Section", CellChangeTimes->{{3.4678282676499*^9, 3.4678282771979*^9}}], Cell[CellGroupData[{ Cell["The 6 T relation", "Subsection", CellChangeTimes->{{3.4773213431558*^9, 3.4773213481208*^9}, { 3.4803497765725937`*^9, 3.480349794303594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "6", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "4", ",", "2"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "6", ",", "4", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "3", ",", "2"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "5", ",", "4", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"6", ",", "1", ",", "3", ",", "2"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "5", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "6", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "1", ",", "4", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"6", ",", "5", ",", "1", ",", "2"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "1", ",", "4", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"6", ",", "5", ",", "3", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "6"}], "}"}]}], "}"}]}], "]"}]}]}]], "Input", CellChangeTimes->{{3.4773213547608*^9, 3.4773213568157997`*^9}, { 3.4773220816158*^9, 3.4773222393758*^9}, {3.4773223724058*^9, 3.4773223803858*^9}, {3.4803497885725937`*^9, 3.480349798351594*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4773222371808*^9, 3.4773222399308*^9}, { 3.4773223752358*^9, 3.4773223809908*^9}, 3.4773251267108*^9, 3.4773354209847*^9, 3.4773356511556997`*^9, 3.4774839363682003`*^9, 3.4774844612232*^9, 3.4775123012688*^9, 3.4775132703556004`*^9, 3.477584932128113*^9, 3.4775921498771296`*^9, 3.4775937684007297`*^9, 3.4782074435981846`*^9, 3.4782090452299843`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Tails Commute", "Subsection", CellChangeTimes->{{3.4678282955469*^9, 3.4678282979279003`*^9}, 3.4691020478334*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"2", ",", "4", ",", "1", ",", "5"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "6", ",", "3", ",", "7"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "7"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"2", ",", "6", ",", "1", ",", "7"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "4", ",", "3", ",", "5"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "7"}], "}"}]}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4678283076049*^9, 3.4678283977778997`*^9}, 3.4691020478359003`*^9}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.4773356512057*^9, 3.4774839364306*^9, 3.4774844612855997`*^9, 3.4775123013311996`*^9, 3.4775132704024*^9, 3.4775849321538982`*^9, 3.4775921499591293`*^9, 3.4775937684787292`*^9, 3.4782074436761847`*^9, 3.4782090452455845`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Relation 13 - No deep vertices for arrow diagrams", "Subsection", CellChangeTimes->{{3.4773206384858*^9, 3.4773206397408*^9}, { 3.4803498213405943`*^9, 3.480349822054594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"9", ",", "10", ",", "8", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "1", ",", "7", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"12", ",", "2", ",", "6", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "3", ",", "5", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"12", ",", "10", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "1", ",", "5", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"9", ",", "2", ",", "8", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "3", ",", "7", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"9", ",", "1", ",", "8", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "10", ",", "7", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"12", ",", "2", ",", "6", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "3", ",", "5", ",", "4"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"9", ",", "10", ",", "8", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "1", ",", "7", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"12", ",", "3", ",", "6", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "2", ",", "5", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"9", ",", "1", ",", "8", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "10", ",", "7", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"12", ",", "3", ",", "6", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "2", ",", "5", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"12", ",", "10", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "1", ",", "5", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"9", ",", "3", ",", "8", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "2", ",", "7", ",", "3"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"9", ",", "2", ",", "8", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "3", ",", "7", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"12", ",", "1", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "10", ",", "5", ",", "1"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"9", ",", "3", ",", "8", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"13", ",", "2", ",", "7", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"12", ",", "1", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"11", ",", "10", ",", "5", ",", "1"}], "]"}]}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"9", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"13", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "5"}], "}"}]}], "}"}]}], "]"}]}], "===", "0"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.426402670990378*^9, 3.426402719982378*^9}, { 3.4264028449593782`*^9, 3.426403257789378*^9}, {3.4673167916312*^9, 3.4673169317348003`*^9}, {3.4673169753056*^9, 3.4673174298428*^9}, { 3.4673174881088*^9, 3.4673176146247997`*^9}, {3.4673176589444*^9, 3.4673176609412003`*^9}, {3.4675005372105*^9, 3.4675005422805*^9}, 3.4691020478359003`*^9, 3.4773206293408003`*^9, {3.480349803462594*^9, 3.480349803739594*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{3.4773356550747004`*^9, 3.4774839371638002`*^9, 3.4774844619564*^9, 3.4775123019396*^9, 3.4775132710264*^9, 3.47758493242562*^9, 3.4775921508771296`*^9, 3.4775937691339293`*^9, 3.4782074442689843`*^9, 3.4782090457915845`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[" Short arrows are anti-equivalent.", "Subsection", CellChangeTimes->{{3.4773456424727*^9, 3.4773456445007*^9}, 3.477350768686596*^9, {3.47764735579379*^9, 3.47764736711939*^9}, { 3.4803501081905937`*^9, 3.480350115120594*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"1", ",", "4", ",", "3", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"4", ",", "1", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4773456537359*^9, 3.4773457620155*^9}}], Cell[BoxData["0"], "Output", CellChangeTimes->{{3.4773456899435*^9, 3.4773457625459003`*^9}, 3.4773502683271956`*^9, 3.477483937273*^9, 3.4774844620656*^9, 3.477512302002*^9, 3.4775132711043997`*^9, 3.477584932443016*^9, 3.47759215097213*^9, 3.4775937692275295`*^9, 3.4782074444093847`*^9, 3.478209045807184*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["A short arrow counts 1/2 x[i]", "Subsection", CellChangeTimes->{{3.47764724063579*^9, 3.47764725671939*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"4", ",", "1", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}], "===", RowBox[{"Expand", "[", RowBox[{ RowBox[{"(", RowBox[{"1", "/", "2"}], ")"}], RowBox[{"x", "[", "1", "]"}], RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"P", "[", RowBox[{"3", ",", "1"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"1", ",", "2"}], "]"}], ",", RowBox[{"P", "[", RowBox[{"2", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}], "}"}]}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4773502853467956`*^9, 3.477350302069996*^9}, { 3.4773503359581957`*^9, 3.477350435579796*^9}, {3.47764723456739*^9, 3.47764723679819*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4773503062975955`*^9, {3.4773503928513956`*^9, 3.4773504365157957`*^9}, 3.4774839373198*^9, 3.4774844621280003`*^9, 3.4775123020643997`*^9, 3.4775132711356*^9, 3.4775849324593678`*^9, 3.4775921511181297`*^9, 3.4775937692899294`*^9, 3.47764727579699*^9, 3.4782074444717846`*^9, 3.478209045807184*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Directed Blob Cutting", "Subsection", CellChangeTimes->{{3.4773203552307997`*^9, 3.4773203611958*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "6", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"2", ",", "1", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"6", ",", "1", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"5", ",", "2", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"1", ",", "6", ",", "3", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"2", ",", "5", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"6", ",", "5", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "3", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"2", ",", "6", ",", "4", ",", "2"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "1", ",", "1", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"2", ",", "6", ",", "4", ",", "2"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "3", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"6", ",", "2", ",", "2", ",", "4"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"6", ",", "2", ",", "2", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"5", ",", "1", ",", "1", ",", "3"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{"Expand", "[", RowBox[{ RowBox[{"2", "*", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "2", ",", "2", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"6", ",", "1", ",", "4", ",", "3"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6"}], "}"}]}], "}"}]}], "]"}]}], "+", RowBox[{"2", "*", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "1", ",", "2", ",", "3"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"6", ",", "2", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "2", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "6"}], "}"}]}], "}"}]}], "]"}]}]}], "]"}]}]], "Input", CellChangeTimes->{ 3.4676442032209997`*^9, 3.4691020478384*^9, {3.4773203685058002`*^9, 3.4773204796108*^9}, {3.4773207297958*^9, 3.4773208149058*^9}, { 3.4773209949708*^9, 3.4773209951008*^9}, {3.4773212262408*^9, 3.4773213032558002`*^9}, {3.4773227568358*^9, 3.4773227638108*^9}, { 3.4773229081808*^9, 3.4773229282408*^9}, {3.4773306692098*^9, 3.4773306890685997`*^9}, {3.4773307255414*^9, 3.4773308559574003`*^9}, 3.4773309340978003`*^9, {3.4773311575834*^9, 3.477331262041*^9}, { 3.4773313807102003`*^9, 3.4773314090086*^9}, {3.477331486057*^9, 3.4773315024526*^9}, {3.4773316105294*^9, 3.4773316132282*^9}, { 3.4773316723054*^9, 3.4773317545797997`*^9}, {3.4773452016167*^9, 3.4773452501483*^9}, {3.4773453414395*^9, 3.4773453725147*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4773204757958*^9, 3.4773208157908*^9, 3.4773213044407997`*^9, 3.4773229248758*^9, 3.4773230826008*^9, 3.4773251306108*^9, 3.4773308567061996`*^9, 3.4773309346594*^9, 3.4773311584882*^9, { 3.4773311925118*^9, 3.477331262587*^9}, {3.477331382941*^9, 3.4773314101006002`*^9}, {3.4773314928742*^9, 3.4773315032326*^9}, 3.4773316139302*^9, {3.477331673101*^9, 3.4773317551726*^9}, 3.4773354249287*^9, 3.4773356552237*^9, {3.4773452042219*^9, 3.4773452515991*^9}, {3.4773453443410997`*^9, 3.4773453734819*^9}, 3.4774839374446*^9, 3.4774844622372*^9, 3.4775123021892*^9, 3.4775132712448*^9, 3.4775849325620813`*^9, 3.4775921512581296`*^9, 3.4775937693835297`*^9, 3.4782074446121845`*^9, 3.478209045869584*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["A Y relation", "Subsection", CellChangeTimes->{{3.4773208720408*^9, 3.4773208811308002`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "7", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"3", ",", "1", ",", "4", ",", "2"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "1", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"3", ",", "7", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "7", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "3", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"5", ",", "7", ",", "6", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"3", ",", "1", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"3", ",", "7", ",", "4", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"5", ",", "1", ",", "1", ",", "6"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"3", ",", "7", ",", "4", ",", "2"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "6", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}]}]}]], "Input"], Cell[BoxData["True"], "Output", CellChangeTimes->{3.4773209052358*^9, 3.4773251306808*^9, 3.4773354250527*^9, 3.4773356553017*^9, 3.4774839375382*^9, 3.4774844623152*^9, 3.4775123023452*^9, 3.4775132713072*^9, 3.477584932760338*^9, 3.4775921513771296`*^9, 3.4775937694615297`*^9, 3.4782074447057843`*^9, 3.4782090459007845`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["The other Y is 0", "Subsection", CellChangeTimes->{{3.4776471615749903`*^9, 3.47764716566219*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "5", ",", "1", ",", "6"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "3", ",", "2", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "2", ",", "6"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"7", ",", "3", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{ RowBox[{"-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "5", ",", "2", ",", "6"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"3", ",", "1", ",", "1", ",", "4"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}]}], "-", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "5", ",", "2", ",", "6"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "3", ",", "4", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"6", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1", ",", "3"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "3", ",", "2", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"1", ",", "5", ",", "6", ",", "1"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Arr", "[", RowBox[{"7", ",", "3", ",", "2", ",", "4"}], "]"}], ",", RowBox[{"Arr", "[", RowBox[{"5", ",", "1", ",", "1", ",", "6"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "6", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "3"}], "}"}]}], "}"}]}], "]"}]}], "===", "0"}]], "Input", CellChangeTimes->{{3.47764667173499*^9, 3.47764688723339*^9}, { 3.47764695715259*^9, 3.47764700020859*^9}, {3.47764704427859*^9, 3.47764712881499*^9}, {3.47764717840739*^9, 3.47764718918699*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{ 3.4776466745429897`*^9, 3.47764675117019*^9, 3.4776468881693897`*^9, { 3.47764696905539*^9, 3.47764700103539*^9}, {3.47764706652419*^9, 3.47764712940779*^9}, {3.4776471756929903`*^9, 3.47764718979539*^9}, 3.4782074448149843`*^9, 3.4782090459319844`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Two Arrows = A chord", "Subsection", CellChangeTimes->{{3.477766377362*^9, 3.4777663831496*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Arr", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}]}], "}"}]}], "]"}], "+", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"Arr", "[", RowBox[{"4", ",", "3", ",", "2", ",", "1"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}]}], "}"}]}], "]"}]}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"CD", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}]}], "}"}]}], "]"}], "===", RowBox[{"AT", "[", RowBox[{ RowBox[{"{", RowBox[{"CD", "[", RowBox[{"4", ",", "3", ",", "2", ",", "1"}], "]"}], "}"}], ",", "0", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "4"}], "}"}]}], "}"}]}], "]"}]}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.4777647722936*^9, 3.4777648706359997`*^9}}], Cell[BoxData["True"], "Output", CellChangeTimes->{{3.4777647993908*^9, 3.477764871182*^9}, 3.4777654771796*^9, 3.478207444877384*^9, 3.478209045947584*^9}] }, Open ]] }, Open ]] }, Open ]] }, Open ]] }, AutoGeneratedPackage->None, WindowSize->{1264, 599}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, 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, 187, 4, 137, "Title"], Cell[CellGroupData[{ Cell[802, 31, 105, 1, 71, "Section"], Cell[910, 34, 25479, 613, 1012, "Input"] }, {2}]], Cell[CellGroupData[{ Cell[26423, 652, 98, 1, 71, "Section"], Cell[CellGroupData[{ Cell[26546, 657, 225, 3, 36, "Subsection"], Cell[CellGroupData[{ Cell[26796, 664, 761, 22, 31, "Input"], Cell[27560, 688, 4291, 124, 92, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[31900, 818, 227, 3, 36, "Subsection"], Cell[CellGroupData[{ Cell[32152, 825, 1077, 28, 31, "Input"], Cell[33232, 855, 997, 26, 55, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[34278, 887, 169, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[34472, 893, 2556, 76, 52, "Input"], Cell[37031, 971, 520, 8, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[37600, 985, 141, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[37766, 991, 4336, 131, 112, "Input"], Cell[42105, 1124, 391, 5, 30, "Output"] }, Open ]] }, Open ]] }, Open ]], Cell[42535, 1134, 246, 3, 71, "Section"], Cell[CellGroupData[{ Cell[42806, 1141, 50, 0, 41, "Section"], Cell[CellGroupData[{ Cell[42881, 1145, 25, 0, 36, "Subsection"], Cell[CellGroupData[{ Cell[42931, 1149, 1115, 34, 31, "Input"], Cell[44049, 1185, 655, 10, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[44753, 1201, 24, 0, 36, "Subsection"], Cell[CellGroupData[{ Cell[44802, 1205, 1195, 37, 31, "Input"], Cell[46000, 1244, 571, 8, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[46620, 1258, 24, 0, 36, "Subsection"], Cell[CellGroupData[{ Cell[46669, 1262, 1313, 39, 52, "Input"], Cell[47985, 1303, 564, 8, 30, "Output"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[48610, 1318, 167, 2, 71, "Section"], Cell[CellGroupData[{ Cell[48802, 1324, 154, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[48981, 1330, 1714, 52, 52, "Input"], Cell[50698, 1384, 808, 12, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[51555, 1402, 215, 3, 36, "Subsection"], Cell[CellGroupData[{ Cell[51795, 1409, 2743, 82, 52, "Input"], Cell[54541, 1493, 215, 3, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[54805, 1502, 229, 3, 36, "Subsection"], Cell[CellGroupData[{ Cell[55059, 1509, 2798, 84, 72, "Input"], Cell[57860, 1595, 564, 9, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[58473, 1610, 133, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[58631, 1615, 3583, 96, 92, "Input"], Cell[62217, 1713, 451, 7, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[62717, 1726, 220, 3, 36, "Subsection"], Cell[CellGroupData[{ Cell[62962, 1733, 1536, 47, 31, "Input"], Cell[64501, 1782, 154, 3, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[64704, 1791, 155, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[64884, 1797, 11076, 320, 312, "Input"], Cell[75963, 2119, 73, 1, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[76085, 2126, 165, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[76275, 2132, 5005, 119, 272, "Input"], Cell[81283, 2253, 329, 5, 30, "Output"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[81673, 2265, 124, 1, 71, "Section"], Cell[CellGroupData[{ Cell[81822, 2270, 121, 1, 28, "Subsubsection"], Cell[CellGroupData[{ Cell[81968, 2275, 1159, 36, 31, "Input"], Cell[83130, 2313, 525, 8, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[83704, 2327, 191, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[83920, 2333, 3540, 114, 92, "Input"], Cell[87463, 2449, 129, 2, 30, "Output"], Cell[87595, 2453, 127, 2, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[87771, 2461, 183, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[87979, 2467, 2802, 83, 72, "Input"], Cell[90784, 2552, 127, 2, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[90960, 2560, 187, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[91172, 2566, 1783, 58, 52, "Input"], Cell[92958, 2626, 152, 2, 30, "Output"], Cell[93113, 2630, 154, 2, 30, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[93304, 2637, 172, 2, 28, "Subsubsection"], Cell[CellGroupData[{ Cell[93501, 2643, 1856, 49, 52, "Input"], Cell[95360, 2694, 530, 8, 30, "Output"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[95951, 2709, 122, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[96098, 2714, 2784, 70, 92, "Input"], Cell[98885, 2786, 176, 3, 30, "Output"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[99122, 2796, 167, 2, 71, "Section"], Cell[CellGroupData[{ Cell[99314, 2802, 101, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[99440, 2807, 2294, 72, 52, "Input"], Cell[101737, 2881, 361, 5, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[102147, 2892, 106, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[102278, 2897, 925, 29, 31, "Input"], Cell[103206, 2928, 456, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[103711, 2940, 175, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[103911, 2946, 1802, 56, 52, "Input"], Cell[105716, 3004, 393, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[106158, 3016, 157, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[106340, 3022, 1314, 42, 31, "Input"], Cell[107657, 3066, 404, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[108110, 3078, 134, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[108269, 3084, 8161, 222, 192, "Input"], Cell[116433, 3308, 412, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[116894, 3320, 102, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[117021, 3325, 4537, 134, 132, "Input"], Cell[121561, 3461, 544, 8, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[122154, 3475, 87, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[122266, 3480, 2590, 81, 72, "Input"], Cell[124859, 3563, 493, 7, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[125401, 3576, 166, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[125592, 3582, 4214, 125, 72, "Input"], Cell[129809, 3709, 396, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[130254, 3721, 167, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[130446, 3727, 1088, 34, 31, "Input"], Cell[131537, 3763, 451, 6, 30, "Output"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[132049, 3776, 121, 1, 71, "Section"], Cell[CellGroupData[{ Cell[132195, 3781, 151, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[132371, 3787, 3537, 108, 92, "Input"], Cell[135911, 3897, 425, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[136385, 3909, 125, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[136535, 3915, 1183, 37, 31, "Input"], Cell[137721, 3954, 288, 4, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[138058, 3964, 184, 2, 36, "Subsection"], Cell[CellGroupData[{ Cell[138267, 3970, 7916, 211, 192, "Input"], Cell[146186, 4183, 285, 4, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[146520, 4193, 240, 3, 36, "Subsection"], Cell[CellGroupData[{ Cell[146785, 4200, 826, 26, 31, "Input"], Cell[147614, 4228, 329, 5, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[147992, 4239, 115, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[148132, 4244, 1144, 35, 31, "Input"], Cell[149279, 4281, 371, 6, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[149699, 4293, 109, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[149833, 4298, 5893, 170, 112, "Input"], Cell[155729, 4470, 797, 12, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[156575, 4488, 100, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[156700, 4493, 3333, 105, 72, "Input"], Cell[160036, 4600, 341, 5, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[160426, 4611, 105, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[160556, 4616, 3586, 110, 72, "Input"], Cell[164145, 4728, 318, 5, 30, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[164512, 4739, 103, 1, 36, "Subsection"], Cell[CellGroupData[{ Cell[164640, 4744, 1598, 53, 72, "Input"], Cell[166241, 4799, 160, 2, 30, "Output"] }, Open ]] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)