(* 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[ 121169, 3714] NotebookOptionsPosition[ 112595, 3425] NotebookOutlinePosition[ 113209, 3451] CellTagsIndexPosition[ 113122, 3446] WindowFrame->Normal ContainsDynamic->False*) (* Beginning of Notebook Content *) Notebook[{ Cell[TextData[{ ButtonBox["Dror Bar-Natan", BaseStyle->"Hyperlink", ButtonData->{ URL["http://www.math.toronto.edu/~drorbn/"], None}], ": ", ButtonBox["Papers", BaseStyle->"Hyperlink", ButtonData->{ URL["http://www.math.toronto.edu/~drorbn/LOP.html"], None}], ": ", ButtonBox["Categorification", BaseStyle->"Hyperlink", ButtonData->{ URL["http://www.math.toronto.edu/~drorbn/papers/Categorification/"], None}], ":" }], "Text", CellChangeTimes->{{3.4306677261070004`*^9, 3.430667760538*^9}, { 3.4306758691870003`*^9, 3.4306758691879997`*^9}, {3.430675900222*^9, 3.4306759203120003`*^9}, {3.430729365134*^9, 3.430729371587125*^9}}], Cell[CellGroupData[{ Cell["Explaining the \"Categorification.m\" Program", "Title", CellChangeTimes->{{3.4306676872799997`*^9, 3.4306677119519997`*^9}}], Cell[TextData[{ "The purpose of this document, written on September 17 2008 along with Jana \ Archibald, Zsuzsanna Dancso, Iva Halacheva, Louis Leung and Krzysztof Putyra \ is play around a bit with Dror's old \"categorification.m\" mathematica \ program, which computes Khovanov homology. Hopefully, Krzysztof will use this \ knowledge to produce a program to compute his variant of \"odd\" Khovanov \ homology. The original program is available at ", ButtonBox["http://www.math.toronto.edu/~drorbn/papers/Categorification/\ Categorification.m", BaseStyle->"Hyperlink", ButtonData->{ URL["http://www.math.toronto.edu/~drorbn/papers/Categorification/\ Categorification.m"], None}], ". It is reproduced here in (mostly) ", StyleBox["red", FontColor->RGBColor[1, 0, 0]], ", with minor modifications to make it compliant with KnotTheory` \ conventions.\n\nThis ", StyleBox["Mathematica", FontSlant->"Italic"], " notebook is available at ", ButtonBox["http://www.math.toronto.edu/~drorbn/papers/Categorification/\ CategorificationProgramExplained.nb", BaseStyle->"Hyperlink", ButtonData->{ URL["http://www.math.toronto.edu/~drorbn/papers/Categorification/\ CategorificationProgramExplained.nb"], None}], "." }], "Text", CellChangeTimes->{{3.430667771209*^9, 3.430667951135*^9}, {3.430668106061*^9, 3.4306682115880003`*^9}, {3.430675937645*^9, 3.430675937646*^9}, { 3.430729133884*^9, 3.43072923222775*^9}, 3.43072958979025*^9}], Cell["First, let us load KnotTheory` :", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430668238679*^9, 3.4306682485559998`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"<<", " ", "KnotTheory`"}]], "Input", CellChangeTimes->{{3.430668257033*^9, 3.43066826031*^9}}], Cell[BoxData["\<\"Loading KnotTheory` version of August 13, 2008, \ 14:31:13.4448.\\nRead more at http://katlas.org/wiki/KnotTheory.\"\>"], \ "Print", CellChangeTimes->{3.4306682613529997`*^9, 3.430675796066*^9, 3.430729321243375*^9, 3.4307295964465*^9, 3.4307301904119997`*^9, 3.4307303644230003`*^9, 3.430730583866*^9, 3.430730858891*^9}] }, Open ]], Cell[TextData[{ "PD conventions are explained at ", ButtonBox["http://katlas.org/wiki/Planar_Diagrams", BaseStyle->"Hyperlink", ButtonData->{ URL["http://katlas.org/wiki/Planar_Diagrams"], None}], "." }], "Text", CellChangeTimes->{{3.430668371896*^9, 3.4306683893599997`*^9}, { 3.430675954756*^9, 3.430676051384*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"pd", "=", RowBox[{"PD", "[", RowBox[{"Knot", "[", RowBox[{"5", ",", "2"}], "]"}], "]"}]}]], "Input", CellChangeTimes->{{3.4306683920039997`*^9, 3.430668399461*^9}, { 3.430669121167*^9, 3.430669121402*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"KnotTheory", "::", "\<\"loading\"\>"}], RowBox[{ ":", " "}], "\<\"Loading precomputed data in \ \\!\\(\\\"PD4Knots`\\\"\\).\"\>"}]], "Message", "MSG", CellChangeTimes->{3.4306757984440002`*^9, 3.43072932322775*^9, 3.43072959847775*^9, 3.430730197915*^9, 3.4307303696540003`*^9, 3.430730588277*^9, 3.4307308642720003`*^9}], Cell[BoxData[ RowBox[{"PD", "[", RowBox[{ RowBox[{"X", "[", RowBox[{"1", ",", "4", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"3", ",", "8", ",", "4", ",", "9"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"5", ",", "10", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"9", ",", "6", ",", "10", ",", "7"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"7", ",", "2", ",", "8", ",", "3"}], "]"}]}], "]"}]], "Output", CellChangeTimes->{3.430668401025*^9, 3.430669123115*^9, 3.4306757985439997`*^9, 3.43072932335275*^9, 3.430729598555875*^9, 3.430730198113*^9, 3.430730369797*^9, 3.4307305884189997`*^9, 3.4307308644709997`*^9}] }, Open ]], Cell["\<\ First, for degree reasons, we need to count the positive and negative \ crossings in pd :\ \>", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430669075755*^9, 3.430669103966*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"np", "[", "L_PD", "]"}], ":=", RowBox[{"Count", "[", RowBox[{"L", ",", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], "/;", RowBox[{ RowBox[{ RowBox[{"j", "-", "l"}], "\[Equal]", "1"}], "||", RowBox[{ RowBox[{"l", "-", "j"}], ">", "1"}]}]}]}], "]"}]}], ";"}], "\n", RowBox[{ RowBox[{ RowBox[{"nm", "[", "L_PD", "]"}], ":=", RowBox[{"Count", "[", RowBox[{"L", ",", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], "/;", RowBox[{ RowBox[{ RowBox[{"l", "-", "j"}], "\[Equal]", "1"}], "||", RowBox[{ RowBox[{"j", "-", "l"}], ">", "1"}]}]}]}], "]"}]}], ";"}]}], "Input", CellChangeTimes->{{3.430669135005*^9, 3.430669141837*^9}}, FontColor->RGBColor[1, 0, 0]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"?", "Count"}]], "Input", CellChangeTimes->{{3.430669152205*^9, 3.4306691532790003`*^9}}], Cell[BoxData[ RowBox[{ StyleBox["\<\"\!\(\*RowBox[{\\\"Count\\\", \\\"[\\\", \ RowBox[{StyleBox[\\\"list\\\", \\\"TI\\\"], \\\",\\\", StyleBox[\\\"pattern\\\ \", \\\"TI\\\"]}], \\\"]\\\"}]\) gives the number of elements in \ \!\(\*StyleBox[\\\"list\\\", \\\"TI\\\"]\) that match \ \!\(\*StyleBox[\\\"pattern\\\", \\\"TI\\\"]\). \ \\n\!\(\*RowBox[{\\\"Count\\\", \\\"[\\\", RowBox[{StyleBox[\\\"expr\\\", \ \\\"TI\\\"], \\\",\\\", StyleBox[\\\"pattern\\\", \\\"TI\\\"], \\\",\\\", \ StyleBox[\\\"levelspec\\\", \\\"TI\\\"]}], \\\"]\\\"}]\) gives the total \ number of subexpressions matching \!\(\*StyleBox[\\\"pattern\\\", \\\"TI\\\"]\ \) that appear at the levels in \!\(\*StyleBox[\\\"expr\\\", \\\"TI\\\"]\) \ specified by \!\(\*StyleBox[\\\"levelspec\\\", \\\"TI\\\"]\). \"\>", "MSG"], " ", ButtonBox[ StyleBox["\[RightSkeleton]", "SR"], Active->True, BaseStyle->"Link", ButtonData->"paclet:ref/Count"]}]], "Print", "PrintUsage", CellChangeTimes->{3.430730865374*^9}, CellTags->"Info3430716465-7312052"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"Count", "[", RowBox[{"pd", ",", " ", "_Putyra"}], "]"}], ",", " ", RowBox[{"Count", "[", RowBox[{"pd", ",", " ", "_X"}], "]"}], ",", " ", RowBox[{"Count", "[", RowBox[{"pd", ",", " ", RowBox[{"X", "[", RowBox[{"i_", ",", " ", "j_", ",", " ", "k_"}], "]"}]}], "]"}], ",", " ", RowBox[{"Count", "[", RowBox[{"pd", ",", " ", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", " ", "j_", ",", " ", "k_", ",", " ", "l_"}], "]"}], " ", "/;", " ", RowBox[{"l", ">", "j"}]}]}], "]"}]}], "}"}]], "Input", CellChangeTimes->{{3.430669174116*^9, 3.430669287965*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "5", ",", "0", ",", "4"}], "}"}]], "Output", CellChangeTimes->{{3.4306691884849997`*^9, 3.4306692063050003`*^9}, { 3.430669238558*^9, 3.430669292505*^9}, 3.4306757988780003`*^9, 3.430729323743375*^9, 3.43072959897775*^9, 3.430730200248*^9, 3.430730371402*^9, 3.430730589929*^9, 3.430730865918*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"np", "[", "pd", "]"}], ",", " ", RowBox[{"nm", "[", "pd", "]"}]}], "}"}]], "Input", CellChangeTimes->{{3.430669359401*^9, 3.430669400068*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "5"}], "}"}]], "Output", CellChangeTimes->{{3.4306693822209997`*^9, 3.430669400901*^9}, 3.430675798902*^9, 3.430729323774625*^9, 3.430729598993375*^9, 3.43073020034*^9, 3.430730371476*^9, 3.4307305899960003`*^9, 3.4307308660039997`*^9}] }, Open ]], Cell["\<\ Let' s implement the smoothing rules : X[i, j, k, l] -> either p[i, j] p[k, \ l] or p[i, l] p[j, k] . First. \"p\" must be \"commutative\" or \"\"Orderless\ \":\ \>", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430669702604*^9, 3.4306697037019997`*^9}, 3.430669762913*^9, {3.4306698144309998`*^9, 3.430669827534*^9}, { 3.430669859976*^9, 3.430670023277*^9}, {3.430670073111*^9, 3.430670195465*^9}}], Cell[BoxData[ StyleBox[ RowBox[{"SetAttributes", "[", RowBox[{"p", ",", "Orderless"}], "]"}], FontColor->RGBColor[1, 0, 0]]], "Input"], Cell[BoxData[ RowBox[{"SetAttributes", "[", RowBox[{"p2", ",", " ", "Orderless"}], "]"}]], "Input", CellChangeTimes->{{3.430670243586*^9, 3.4306702576470003`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"p1", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], ",", " ", RowBox[{"p2", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}]}], "}"}]], "Input", CellChangeTimes->{{3.430670222099*^9, 3.430670272453*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"p1", "[", RowBox[{"3", ",", "4", ",", "1", ",", "2"}], "]"}], ",", RowBox[{"p2", "[", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "]"}]}], "}"}]], "Output", CellChangeTimes->{ 3.430670236642*^9, {3.430670274854*^9, 3.4306702843450003`*^9}, 3.430675798939*^9, 3.4307293238215*^9, 3.43072959904025*^9, 3.430730200612*^9, 3.430730371608*^9, 3.4307305900959997`*^9, 3.430730866142*^9}] }, Open ]], Cell["\<\ We now go into the definition of \"S\", which stands for \"Smoothing\" : it \ gets an input which is a PD and either a list {0, 0, 1, 0} of zeros and ones \ or a string \"0010\".\ \>", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430670307778*^9, 3.430670412073*^9}}], Cell[BoxData[ StyleBox[ RowBox[{ RowBox[{"S", "[", RowBox[{"L_PD", ",", "s_String"}], "]"}], ":=", RowBox[{"S", "[", RowBox[{"L", ",", RowBox[{ RowBox[{"Characters", "[", "s", "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{"\"\<0\>\"", "\[Rule]", "0"}], ",", RowBox[{"\"\<1\>\"", "\[Rule]", "1"}]}], "}"}]}]}], "]"}]}], FontColor->RGBColor[1, 0, 0]]], "Input"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Characters", "[", "\"\\"", "]"}], " ", "//", " ", "FullForm"}]], "Input", CellChangeTimes->{{3.43067045245*^9, 3.430670487374*^9}}], Cell[BoxData[ TagBox[ StyleBox[ RowBox[{"List", "[", RowBox[{ "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\"", ",", "\"\\""}], "]"}], ShowSpecialCharacters->False, ShowStringCharacters->True, NumberMarks->True], FullForm]], "Output", CellChangeTimes->{{3.430670472007*^9, 3.430670487935*^9}, 3.430675798973*^9, 3.43072932385275*^9, 3.4307295990715*^9, 3.430730200749*^9, 3.430730371691*^9, 3.430730590159*^9, 3.430730866223*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"Characters", "[", "\"\\"", "]"}], " ", "/.", " ", RowBox[{"{", RowBox[{ RowBox[{"\"\\"", " ", "\[Rule]", " ", "7"}], ",", " ", RowBox[{"\"\\"", " ", "\[Rule]", " ", "9"}]}], "}"}]}]], "Input", CellChangeTimes->{{3.4306705006289997`*^9, 3.430670531092*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ "7", ",", "\<\"r\"\>", ",", "\<\"z\"\>", ",", "\<\"y\"\>", ",", "\<\"s\"\>", ",", "\<\"z\"\>", ",", "\<\"t\"\>", ",", "\<\"o\"\>", ",", "9"}], "}"}]], "Output", CellChangeTimes->{3.430670532281*^9, 3.4306757990030003`*^9, 3.430729323868375*^9, 3.43072959910275*^9, 3.43073020081*^9, 3.4307303717460003`*^9, 3.430730590241*^9, 3.430730866282*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"S0", "[", RowBox[{"L_PD", ",", "s_String"}], "]"}], ":=", RowBox[{"S0", "[", RowBox[{"L", ",", RowBox[{ RowBox[{"Characters", "[", "s", "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{"\"\<0\>\"", "\[Rule]", "0"}], ",", RowBox[{"\"\<1\>\"", "\[Rule]", "1"}]}], "}"}]}]}], "]"}]}]], "Input", CellChangeTimes->{{3.430670575865*^9, 3.430670578433*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"S0", "[", RowBox[{"pd", ",", " ", "\"\<00110\>\""}], "]"}]], "Input", CellChangeTimes->{{3.430670584867*^9, 3.4306705968970003`*^9}}], Cell[BoxData[ RowBox[{"S0", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{ RowBox[{"X", "[", RowBox[{"1", ",", "4", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"3", ",", "8", ",", "4", ",", "9"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"5", ",", "10", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"9", ",", "6", ",", "10", ",", "7"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"7", ",", "2", ",", "8", ",", "3"}], "]"}]}], "]"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "]"}]], "Output", CellChangeTimes->{3.430670597599*^9, 3.430675799039*^9, 3.430729323899625*^9, 3.430729599149625*^9, 3.430730200875*^9, 3.430730371858*^9, 3.430730590316*^9, 3.430730866349*^9}] }, Open ]], Cell["Constructing the vertices of the Khovanov cube", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.4306706998450003`*^9, 3.430670724167*^9}}], Cell["First, a simple variant:", "Text", CellChangeTimes->{{3.430730335843*^9, 3.430730351115*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"S1", "[", RowBox[{"L_PD", ",", " ", "a_List"}], "]"}], " ", ":=", " ", RowBox[{"{", RowBox[{"L", ",", "a"}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"S1", "[", RowBox[{"pd", ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "]"}]}], "Input", CellChangeTimes->{{3.430670783534*^9, 3.430670849465*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"PD", "[", RowBox[{ RowBox[{"X", "[", RowBox[{"1", ",", "4", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"3", ",", "8", ",", "4", ",", "9"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"5", ",", "10", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"9", ",", "6", ",", "10", ",", "7"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"7", ",", "2", ",", "8", ",", "3"}], "]"}]}], "]"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.43067085104*^9, 3.430675799616*^9, 3.430729323930875*^9, 3.43072959916525*^9, 3.430730200936*^9, 3.430730371918*^9, 3.430730590375*^9, 3.430730866406*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"10", ",", "11", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}]}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.430670877526*^9, 3.430670888849*^9}, {3.430670920866*^9, 3.430670943164*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"10", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"11", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"12", ",", "3"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.430670943684*^9, 3.430675799644*^9, 3.4307293239465*^9, 3.4307295991965*^9, 3.43073020105*^9, 3.4307303719779997`*^9, 3.4307305904370003`*^9, 3.4307308664630003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"List", " ", "@@", " ", "pd"}]], "Input", CellChangeTimes->{{3.4306709962539997`*^9, 3.430670999663*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"1", ",", "4", ",", "2", ",", "5"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"3", ",", "8", ",", "4", ",", "9"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"5", ",", "10", ",", "6", ",", "1"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"9", ",", "6", ",", "10", ",", "7"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"7", ",", "2", ",", "8", ",", "3"}], "]"}]}], "}"}]], "Output", CellChangeTimes->{3.430671000344*^9, 3.430675799665*^9, 3.430729323962125*^9, 3.43072959922775*^9, 3.430730201623*^9, 3.4307303721289997`*^9, 3.430730590499*^9, 3.430730866525*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"S2", "[", RowBox[{"L_PD", ",", " ", "a_List"}], "]"}], " ", ":=", " ", RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"List", " ", "@@", "L"}], ",", "a"}], "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"t1", "=", RowBox[{"S2", "[", RowBox[{"pd", ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "]"}]}]}], "Input", CellChangeTimes->{{3.4306709607390003`*^9, 3.430670973197*^9}, { 3.430671006947*^9, 3.4306710188450003`*^9}, {3.4306710515179996`*^9, 3.430671052619*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"1", ",", "4", ",", "2", ",", "5"}], "]"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"3", ",", "8", ",", "4", ",", "9"}], "]"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"5", ",", "10", ",", "6", ",", "1"}], "]"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"9", ",", "6", ",", "10", ",", "7"}], "]"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"7", ",", "2", ",", "8", ",", "3"}], "]"}], ",", "0"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4306709778310003`*^9, 3.430671019567*^9, 3.4306710541400003`*^9, 3.4306757996940002`*^9, 3.430729323993375*^9, 3.430729599259*^9, 3.430730201703*^9, 3.4307303722139997`*^9, 3.430730590602*^9, 3.430730866658*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t2", "=", RowBox[{"t1", " ", "/.", " ", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "0"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "j"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"k", ",", "l"}], "]"}]}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "1"}], "}"}], " ", "\[RuleDelayed]", " ", RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "l"}], "]"}], RowBox[{"p", "[", RowBox[{"j", ",", "k"}], "]"}]}]}]}], "\[IndentingNewLine]", "}"}]}]}]], "Input", CellChangeTimes->{{3.4306710561470003`*^9, 3.4306712189370003`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"1", ",", "4"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"2", ",", "5"}], "]"}]}], ",", RowBox[{ RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"4", ",", "9"}], "]"}]}], ",", RowBox[{ RowBox[{"p", "[", RowBox[{"1", ",", "5"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}]}], ",", RowBox[{ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"7", ",", "9"}], "]"}]}], ",", RowBox[{ RowBox[{"p", "[", RowBox[{"2", ",", "7"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}]}]}], "}"}]], "Output", CellChangeTimes->{ 3.4306711048529997`*^9, 3.4306711643529997`*^9, {3.430671199742*^9, 3.430671219314*^9}, 3.430675799726*^9, 3.430729324009*^9, 3.43072959929025*^9, 3.430730201874*^9, 3.430730372289*^9, 3.430730590668*^9, 3.430730866759*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Times", "[", RowBox[{"2", ",", "3"}], "]"}]], "Input", CellChangeTimes->{{3.430671268598*^9, 3.430671273671*^9}}], Cell[BoxData["6"], "Output", CellChangeTimes->{3.4306712741029997`*^9, 3.430675799759*^9, 3.43072932404025*^9, 3.4307295993215*^9, 3.430730202225*^9, 3.4307303723599997`*^9, 3.430730590809*^9, 3.430730866814*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Times", " ", "@@", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6", ",", "7"}], "}"}]}]], "Input", CellChangeTimes->{{3.430671248574*^9, 3.430671255123*^9}}], Cell[BoxData["5040"], "Output", CellChangeTimes->{3.430671302936*^9, 3.430675799785*^9, 3.430729324055875*^9, 3.43072959935275*^9, 3.4307302023459997`*^9, 3.430730372427*^9, 3.4307305908710003`*^9, 3.4307308668710003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t3", "=", RowBox[{"Times", " ", "@@", " ", "t2"}]}]], "Input", CellChangeTimes->{{3.430671309151*^9, 3.4306713290550003`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"p", "[", RowBox[{"1", ",", "4"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"1", ",", "5"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"2", ",", "5"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"2", ",", "7"}], "]"}], " ", SuperscriptBox[ RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}], "2"], " ", RowBox[{"p", "[", RowBox[{"4", ",", "9"}], "]"}], " ", SuperscriptBox[ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], "2"], " ", RowBox[{"p", "[", RowBox[{"7", ",", "9"}], "]"}]}]], "Output", CellChangeTimes->{{3.430671314231*^9, 3.430671329792*^9}, 3.430675799816*^9, 3.4307293240715*^9, 3.430729599368375*^9, 3.43073020241*^9, 3.430730372499*^9, 3.430730590933*^9, 3.430730866929*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"t3", " ", "/.", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}]}], " ", "\[RuleDelayed]", " ", RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}]}], "}"}]}], " ", "/.", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}]}], " ", "\[RuleDelayed]", " ", RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}]}], "}"}]}]], "Input", CellChangeTimes->{{3.4306713637460003`*^9, 3.430671421814*^9}, { 3.4306714555889997`*^9, 3.4306714565690002`*^9}}], Cell[BoxData[ RowBox[{ SuperscriptBox[ RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}], "2"], " ", RowBox[{"p", "[", RowBox[{"4", ",", "5"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"4", ",", "9"}], "]"}], " ", RowBox[{"p", "[", RowBox[{"5", ",", "7"}], "]"}], " ", SuperscriptBox[ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], "2"], " ", RowBox[{"p", "[", RowBox[{"7", ",", "9"}], "]"}]}]], "Output", CellChangeTimes->{3.4306714221809998`*^9, 3.4306714593269997`*^9, 3.430675799844*^9, 3.43072932410275*^9, 3.430729599399625*^9, 3.430730202498*^9, 3.43073037258*^9, 3.430730591026*^9, 3.4307308669890003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t4", "=", RowBox[{"t3", " ", "//.", " ", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}]}], " ", "\[RuleDelayed]", " ", RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}]}], "}"}]}]}]], "Input", CellChangeTimes->{3.430671486118*^9, {3.430671555248*^9, 3.430671555764*^9}}],\ Cell[BoxData[ RowBox[{ SuperscriptBox[ RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}], "2"], " ", SuperscriptBox[ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], "2"], " ", SuperscriptBox[ RowBox[{"p", "[", RowBox[{"7", ",", "9"}], "]"}], "2"]}]], "Output", CellChangeTimes->{3.4306714941470003`*^9, 3.430671556124*^9, 3.4306757998710003`*^9, 3.430729324118375*^9, 3.430729599430875*^9, 3.430730202646*^9, 3.4307303726879997`*^9, 3.4307305910880003`*^9, 3.43073086705*^9}] }, Open ]], Cell["So our smoothing has 3 cycles!", "Text", CellChangeTimes->{{3.430671504152*^9, 3.430671512163*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t4", " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "^", "2"}], " ", "\[RuleDelayed]", " ", "c"}]}]], "Input", CellChangeTimes->{{3.430671558842*^9, 3.430671576969*^9}}], Cell[BoxData[ SuperscriptBox["c", "3"]], "Output", CellChangeTimes->{3.430671584141*^9, 3.430675799894*^9, 3.430729324149625*^9, 3.430729599462125*^9, 3.430730202973*^9, 3.430730372763*^9, 3.4307305911549997`*^9, 3.43073086712*^9}] }, Open ]], Cell["\<\ \"p[i,j][m]\" means \"a path from i to j, named m; by convention, a path is \ named after the minimal edge inside it.\ \>", "Text", CellChangeTimes->{{3.430671710958*^9, 3.430671794297*^9}, 3.430671840633*^9}], Cell[BoxData[ RowBox[{ RowBox[{"S3", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"List", "@@", "L"}], ",", "a"}], "}"}], "]"}], "/.", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "0"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "j"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"k", ",", "l"}], "]"}], "]"}]}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "1"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "l"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"j", ",", "k"}], "]"}], "]"}]}]}]}], "\[IndentingNewLine]", "}"}]}], ")"}]}]}]], "Input", CellChangeTimes->{{3.4306717027060003`*^9, 3.4306717075550003`*^9}, 3.430671831349*^9}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"S3", "[", RowBox[{"pd", ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.430671833887*^9, 3.43067185024*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"1", ",", "4"}], "]"}], "[", "1", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"1", ",", "5"}], "]"}], "[", "1", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"2", ",", "5"}], "]"}], "[", "2", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"2", ",", "7"}], "]"}], "[", "2", "]"}], " ", SuperscriptBox[ RowBox[{ RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}], "[", "3", "]"}], "2"], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"4", ",", "9"}], "]"}], "[", "4", "]"}], " ", SuperscriptBox[ RowBox[{ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], "[", "6", "]"}], "2"], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"7", ",", "9"}], "]"}], "[", "7", "]"}]}]], "Output", CellChangeTimes->{3.430671850648*^9, 3.430675800124*^9, 3.430729324180875*^9, 3.430729599493375*^9, 3.430730203199*^9, 3.4307303728529997`*^9, 3.430730591278*^9, 3.430730867216*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"S4", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{ RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"List", "@@", "L"}], ",", "a"}], "}"}], "]"}], "/.", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "0"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "j"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"k", ",", "l"}], "]"}], "]"}]}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "1"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "l"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"j", ",", "k"}], "]"}], "]"}]}]}]}], "\[IndentingNewLine]", "}"}]}], ")"}]}], " ", "//.", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}]}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{"S4", "[", RowBox[{"pd", ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "]"}]}], "Input", CellChangeTimes->{{3.4306718975550003`*^9, 3.430671898302*^9}, { 3.430671934401*^9, 3.430671955276*^9}}], Cell[BoxData[ RowBox[{ SuperscriptBox[ RowBox[{ RowBox[{"p", "[", RowBox[{"3", ",", "8"}], "]"}], "[", "3", "]"}], "2"], " ", SuperscriptBox[ RowBox[{ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], "[", "6", "]"}], "2"], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"7", ",", "7"}], "]"}], "[", "1", "]"}]}]], "Output", CellChangeTimes->{3.430671957043*^9, 3.430675800172*^9, 3.430729324212125*^9, 3.430729599524625*^9, 3.430730203344*^9, 3.430730372929*^9, 3.430730591358*^9, 3.4307308672939997`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"S5", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"List", "@@", "L"}], ",", "a"}], "}"}], "]"}], "/.", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "0"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "j"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"k", ",", "l"}], "]"}], "]"}]}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "1"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "l"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"j", ",", "k"}], "]"}], "]"}]}]}]}], "\[IndentingNewLine]", "}"}]}], ")"}]}], " ", "//.", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}]}]}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"_", ",", "_"}], "]"}], "[", "m_", "]"}], "^", "_."}], "\[RuleDelayed]", RowBox[{"c", "[", "m", "]"}]}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{"S5", "[", RowBox[{"pd", ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "]"}]}], "Input", CellChangeTimes->{{3.4306719919449997`*^9, 3.430672013981*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"c", "[", "6", "]"}]}]], "Output", CellChangeTimes->{3.4306720425480003`*^9, 3.430675800231*^9, 3.43072932422775*^9, 3.430729599555875*^9, 3.43073020355*^9, 3.430730373006*^9, 3.430730591429*^9, 3.430730867366*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{"S5", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"S5", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"S5", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "]"}]}], "\[IndentingNewLine]", "}"}]], "Input", CellChangeTimes->{{3.4306720787390003`*^9, 3.430672235118*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], ",", RowBox[{"c", "[", "1", "]"}], ",", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}]}], "}"}]], "Output", CellChangeTimes->{{3.430672118408*^9, 3.430672133351*^9}, 3.43067217985*^9, { 3.4306722101949997`*^9, 3.430672236032*^9}, 3.430675800356*^9, 3.430729324259*^9, 3.430729599587125*^9, 3.430730203672*^9, 3.430730373085*^9, 3.4307305915030003`*^9, 3.4307308674370003`*^9}] }, Open ]], Cell["Yet, we want S to also understand \"*\" s!", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430672291618*^9, 3.4306723047320004`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"S", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{ RowBox[{ RowBox[{ RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"List", "@@", "L"}], ",", "a"}], "}"}], "]"}], "/.", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "0"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "j"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"k", ",", "l"}], "]"}], "]"}]}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "1"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "l"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"j", ",", "k"}], "]"}], "]"}]}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"{", RowBox[{"x_X", ",", "\"\<*\>\""}], "}"}], "\[RuleDelayed]", "x"}]}], "}"}]}], ")"}]}], "//.", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}]}]}], "//.", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k_", ",", "l_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"c", "[", "m", "]"}], " ", RowBox[{"c", "[", "n", "]"}]}], "\[Rule]", RowBox[{"c", "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}]}], ")"}]}], ",", RowBox[{ RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "l_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{"(", RowBox[{ RowBox[{"c", "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "m", "]"}], " ", RowBox[{"c", "[", "n", "]"}]}]}], ")"}]}]}], "}"}]}], "//.", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"_", ",", "_"}], "]"}], "[", "m_", "]"}], "^", "_."}], "\[RuleDelayed]", RowBox[{"c", "[", "m", "]"}]}]}]}]], "Input", FontColor->RGBColor[1, 0, 0]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{"S", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"S", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"S", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{"{", RowBox[{"0", ",", "\"\<*\>\"", ",", "0"}], "}"}]}], "]"}]}], "\[IndentingNewLine]", "}"}]], "Input", CellChangeTimes->{{3.4306723891400003`*^9, 3.430672417001*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], ",", RowBox[{"c", "[", "1", "]"}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}]}], "}"}]], "Output", CellChangeTimes->{3.430672397134*^9, 3.430672433243*^9, 3.430675800401*^9, 3.43072932429025*^9, 3.430729599649625*^9, 3.430730203835*^9, 3.4307303732650003`*^9, 3.4307305916549997`*^9, 3.430730867532*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{"S", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"5", ",", "2"}], "]"}], "]"}], "]"}], ",", " ", "\"\<00010\>\""}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"S", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"5", ",", "2"}], "]"}], "]"}], "]"}], ",", " ", "\"\<00110\>\""}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"S", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"5", ",", "2"}], "]"}], "]"}], "]"}], ",", " ", "\"\<00*10\>\""}], "]"}]}], "\[IndentingNewLine]", "}"}]], "Input", CellChangeTimes->{{3.430672463916*^9, 3.430672608796*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"c", "[", "2", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ")"}]}]}], "}"}]], "Output", CellChangeTimes->{ 3.43067250705*^9, {3.4306725839969997`*^9, 3.430672592126*^9}, 3.430672622436*^9, 3.430675800433*^9, 3.4307293243215*^9, 3.430729599680875*^9, 3.430730203949*^9, 3.430730373344*^9, 3.430730591776*^9, 3.4307308677019997`*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"S6", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{ RowBox[{"Times", "@@", RowBox[{"(", RowBox[{ RowBox[{"Thread", "[", RowBox[{"{", RowBox[{ RowBox[{"List", "@@", "L"}], ",", "a"}], "}"}], "]"}], "/.", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "0"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "j"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"k", ",", "l"}], "]"}], "]"}]}]}], ",", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], ",", "1"}], "}"}], "\[RuleDelayed]", RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "l"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"i", ",", "l"}], "]"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"j", ",", "k"}], "]"}], "]"}]}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"{", RowBox[{"x_X", ",", "\"\<*\>\""}], "}"}], "\[RuleDelayed]", "x"}]}], "}"}]}], ")"}]}], "//.", RowBox[{ RowBox[{ RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"j_", ",", "k_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{ RowBox[{"p", "[", RowBox[{"i", ",", "k"}], "]"}], "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}]}]}]}]], "Input", CellChangeTimes->{{3.430672674969*^9, 3.430672692843*^9}, 3.430672838373*^9}],\ Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"S6", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"5", ",", "2"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{ RowBox[{"Characters", "[", "\"\<00*10\>\"", "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{"\"\<0\>\"", "\[Rule]", "0"}], ",", RowBox[{"\"\<1\>\"", "\[Rule]", "1"}]}], "}"}]}]}], "]"}]], "Input", CellChangeTimes->{{3.430672700073*^9, 3.430672758144*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"X", "[", RowBox[{"10", ",", "6", ",", "1", ",", "5"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"1", ",", "5"}], "]"}], "[", "1", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"4", ",", "4"}], "]"}], "[", "2", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"6", ",", "10"}], "]"}], "[", "3", "]"}]}]], "Output", CellChangeTimes->{{3.4306727606400003`*^9, 3.430672781615*^9}, 3.430672841941*^9, 3.4306758004709997`*^9, 3.430729324368375*^9, 3.430729599712125*^9, 3.4307302040559998`*^9, 3.430730373439*^9, 3.430730591946*^9, 3.430730867835*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"S6", "[", RowBox[{ RowBox[{"PD", "[", RowBox[{"Mirror", "[", RowBox[{"Knot", "[", RowBox[{"5", ",", "2"}], "]"}], "]"}], "]"}], ",", " ", RowBox[{ RowBox[{"Characters", "[", "\"\<00*10\>\"", "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{"\"\<0\>\"", "\[Rule]", "0"}], ",", RowBox[{"\"\<1\>\"", "\[Rule]", "1"}]}], "}"}]}]}], "]"}], " ", "/.", " ", RowBox[{ RowBox[{ RowBox[{"X", "[", RowBox[{"i_", ",", "j_", ",", "k_", ",", "l_"}], "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"i_", ",", "j_"}], "]"}], "[", "m_", "]"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"k_", ",", "l_"}], "]"}], "[", "n_", "]"}]}], "\[RuleDelayed]", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"c", "[", "m", "]"}], " ", RowBox[{"c", "[", "n", "]"}]}], "\[Rule]", RowBox[{"c", "[", RowBox[{"Min", "[", RowBox[{"m", ",", "n"}], "]"}], "]"}]}], ")"}]}]}]], "Input", CellChangeTimes->{{3.430672912432*^9, 3.4306729390559998`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ")"}], " ", RowBox[{ RowBox[{"p", "[", RowBox[{"4", ",", "4"}], "]"}], "[", "2", "]"}]}]], "Output", CellChangeTimes->{3.4306729650299997`*^9, 3.4306758005*^9, 3.43072932441525*^9, 3.430729599743375*^9, 3.430730204118*^9, 3.430730373576*^9, 3.430730592009*^9, 3.430730867894*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Permutations", "[", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "3"}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.4306730614040003`*^9, 3.430673085983*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "3", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "3", ",", "3", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "1", ",", "3", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "1", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", "3", ",", "3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "2", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "1", ",", "3", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "2", ",", "1", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "2", ",", "3", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "3", ",", "1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "3", ",", "2", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.4306730709820004`*^9, 3.430673086898*^9}, 3.4306758005220003`*^9, 3.4307293244465*^9, 3.430729599774625*^9, 3.430730204216*^9, 3.43073037371*^9, 3.4307305920690002`*^9, 3.430730867953*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Permutations", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "\"\<*\>\""}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.430673111969*^9, 3.4306731782*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "\<\"*\"\>"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "\<\"*\"\>", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "\<\"*\"\>"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "\<\"*\"\>", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "\<\"*\"\>", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "\<\"*\"\>", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "\<\"*\"\>"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "\<\"*\"\>", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "\<\"*\"\>", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "\<\"*\"\>", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "\<\"*\"\>", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "\<\"*\"\>", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "\<\"*\"\>"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "\<\"*\"\>", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "\<\"*\"\>", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "\<\"*\"\>", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4306731383710003`*^9, 3.43067580055*^9, 3.43072932447775*^9, 3.430729599805875*^9, 3.430730204333*^9, 3.430730373797*^9, 3.430730592132*^9, 3.4307308680109997`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"f", "/@", RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}]}]], "Input", CellChangeTimes->{{3.430673184576*^9, 3.4306731885690002`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"f", "[", "1", "]"}], ",", RowBox[{"f", "[", "2", "]"}], ",", RowBox[{"f", "[", "3", "]"}]}], "}"}]], "Output", CellChangeTimes->{3.430673194521*^9, 3.4306758005769997`*^9, 3.430729324509*^9, 3.4307295998215*^9, 3.430730204392*^9, 3.430730373875*^9, 3.430730592212*^9, 3.430730868075*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"S", "/@", RowBox[{"Permutations", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "\"\<*\>\""}], "}"}], "]"}]}]], "Input", CellChangeTimes->{{3.4306731993190002`*^9, 3.4306732071*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "\<\"*\"\>"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "\<\"*\"\>", ",", "1"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "\<\"*\"\>"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "\<\"*\"\>", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "\<\"*\"\>", ",", "0", ",", "1"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "\<\"*\"\>", ",", "1", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "\<\"*\"\>"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "\<\"*\"\>", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "1", ",", "\<\"*\"\>", ",", "0", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "\<\"*\"\>", ",", "0", ",", "0", ",", "1"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "\<\"*\"\>", ",", "0", ",", "1", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"0", ",", "\<\"*\"\>", ",", "1", ",", "0", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "\<\"*\"\>"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "\<\"*\"\>", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"1", ",", "0", ",", "\<\"*\"\>", ",", "0", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"1", ",", "\<\"*\"\>", ",", "0", ",", "0", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], "]"}], ",", RowBox[{"S", "[", RowBox[{"{", RowBox[{"\<\"*\"\>", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], "]"}]}], "}"}]], "Output", CellChangeTimes->{3.4306732088450003`*^9, 3.430675800606*^9, 3.43072932454025*^9, 3.43072959985275*^9, 3.4307302045559998`*^9, 3.430730373955*^9, 3.430730592307*^9, 3.430730868135*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"S7", "[", "a_", "]"}], " ", ":=", " ", RowBox[{"S", "[", RowBox[{"pd", ",", " ", "a"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"S7", "/@", RowBox[{"Permutations", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "\"\<*\>\""}], "}"}], "]"}]}]}], "Input", CellChangeTimes->{{3.430673232828*^9, 3.4306732696809998`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"c", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "6", "]"}]}]}], ")"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"c", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "6", "]"}]}]}], ")"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"c", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}]}], ")"}]}], ",", RowBox[{ RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"c", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}]}], ")"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"c", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}]}], ")"}]}], ",", RowBox[{ RowBox[{"c", "[", "3", "]"}], " ", RowBox[{"(", RowBox[{ RowBox[{"c", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}]}], ")"}]}], ",", RowBox[{ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "2", "]"}]}], "\[Rule]", RowBox[{"c", "[", "1", "]"}]}]}], "}"}]], "Output", CellChangeTimes->{{3.4306732592530003`*^9, 3.430673270627*^9}, 3.4306758006940002`*^9, 3.4307293245715*^9, 3.430729599899625*^9, 3.4307302047279997`*^9, 3.430730374058*^9, 3.43073059242*^9, 3.43073086824*^9}] }, Open ]], Cell["\<\ Define the degree of an arbitrary combination of v_ + and v_ - ' s :\ \>", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430673354304*^9, 3.43067337692*^9}}], Cell[BoxData[ StyleBox[ RowBox[{ RowBox[{"Deg", "[", "expr_", "]"}], ":=", RowBox[{ RowBox[{"Count", "[", RowBox[{"expr", ",", "_vp", ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "]"}], "-", RowBox[{"Count", "[", RowBox[{"expr", ",", "_vm", ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "]"}]}]}], FontColor->RGBColor[1, 0, 0]]], "Input"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"Deg", "[", RowBox[{ RowBox[{"vp", "[", "6", "]"}], RowBox[{"vp", "[", "7", "]"}]}], "]"}], ",", " ", RowBox[{"Deg", "[", RowBox[{ RowBox[{"vp", "[", "6", "]"}], RowBox[{"vm", "[", "7", "]"}]}], "]"}]}], "}"}]], "Input", CellChangeTimes->{{3.430673417278*^9, 3.4306734427860003`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"2", ",", "0"}], "}"}]], "Output", CellChangeTimes->{{3.430673427803*^9, 3.430673443135*^9}, 3.430675800722*^9, 3.430729324618375*^9, 3.430729599930875*^9, 3.430730204808*^9, 3.4307303742349997`*^9, 3.4307305924960003`*^9, 3.430730868315*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t5", "=", RowBox[{ RowBox[{"vp", "[", "6", "]"}], RowBox[{"vp", "[", "7", "]"}]}]}]], "Input", CellChangeTimes->{{3.430673597611*^9, 3.430673598328*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"vp", "[", "6", "]"}], " ", RowBox[{"vp", "[", "7", "]"}]}]], "Output", CellChangeTimes->{3.43067365948*^9, 3.430675800752*^9, 3.430729324634*^9, 3.430729599962125*^9, 3.43073020487*^9, 3.4307303743129997`*^9, 3.430730592567*^9, 3.430730868375*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Head", "[", "t5", "]"}]], "Input", CellChangeTimes->{{3.430673610447*^9, 3.430673620486*^9}}], Cell[BoxData["Times"], "Output", CellChangeTimes->{3.4306736621549997`*^9, 3.430675800777*^9, 3.43072932466525*^9, 3.43072959997775*^9, 3.4307302049309998`*^9, 3.4307303743929996`*^9, 3.430730592637*^9, 3.430730868594*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t5", "[", RowBox[{"[", "1", "]"}], "]"}]], "Input", CellChangeTimes->{{3.4306736656549997`*^9, 3.4306736668640003`*^9}}], Cell[BoxData[ RowBox[{"vp", "[", "6", "]"}]], "Output", CellChangeTimes->{3.4306736749630003`*^9, 3.430675800802*^9, 3.4307293246965*^9, 3.430729600009*^9, 3.430730204986*^9, 3.430730374487*^9, 3.430730592804*^9, 3.430730869333*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Head", "[", RowBox[{"t5", "[", RowBox[{"[", "1", "]"}], "]"}], "]"}]], "Input", CellChangeTimes->{{3.430673680708*^9, 3.430673690227*^9}}], Cell[BoxData["vp"], "Output", CellChangeTimes->{3.430673692741*^9, 3.43067580083*^9, 3.430729324712125*^9, 3.430729600024625*^9, 3.430730205049*^9, 3.4307303753710003`*^9, 3.4307305931*^9, 3.430730869823*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"t5", "[", RowBox[{"[", "1", "]"}], "]"}], "[", RowBox[{"[", "1", "]"}], "]"}]], "Input", CellChangeTimes->{{3.430673695814*^9, 3.4306737026400003`*^9}}], Cell[BoxData["6"], "Output", CellChangeTimes->{3.4306737067060003`*^9, 3.4306758008570004`*^9, 3.430729324743375*^9, 3.430729600055875*^9, 3.430730205269*^9, 3.4307303754709997`*^9, 3.430730593229*^9, 3.4307308701289997`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t5", "[", RowBox[{"[", RowBox[{"1", ",", "1"}], "]"}], "]"}]], "Input", CellChangeTimes->{{3.4306737106619997`*^9, 3.430673713568*^9}}], Cell[BoxData["6"], "Output", CellChangeTimes->{3.430673715215*^9, 3.4306758008789997`*^9, 3.430729324774625*^9, 3.430729600087125*^9, 3.4307302054960003`*^9, 3.430730375966*^9, 3.4307305933310003`*^9, 3.430730870314*^9}] }, Open ]], Cell["\<\ V[L, a] is the vector space sitting at a for L, V[L, a, deg] will be the \ degree deg part of V[L, a]:\ \>", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430673774618*^9, 3.4306738460480003`*^9}}], Cell[BoxData[{ StyleBox[ RowBox[{ RowBox[{"V", "[", RowBox[{"L_PD", ",", "s_String", ",", "deg___"}], "]"}], ":=", RowBox[{"V", "[", RowBox[{"L", ",", RowBox[{ RowBox[{"Characters", "[", "s", "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{"\"\<0\>\"", "\[Rule]", "0"}], ",", RowBox[{"\"\<1\>\"", "\[Rule]", "1"}]}], "}"}]}], ",", "deg"}], "]"}]}], FontColor->RGBColor[1, 0, 0]], "\n", StyleBox[ RowBox[{ RowBox[{"V", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{"List", "@@", RowBox[{"Expand", "[", RowBox[{ RowBox[{"S", "[", RowBox[{"L", ",", "a"}], "]"}], "/.", RowBox[{"x_c", "\[RuleDelayed]", RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{"vp", "@@", "x"}], ")"}], "+", RowBox[{"(", RowBox[{"vm", "@@", "x"}], ")"}]}], ")"}]}]}], "]"}]}]}], FontColor->RGBColor[1, 0, 0]], "\n", StyleBox[ RowBox[{ RowBox[{"V", "[", RowBox[{"L_PD", ",", "a_List", ",", "deg_Integer"}], "]"}], ":=", RowBox[{"Select", "[", RowBox[{ RowBox[{"V", "[", RowBox[{"L", ",", "a"}], "]"}], ",", RowBox[{ RowBox[{"(", RowBox[{"deg", "\[Equal]", RowBox[{ RowBox[{"Deg", "[", "#", "]"}], "+", RowBox[{"(", RowBox[{"Plus", "@@", "a"}], ")"}]}]}], ")"}], "&"}]}], "]"}]}], FontColor->RGBColor[1, 0, 0]]}], "Input"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"S", "[", RowBox[{"pd", ",", "\"\<00010\>\""}], "]"}]], "Input"], Cell[BoxData[ RowBox[{ RowBox[{"c", "[", "1", "]"}], " ", RowBox[{"c", "[", "3", "]"}]}]], "Output", CellChangeTimes->{3.430673975402*^9, 3.430675800913*^9, 3.430729324805875*^9, 3.430729600118375*^9, 3.430730206355*^9, 3.430730376067*^9, 3.4307305936070004`*^9, 3.430730870434*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t6", "=", RowBox[{ RowBox[{"S", "[", RowBox[{"pd", ",", "\"\<00010\>\""}], "]"}], "/.", RowBox[{"x_c", "\[RuleDelayed]", RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{"vp", "@@", "x"}], ")"}], "+", RowBox[{"(", RowBox[{"vm", "@@", "x"}], ")"}]}], ")"}]}]}]}]], "Input", CellChangeTimes->{{3.430673950758*^9, 3.430673993009*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "+", RowBox[{"vp", "[", "1", "]"}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"vm", "[", "3", "]"}], "+", RowBox[{"vp", "[", "3", "]"}]}], ")"}]}]], "Output", CellChangeTimes->{{3.4306739638599997`*^9, 3.430673993809*^9}, 3.430675800941*^9, 3.430729324837125*^9, 3.430729600149625*^9, 3.430730207196*^9, 3.4307303761099997`*^9, 3.4307305939449997`*^9, 3.430730870567*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t7", "=", RowBox[{"Expand", "[", "t6", "]"}]}]], "Input", CellChangeTimes->{{3.430673995204*^9, 3.430673998347*^9}, {3.430674030186*^9, 3.430674030888*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "+", RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}]}]], "Output", CellChangeTimes->{3.4306739986730003`*^9, 3.430674033582*^9, 3.4306758009630003`*^9, 3.430729324868375*^9, 3.43072960016525*^9, 3.430730207738*^9, 3.430730376165*^9, 3.430730595106*^9, 3.430730870625*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t8", "=", RowBox[{"List", " ", "@@", " ", "t7"}]}]], "Input", CellChangeTimes->{{3.430674035225*^9, 3.430674051052*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}]}], "}"}]], "Output", CellChangeTimes->{{3.4306740394820004`*^9, 3.430674052717*^9}, 3.43067580099*^9, 3.430729324899625*^9, 3.4307296001965*^9, 3.430730207799*^9, 3.430730376217*^9, 3.430730595388*^9, 3.430730870909*^9} ] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Select", "[", RowBox[{"t8", ",", " ", RowBox[{ RowBox[{"#", "\[Equal]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], RowBox[{"vm", "[", "3", "]"}]}]}], "&"}]}], "]"}]], "Input", CellChangeTimes->{{3.430674054987*^9, 3.430674114954*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "}"}]], "Output", CellChangeTimes->{3.430674115301*^9, 3.4306758010179996`*^9, 3.430729324930875*^9, 3.430729600212125*^9, 3.43073020801*^9, 3.430730376299*^9, 3.430730595479*^9, 3.430730871153*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Select", "[", RowBox[{"t8", ",", " ", RowBox[{ RowBox[{ RowBox[{"Deg", "[", "#", "]"}], "\[Equal]", "0"}], "&"}]}], "]"}]], "Input", CellChangeTimes->{{3.430674129087*^9, 3.430674140059*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}]}], "}"}]], "Output", CellChangeTimes->{3.430674141716*^9, 3.430675801041*^9, 3.430729324962125*^9, 3.430729600243375*^9, 3.430730208074*^9, 3.430730376347*^9, 3.430730596171*^9, 3.4307308715690002`*^9}] }, Open ]], Cell["Defining the edge morphisms :", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.4306741865369997`*^9, 3.430674193381*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"d", "[", RowBox[{"L_PD", ",", "s_String"}], "]"}], ":=", RowBox[{"d", "[", RowBox[{"L", ",", RowBox[{ RowBox[{"Characters", "[", "s", "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{"\"\<0\>\"", "\[Rule]", "0"}], ",", RowBox[{"\"\<1\>\"", "\[Rule]", "1"}]}], "}"}]}]}], "]"}]}], "\n", RowBox[{ RowBox[{"d", "[", RowBox[{"L_PD", ",", "a_List"}], "]"}], ":=", RowBox[{ RowBox[{"S", "[", RowBox[{"L", ",", "a"}], "]"}], "/.", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"c", "[", "x_", "]"}], RowBox[{"c", "[", "y_", "]"}]}], "\[Rule]", RowBox[{"c", "[", "z_", "]"}]}], ")"}], "*", "_."}], "\[RuleDelayed]", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "@", "x"}], " ", RowBox[{"vp", "@", "y"}]}], "\[Rule]", RowBox[{"vp", "@", "z"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vp", "@", "x"}], " ", RowBox[{"vm", "@", "y"}]}], "\[Rule]", RowBox[{"vm", "@", "z"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "@", "x"}], " ", RowBox[{"vp", "@", "y"}]}], "\[Rule]", RowBox[{"vm", "@", "z"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "@", "x"}], " ", RowBox[{"vm", "@", "y"}]}], "\[Rule]", "0"}]}], "}"}]}], ",", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"c", "[", "z_", "]"}], "\[Rule]", RowBox[{ RowBox[{"c", "[", "x_", "]"}], RowBox[{"c", "[", "y_", "]"}]}]}], ")"}], "*", "_."}], "\[RuleDelayed]", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "@", "z"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vp", "@", "x"}], " ", RowBox[{"vm", "@", "y"}]}], "+", RowBox[{ RowBox[{"vm", "@", "x"}], " ", RowBox[{"vp", "@", "y"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "@", "z"}], "\[Rule]", RowBox[{ RowBox[{"vm", "@", "x"}], " ", RowBox[{"vm", "@", "y"}]}]}]}], "}"}]}]}], "}"}]}]}]}], "Input", FontColor->RGBColor[1, 0, 0]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"d", "[", RowBox[{"pd", ",", " ", "#"}], "]"}], "&"}], " ", "/@", RowBox[{"Permutations", "[", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "\"\<*\>\""}], "}"}], "]"}]}]], "Input", CellChangeTimes->{{3.430674279366*^9, 3.430674298099*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "6", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "6", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "6", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "6", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "\[Rule]", RowBox[{"vm", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], "\[Rule]", "0"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4306743237279997`*^9, 3.430675801105*^9, 3.430729325009*^9, 3.430729600305875*^9, 3.4307302085950003`*^9, 3.430730376474*^9, 3.430730596311*^9, 3.430730871743*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"V", "[", RowBox[{"pd", ",", " ", "\"\<00010\>\""}], "]"}], " ", ",", " ", RowBox[{"d", "[", RowBox[{"pd", ",", " ", "\"\<00*10\>\""}], "]"}]}], "}"}]], "Input", CellChangeTimes->{{3.4306746184519997`*^9, 3.430674627138*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vp", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{ RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "6", "]"}]}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], "\[Rule]", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "6", "]"}]}]}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.430674627451*^9, 3.4306758011359997`*^9, 3.43072932504025*^9, 3.430729600337125*^9, 3.430730208677*^9, 3.4307303765299997`*^9, 3.4307305963599997`*^9, 3.430730871796*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Expand", "[", RowBox[{ RowBox[{"V", "[", RowBox[{"pd", ",", " ", "\"\<00010\>\""}], "]"}], " ", "/.", " ", RowBox[{"d", "[", RowBox[{"pd", ",", " ", "\"\<00*10\>\""}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.430674522367*^9, 3.430674537894*^9}, {3.430674579467*^9, 3.430674595686*^9}, {3.430674681541*^9, 3.4306746849370003`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vm", "[", "6", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "6", "]"}]}]}], ",", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{ RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], "+", RowBox[{ RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}], " ", RowBox[{"vp", "[", "6", "]"}]}]}]}], "}"}]], "Output", CellChangeTimes->{3.430674538293*^9, 3.430674597126*^9, 3.43067468524*^9, 3.4306758011610003`*^9, 3.4307293250715*^9, 3.430729600368375*^9, 3.430730208742*^9, 3.43073037659*^9, 3.4307305964110003`*^9, 3.430730871842*^9}] }, Open ]], Cell["The \"column\" direct sums :", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.430674934227*^9, 3.430674942199*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"KhBracket", "[", RowBox[{"L_PD", ",", "r_Integer", ",", "deg___"}], "]"}], ":=", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"r", "<", "0"}], "||", RowBox[{"r", ">", RowBox[{"Length", "[", "L", "]"}]}]}], ",", RowBox[{"{", "0", "}"}], ",", RowBox[{"Join", "@@", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{"v", "@@", "#"}], ")"}], " ", RowBox[{"V", "[", RowBox[{"L", ",", "#", ",", "deg"}], "]"}]}], ")"}], "&"}], "/@", RowBox[{"Permutations", "[", RowBox[{"Join", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"0", ",", RowBox[{"{", RowBox[{ RowBox[{"Length", "[", "L", "]"}], "-", "r"}], "}"}]}], "]"}], ",", RowBox[{"Table", "[", RowBox[{"1", ",", RowBox[{"{", "r", "}"}]}], "]"}]}], "]"}], "]"}]}], ")"}]}]}], "]"}]}], "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"CC", "[", RowBox[{"L_PD", ",", "r_Integer", ",", "deg_Integer"}], "]"}], ":=", RowBox[{"KhBracket", "[", RowBox[{"L", ",", RowBox[{"r", "+", RowBox[{"nm", "[", "L", "]"}]}], ",", RowBox[{"deg", "-", RowBox[{"np", "[", "L", "]"}], "+", RowBox[{"2", RowBox[{"nm", "[", "L", "]"}]}]}]}], "]"}]}]}], "Input", CellChangeTimes->{3.430674797678*^9, {3.430674908238*^9, 3.430674909315*^9}}, FontColor->RGBColor[1, 0, 0]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"KhBracket", "[", RowBox[{"pd", ",", "1"}], "]"}]], "Input", CellChangeTimes->{{3.430674801415*^9, 3.430674812501*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1"}], "]"}], " ", RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1"}], "]"}], " ", RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0"}], "]"}], " ", RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}], ",", RowBox[{ RowBox[{"v", "[", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vp", "[", "1", "]"}], " ", RowBox[{"vp", "[", "3", "]"}]}]}], "}"}]], "Output", CellChangeTimes->{3.4306748144849997`*^9, 3.430675801199*^9, 3.43072932510275*^9, 3.43072960041525*^9, 3.4307302089820004`*^9, 3.4307303766610003`*^9, 3.430730596472*^9, 3.4307308719*^9}] }, Open ]], Cell["The differential", "Text", CellFrame->{{0, 0}, {0, 0.5}}, CellChangeTimes->{{3.4306750267790003`*^9, 3.43067502973*^9}}], Cell[BoxData[ StyleBox[ RowBox[{ RowBox[{ RowBox[{"d", "[", "L_PD", "]"}], "[", "expr_", "]"}], ":=", RowBox[{ RowBox[{"Expand", "[", "expr", "]"}], "/.", RowBox[{ RowBox[{"s_", "*", "a_v"}], "\[RuleDelayed]", RowBox[{"Expand", "[", RowBox[{ RowBox[{"sign", "=", "1"}], ";", RowBox[{"Sum", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"a", "[", RowBox[{"[", "i", "]"}], "]"}], "\[Equal]", "0"}], ",", RowBox[{ RowBox[{"sign", "*", RowBox[{"ReplacePart", "[", RowBox[{"a", ",", "1", ",", "i"}], "]"}], "*", "s"}], "/.", RowBox[{"d", "[", RowBox[{"L", ",", RowBox[{"List", "@@", RowBox[{"ReplacePart", "[", RowBox[{"a", ",", "\"\<*\>\"", ",", "i"}], "]"}]}]}], "]"}]}], ",", RowBox[{ RowBox[{"sign", "*=", RowBox[{"-", "1"}]}], ";", "0"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"Length", "[", "a", "]"}]}], "}"}]}], "\[IndentingNewLine]", "]"}]}], "]"}]}]}]}], FontColor->RGBColor[1, 0, 0]]], "Input", CellChangeTimes->{{3.4306752196730003`*^9, 3.430675240926*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"t9", "=", RowBox[{ RowBox[{"d", "[", "pd", "]"}], "[", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.430675098755*^9, 3.4306751447650003`*^9}, { 3.430675366671*^9, 3.4306753673310003`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"-", RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "1"}], "]"}]}], " ", RowBox[{"vm", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"v", "[", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "2", "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "-", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vm", "[", "6", "]"}], " ", RowBox[{"vp", "[", "1", "]"}]}], "+", RowBox[{ RowBox[{"v", "[", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "2", "]"}]}], "-", RowBox[{ RowBox[{"v", "[", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "]"}], " ", RowBox[{"vm", "[", "1", "]"}], " ", RowBox[{"vm", "[", "3", "]"}], " ", RowBox[{"vp", "[", "6", "]"}]}]}]], "Output", CellChangeTimes->{{3.430675119554*^9, 3.430675145993*^9}, 3.430675368469*^9, 3.430675801237*^9, 3.430729325149625*^9, 3.43072960047775*^9, 3.430730209797*^9, 3.43073037676*^9, 3.4307305965439997`*^9, 3.430730871984*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"d", "[", "pd", "]"}], "[", "t9", "]"}]], "Input", CellChangeTimes->{{3.430675370531*^9, 3.430675374204*^9}}], Cell[BoxData["0"], "Output", CellChangeTimes->{3.430675377534*^9, 3.4306758013780003`*^9, 3.430729325180875*^9, 3.430729600524625*^9, 3.430730210336*^9, 3.430730376826*^9, 3.430730596611*^9, 3.4307308720880003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"Options", "[", "Betti", "]"}], "=", RowBox[{"{", RowBox[{"Modulus", "\[Rule]", "Infinity"}], "}"}]}], "\n", RowBox[{ RowBox[{"Rank", "[", RowBox[{"L_PD", ",", "r_Integer", ",", "deg_Integer", ",", "opts___"}], "]"}], ":=", RowBox[{ RowBox[{"Rank", "[", RowBox[{"L", ",", "r", ",", "deg", ",", "opts"}], "]"}], "=", RowBox[{"(", "\[IndentingNewLine]", RowBox[{ RowBox[{"modulus", "=", RowBox[{"(", RowBox[{ RowBox[{"Modulus", "/.", RowBox[{"{", "opts", "}"}]}], "/.", RowBox[{"Options", "[", "Betti", "]"}]}], ")"}]}], ";", "\[IndentingNewLine]", RowBox[{"Off", "[", RowBox[{"Solve", "::", "svars"}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"b0", "=", RowBox[{"CC", "[", RowBox[{"L", ",", "r", ",", "deg"}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"l1", "=", RowBox[{"Length", "[", RowBox[{"b1", "=", RowBox[{"CC", "[", RowBox[{"L", ",", RowBox[{"r", "+", "1"}], ",", "deg"}], "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"eqs", "=", RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"#", "\[Equal]", "0"}], ")"}], "&"}], "/@", RowBox[{ RowBox[{"d", "[", "L", "]"}], "[", "b0", "]"}]}], "/.", RowBox[{"MapThread", "[", RowBox[{"Rule", ",", RowBox[{"{", RowBox[{"b1", ",", RowBox[{"vars", "=", RowBox[{"Array", "[", RowBox[{"b", ",", "l1"}], "]"}]}]}], "}"}]}], "]"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"rk", "=", RowBox[{"Which", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"b0", "\[Equal]", RowBox[{"{", "}"}]}], "||", RowBox[{"l1", "\[Equal]", "0"}]}], ",", "\[IndentingNewLine]", "0", ",", RowBox[{"modulus", "===", "Infinity"}], ",", RowBox[{"Length", "[", RowBox[{"First", "[", RowBox[{"Solve", "[", RowBox[{"eqs", ",", "vars"}], "]"}], "]"}], "]"}], ",", "\[IndentingNewLine]", "True", ",", RowBox[{ RowBox[{"Length", "[", RowBox[{"First", "[", RowBox[{"Solve", "[", RowBox[{ RowBox[{"Append", "[", RowBox[{"eqs", ",", RowBox[{"Modulus", "\[Equal]", "modulus"}]}], "]"}], ",", "vars", ",", RowBox[{"Mode", "\[Rule]", "Modular"}]}], "]"}], "]"}], "]"}], "-", "1"}]}], "\[IndentingNewLine]", "]"}]}], ";", "\[IndentingNewLine]", RowBox[{"On", "[", RowBox[{"Solve", "::", "svars"}], "]"}], ";", "\[IndentingNewLine]", "rk"}], "\[IndentingNewLine]", ")"}]}]}], "\n", RowBox[{ RowBox[{"Betti", "[", RowBox[{"L_PD", ",", "r_Integer", ",", "deg_Integer", ",", "opts___"}], "]"}], ":=", RowBox[{ RowBox[{"Betti", "[", RowBox[{"L", ",", "r", ",", "deg", ",", "opts"}], "]"}], "=", RowBox[{"(", RowBox[{ RowBox[{"b", "=", RowBox[{ RowBox[{"Length", "[", RowBox[{"CC", "[", RowBox[{"L", ",", "r", ",", "deg"}], "]"}], "]"}], "-", RowBox[{"Rank", "[", RowBox[{"L", ",", "r", ",", "deg", ",", "opts"}], "]"}], "-", RowBox[{"Rank", "[", RowBox[{"L", ",", RowBox[{"r", "-", "1"}], ",", "deg", ",", "opts"}], "]"}]}]}], ";", "\[IndentingNewLine]", RowBox[{"Print", "[", RowBox[{"StringForm", "[", RowBox[{"\"\\"", ",", "r", ",", "deg", ",", "b"}], "]"}], "]"}], ";", "b"}], ")"}]}]}]}], "Input", CellChangeTimes->{{3.430666519208*^9, 3.430666534682*^9}, { 3.4306684503970003`*^9, 3.430668463896*^9}, {3.43066850724*^9, 3.430668509144*^9}, {3.430669028634*^9, 3.43066903792*^9}, { 3.430670200408*^9, 3.430670213933*^9}, {3.43067044695*^9, 3.4306704476219997`*^9}, {3.430671063998*^9, 3.430671072151*^9}, { 3.430672337781*^9, 3.430672338633*^9}, {3.4306733332139997`*^9, 3.430673350461*^9}, {3.430673901309*^9, 3.430673919269*^9}, { 3.430674231434*^9, 3.4306742331359997`*^9}, {3.430674726775*^9, 3.430674743842*^9}, {3.4306749055629997`*^9, 3.430674927745*^9}, { 3.430675050435*^9, 3.430675084263*^9}, {3.430675428795*^9, 3.43067547194*^9}}, FontColor->RGBColor[1, 0, 0]], Cell[BoxData[ RowBox[{"{", RowBox[{"Modulus", "\[Rule]", "\[Infinity]"}], "}"}]], "Output", CellChangeTimes->{3.430675801421*^9, 3.430729325212125*^9, 3.430729600555875*^9, 3.430730210475*^9, 3.430730376902*^9, 3.4307305966549997`*^9, 3.430730872166*^9}] }, Open ]], Cell[BoxData[{ RowBox[{ RowBox[{ RowBox[{"qBetti", "[", RowBox[{"L_PD", ",", "r_Integer", ",", "opts___"}], "]"}], ":=", RowBox[{"(", RowBox[{ RowBox[{"degs", "=", RowBox[{ RowBox[{"Union", "[", RowBox[{"Deg", "/@", RowBox[{"KhBracket", "[", RowBox[{"L", ",", RowBox[{"r", "+", RowBox[{"nm", "[", "L", "]"}]}]}], "]"}]}], "]"}], "+", RowBox[{"np", "[", "L", "]"}], "-", RowBox[{"nm", "[", "L", "]"}], "+", "r"}]}], ";", "\[IndentingNewLine]", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Betti", "[", RowBox[{"L", ",", "r", ",", "#", ",", "opts"}], "]"}], "&"}], "/@", "degs"}], ")"}], ".", RowBox[{"q", "^", "degs"}]}]}], ")"}]}], "\n"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"Kh1", "[", RowBox[{"L_PD", ",", "opts___"}], "]"}], ":=", RowBox[{ RowBox[{"Kh1", "[", RowBox[{"L", ",", "opts"}], "]"}], "=", RowBox[{"Expand", "[", RowBox[{"Sum", "[", RowBox[{ RowBox[{ RowBox[{"t", "^", "r"}], "*", RowBox[{"qBetti", "[", RowBox[{"L", ",", "r", ",", "opts"}], "]"}]}], ",", RowBox[{"{", RowBox[{"r", ",", RowBox[{"-", RowBox[{"nm", "[", "L", "]"}]}], ",", RowBox[{ RowBox[{"Length", "[", "L", "]"}], "-", RowBox[{"nm", "[", "L", "]"}]}]}], "}"}]}], "]"}], "]"}]}]}]}], "Input", CellChangeTimes->{{3.430666519208*^9, 3.430666534682*^9}, { 3.4306684503970003`*^9, 3.430668463896*^9}, {3.43066850724*^9, 3.430668509144*^9}, {3.430669028634*^9, 3.43066903792*^9}, { 3.430670200408*^9, 3.430670213933*^9}, {3.43067044695*^9, 3.4306704476219997`*^9}, {3.430671063998*^9, 3.430671072151*^9}, { 3.430672337781*^9, 3.430672338633*^9}, {3.4306733332139997`*^9, 3.430673350461*^9}, {3.430673901309*^9, 3.430673919269*^9}, { 3.430674231434*^9, 3.4306742331359997`*^9}, {3.430674726775*^9, 3.430674743842*^9}, {3.4306749055629997`*^9, 3.430674927745*^9}, { 3.430675050435*^9, 3.430675084263*^9}}, FontColor->RGBColor[1, 0, 0]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Kh1", "[", RowBox[{"PD", "[", RowBox[{"Knot", "[", RowBox[{"3", ",", "1"}], "]"}], "]"}], "]"}]], "Input", CellChangeTimes->{{3.4306685216400003`*^9, 3.430668530738*^9}}], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-3\\),\\!\\(-9\\)] = \\!\\(1\\)\"\>", StringForm["Betti[``,``] = ``", -3, -9, 1], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.4307308722860003`*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-3\\),\\!\\(-7\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -3, -7, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.4307308723570004`*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-3\\),\\!\\(-5\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -3, -5, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872413*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-3\\),\\!\\(-3\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -3, -3, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872429*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-2\\),\\!\\(-7\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -2, -7, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872451*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-2\\),\\!\\(-5\\)] = \\!\\(1\\)\"\>", StringForm["Betti[``,``] = ``", -2, -5, 1], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872491*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-2\\),\\!\\(-3\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -2, -3, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872524*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-1\\),\\!\\(-5\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -1, -5, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872539*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(-1\\),\\!\\(-3\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", -1, -3, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872566*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(0\\),\\!\\(-5\\)] = \\!\\(0\\)\"\>", StringForm["Betti[``,``] = ``", 0, -5, 0], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872582*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(0\\),\\!\\(-3\\)] = \\!\\(1\\)\"\>", StringForm["Betti[``,``] = ``", 0, -3, 1], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.430730872585*^9}], Cell[BoxData[ InterpretationBox["\<\"Betti[\\!\\(0\\),\\!\\(-1\\)] = \\!\\(1\\)\"\>", StringForm["Betti[``,``] = ``", 0, -1, 1], Editable->False]], "Print", CellChangeTimes->{3.4306685313129997`*^9, 3.430675801509*^9, 3.43072932529025*^9, 3.43072960060275*^9, 3.4307302108599997`*^9, 3.4307303769849997`*^9, 3.430730596737*^9, 3.4307308726070004`*^9}] }, Open ]], Cell[BoxData[ RowBox[{ FractionBox["1", SuperscriptBox["q", "3"]], "+", FractionBox["1", "q"], "+", FractionBox["1", RowBox[{ SuperscriptBox["q", "9"], " ", SuperscriptBox["t", "3"]}]], "+", FractionBox["1", RowBox[{ SuperscriptBox["q", "5"], " ", SuperscriptBox["t", "2"]}]]}]], "Output", CellChangeTimes->{3.4306685314639997`*^9, 3.430675802354*^9, 3.430729325462125*^9, 3.430729600759*^9, 3.430730211333*^9, 3.430730377317*^9, 3.430730597262*^9, 3.430730872613*^9}] }, Open ]] }, Open ]] }, WindowSize->{1008, 943}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, PrintingCopies->1, PrintingPageRange->{1, 1}, ShowSelection->True, CellLabelAutoDelete->True, Magnification->1.25, FrontEndVersion->"6.0 for Microsoft Windows (32-bit) (February 7, 2008)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "Info3430716465-7312052"->{ Cell[6469, 192, 1030, 20, 96, "Print", CellTags->"Info3430716465-7312052"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info3430716465-7312052", 113017, 3440} } *) (*NotebookFileOutline Notebook[{ Cell[568, 21, 670, 20, 34, "Text"], Cell[CellGroupData[{ Cell[1263, 45, 132, 1, 170, "Title"], Cell[1398, 48, 1460, 31, 159, "Text"], Cell[2861, 81, 145, 2, 45, "Text"], Cell[CellGroupData[{ Cell[3031, 87, 119, 2, 35, "Input"], Cell[3153, 91, 347, 5, 50, "Print"] }, Open ]], Cell[3515, 99, 331, 9, 34, "Text"], Cell[CellGroupData[{ Cell[3871, 112, 244, 6, 35, "Input"], Cell[4118, 120, 368, 8, 29, "Message"], Cell[4489, 130, 701, 16, 35, "Output"] }, Open ]], Cell[5205, 149, 205, 5, 45, "Text"], Cell[5413, 156, 915, 28, 58, "Input"], Cell[CellGroupData[{ Cell[6353, 188, 113, 2, 35, "Input"], Cell[6469, 192, 1030, 20, 96, "Print", CellTags->"Info3430716465-7312052"] }, Open ]], Cell[CellGroupData[{ Cell[7536, 217, 685, 19, 58, "Input"], Cell[8224, 238, 358, 6, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8619, 249, 199, 5, 35, "Input"], Cell[8821, 256, 298, 6, 35, "Output"] }, Open ]], Cell[9134, 265, 437, 9, 45, "Text"], Cell[9574, 276, 143, 4, 35, "Input"], Cell[9720, 282, 168, 3, 35, "Input"], Cell[CellGroupData[{ Cell[9913, 289, 287, 7, 35, "Input"], Cell[10203, 298, 463, 11, 35, "Output"] }, Open ]], Cell[10681, 312, 294, 6, 66, "Text"], Cell[10978, 320, 422, 13, 35, "Input"], Cell[CellGroupData[{ Cell[11425, 337, 182, 4, 35, "Input"], Cell[11610, 343, 569, 14, 52, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12216, 362, 328, 7, 35, "Input"], Cell[12547, 371, 401, 8, 35, "Output"] }, Open ]], Cell[12963, 382, 429, 12, 35, "Input"], Cell[CellGroupData[{ Cell[13417, 398, 161, 3, 35, "Input"], Cell[13581, 403, 822, 20, 35, "Output"] }, Open ]], Cell[14418, 426, 159, 2, 45, "Text"], Cell[14580, 430, 100, 1, 34, "Text"], Cell[CellGroupData[{ Cell[14705, 435, 424, 12, 58, "Input"], Cell[15132, 449, 814, 20, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[15983, 474, 334, 9, 35, "Input"], Cell[16320, 485, 427, 11, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[16784, 501, 129, 2, 35, "Input"], Cell[16916, 505, 663, 15, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17616, 525, 628, 18, 58, "Input"], Cell[18247, 545, 1001, 31, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[19285, 581, 965, 28, 102, "Input"], Cell[20253, 611, 1043, 32, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[21333, 648, 141, 3, 35, "Input"], Cell[21477, 653, 219, 3, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[21733, 661, 220, 5, 35, "Input"], Cell[21956, 668, 229, 3, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[22222, 676, 154, 3, 35, "Input"], Cell[22379, 681, 783, 22, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[23199, 708, 754, 22, 35, "Input"], Cell[23956, 732, 674, 19, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24667, 756, 440, 12, 35, "Input"], Cell[25112, 771, 520, 14, 35, "Output"] }, Open ]], Cell[25647, 788, 106, 1, 34, "Text"], Cell[CellGroupData[{ Cell[25778, 793, 253, 7, 35, "Input"], Cell[26034, 802, 239, 4, 35, "Output"] }, Open ]], Cell[26288, 809, 220, 4, 34, "Text"], Cell[26511, 815, 1666, 49, 102, "Input"], Cell[CellGroupData[{ Cell[28202, 868, 225, 6, 35, "Input"], Cell[28430, 876, 1010, 30, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[29477, 911, 2411, 71, 124, "Input"], Cell[31891, 984, 550, 15, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[32478, 1004, 2656, 77, 124, "Input"], Cell[35137, 1083, 331, 7, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[35505, 1095, 1021, 30, 124, "Input"], Cell[36529, 1127, 561, 13, 35, "Output"] }, Open ]], Cell[37105, 1143, 155, 2, 45, "Text"], Cell[37263, 1147, 3929, 116, 168, "Input"], Cell[CellGroupData[{ Cell[41217, 1267, 1026, 30, 124, "Input"], Cell[42246, 1299, 555, 14, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[42838, 1318, 867, 24, 124, "Input"], Cell[43708, 1344, 786, 22, 35, "Output"] }, Open ]], Cell[44509, 1369, 2258, 67, 102, "Input"], Cell[CellGroupData[{ Cell[46794, 1441, 478, 13, 35, "Input"], Cell[47275, 1456, 635, 16, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[47947, 1477, 1105, 34, 58, "Input"], Cell[49055, 1513, 488, 13, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[49580, 1531, 197, 4, 35, "Input"], Cell[49780, 1537, 1224, 30, 58, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[51041, 1572, 211, 5, 35, "Input"], Cell[51255, 1579, 2264, 65, 102, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[53556, 1649, 172, 4, 35, "Input"], Cell[53731, 1655, 354, 8, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[54122, 1668, 243, 6, 35, "Input"], Cell[54368, 1676, 2905, 85, 102, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[57310, 1766, 418, 11, 58, "Input"], Cell[57731, 1779, 3949, 124, 102, "Output"] }, Open ]], Cell[61695, 1906, 183, 4, 45, "Text"], Cell[61881, 1912, 414, 13, 35, "Input"], Cell[CellGroupData[{ Cell[62320, 1929, 372, 11, 35, "Input"], Cell[62695, 1942, 290, 5, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[63022, 1952, 188, 5, 35, "Input"], Cell[63213, 1959, 292, 6, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[63542, 1970, 118, 2, 35, "Input"], Cell[63663, 1974, 229, 3, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[63929, 1982, 148, 3, 35, "Input"], Cell[64080, 1987, 240, 4, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[64357, 1996, 170, 4, 35, "Input"], Cell[64530, 2002, 215, 3, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[64782, 2010, 195, 5, 35, "Input"], Cell[64980, 2017, 232, 3, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[65249, 2025, 167, 4, 35, "Input"], Cell[65419, 2031, 227, 3, 35, "Output"] }, Open ]], Cell[65661, 2037, 223, 5, 45, "Text"], Cell[65887, 2044, 1466, 47, 80, "Input"], Cell[CellGroupData[{ Cell[67378, 2095, 90, 2, 35, "Input"], Cell[67471, 2099, 295, 6, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[67803, 2110, 405, 12, 35, "Input"], Cell[68211, 2124, 494, 13, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[68742, 2142, 187, 4, 35, "Input"], Cell[68932, 2148, 614, 16, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[69583, 2169, 148, 3, 35, "Input"], Cell[69734, 2174, 649, 18, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[70420, 2197, 286, 8, 35, "Input"], Cell[70709, 2207, 321, 7, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[71067, 2219, 235, 7, 35, "Input"], Cell[71305, 2228, 434, 11, 35, "Output"] }, Open ]], Cell[71754, 2242, 142, 2, 45, "Text"], Cell[71899, 2246, 2354, 75, 124, "Input"], Cell[CellGroupData[{ Cell[74278, 2325, 323, 9, 35, "Input"], Cell[74604, 2336, 12893, 396, 454, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[87534, 2737, 291, 7, 35, "Input"], Cell[87828, 2746, 1205, 35, 58, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[89070, 2786, 385, 8, 35, "Input"], Cell[89458, 2796, 1150, 32, 58, "Output"] }, Open ]], Cell[90623, 2831, 136, 2, 45, "Text"], Cell[90762, 2835, 1639, 49, 124, "Input"], Cell[CellGroupData[{ Cell[92426, 2888, 146, 3, 35, "Input"], Cell[92575, 2893, 4088, 105, 168, "Output"] }, Open ]], Cell[96678, 3001, 128, 2, 45, "Text"], Cell[96809, 3005, 1360, 37, 102, "Input"], Cell[CellGroupData[{ Cell[98194, 3046, 403, 10, 35, "Input"], Cell[98600, 3058, 1486, 38, 80, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[100123, 3101, 144, 3, 35, "Input"], Cell[100270, 3106, 222, 3, 35, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[100529, 3114, 4449, 114, 432, "Input"], Cell[104981, 3230, 265, 5, 35, "Output"] }, Open ]], Cell[105261, 3238, 2155, 58, 124, "Input"], Cell[CellGroupData[{ Cell[107441, 3300, 207, 5, 35, "Input"], Cell[CellGroupData[{ Cell[107673, 3309, 365, 6, 27, "Print"], Cell[108041, 3317, 365, 6, 27, "Print"], Cell[108409, 3325, 360, 6, 27, "Print"], Cell[108772, 3333, 360, 6, 27, "Print"], Cell[109135, 3341, 360, 6, 27, "Print"], Cell[109498, 3349, 360, 6, 27, "Print"], Cell[109861, 3357, 360, 6, 27, "Print"], Cell[110224, 3365, 360, 6, 27, "Print"], Cell[110587, 3373, 360, 6, 27, "Print"], Cell[110950, 3381, 358, 6, 27, "Print"], Cell[111311, 3389, 358, 6, 27, "Print"], Cell[111672, 3397, 363, 6, 27, "Print"] }, Open ]], Cell[112050, 3406, 517, 15, 55, "Output"] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)