--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/code/signs.nb Mon Jul 07 01:25:14 2008 +0000
@@ -0,0 +1,1668 @@
+(* 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[ 51807, 1659]
+NotebookOptionsPosition[ 49044, 1566]
+NotebookOutlinePosition[ 49407, 1582]
+CellTagsIndexPosition[ 49364, 1579]
+WindowFrame->Normal
+ContainsDynamic->False*)
+
+(* Beginning of Notebook Content *)
+Notebook[{
+Cell[BoxData[
+ RowBox[{"Clear", "[",
+ RowBox[{"d", ",", "tm", ",", "m"}], "]"}]], "Input",
+ CellChangeTimes->{{3.4241980742571344`*^9, 3.424198074928099*^9}, {
+ 3.424198111630875*^9, 3.424198112381955*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"tm", "[", "x_", "]"}], ":=", "x"}]], "Input",
+ CellChangeTimes->{{3.424198093104235*^9, 3.4241981152961454`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"m", "[", "x_", "]"}], ":=",
+ RowBox[{"d", "[", "x", "]"}]}]], "Input",
+ CellChangeTimes->{{3.424198093104235*^9, 3.4241981152961454`*^9}}],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.424197939102792*^9, 3.4241979434390273`*^9}, {
+ 3.424198082939619*^9, 3.424198084061232*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",", "b"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "-",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}]], "Output",
+ CellChangeTimes->{
+ 3.424197943959776*^9, {3.424198070712037*^9, 3.4241981177697024`*^9},
+ 3.4241981527399874`*^9, {3.424198220988123*^9, 3.4241982242928753`*^9}, {
+ 3.4241984914269953`*^9, 3.424198497575837*^9}, {3.4241986744701986`*^9,
+ 3.424198684594757*^9}, 3.4241987900664177`*^9, {3.4241989830138626`*^9,
+ 3.4241990466954317`*^9}}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.424198928445397*^9, 3.4241989306886225`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "-",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output",
+ CellChangeTimes->{3.4241989309990687`*^9, 3.424199050130371*^9}]
+}, Open ]],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"a", ":",
+ RowBox[{"t", "[", "___", "]"}]}], "]"}], ":=",
+ RowBox[{"With", "[",
+ RowBox[{
+ RowBox[{"{",
+ RowBox[{"k", "=",
+ RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",",
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"i", "=", "1"}], "k"],
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"j", "=", "1"}],
+ RowBox[{"i", "-", "1"}]],
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}],
+ "]"}]}]],
+ RowBox[{"MapAt", "[",
+ RowBox[{"d", ",", "a", ",", "i"}], "]"}]}]}]}], "]"}]}]], "Input",
+ CellChangeTimes->{{3.4241985045058017`*^9, 3.4241986214940224`*^9}, {
+ 3.4241986537403903`*^9, 3.424198663494416*^9}}],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.4241986645559425`*^9, 3.4241986670695567`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",", "b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output",
+ CellChangeTimes->{3.424198667420061*^9, 3.4241987978676353`*^9}]
+}, Open ]],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"d", "[", "X_Plus", "]"}], ":=",
+ RowBox[{"d", "/@", "X"}]}]], "Input",
+ CellChangeTimes->{{3.4241988074414015`*^9, 3.424198812658904*^9}}],
+
+Cell[BoxData[{
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n_."], " ", "X_"}], "]"}], ":=",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n"], " ",
+ RowBox[{"d", "[", "X", "]"}]}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"s_\[Sigma]", " ", "X_"}], "]"}], ":=",
+ RowBox[{"s", " ",
+ RowBox[{"d", "[", "X", "]"}]}]}]}], "Input",
+ CellChangeTimes->{{3.424199070639862*^9, 3.424199126960848*^9}, {
+ 3.424201311281747*^9, 3.4242013146165423`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"d", "[", "_", "]"}], "]"}], ":=", "0"}]], "Input",
+ CellChangeTimes->{{3.4241988199694157`*^9, 3.4241988233342543`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"___", ",", "0", ",", "___"}], "]"}], ":=", "0"}]], "Input",
+ CellChangeTimes->{{3.424198831185544*^9, 3.424198836773579*^9}}],
+
+Cell[BoxData[{
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"X___", ",", "Y_Plus", ",", "Z__"}], "]"}], ":=",
+ RowBox[{
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@",
+ "Y"}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"X__", ",", "Y_Plus", ",", "Z___"}], "]"}], ":=",
+ RowBox[{
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@",
+ "Y"}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"X___", ",",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n_."], "Y_"}], ",", "Z___"}], "]"}], ":=",
+
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n"],
+ RowBox[{"tm", "[",
+ RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}]}], "Input",
+ CellChangeTimes->{{3.4242002106090574`*^9, 3.4242002710960336`*^9}, {
+ 3.4242009022035217`*^9, 3.4242009251565266`*^9}}],
+
+Cell[BoxData[{
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X___", ",", "Y_Plus", ",", "Z__"}], "]"}], ":=",
+ RowBox[{
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@",
+ "Y"}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X__", ",", "Y_Plus", ",", "Z___"}], "]"}], ":=",
+ RowBox[{
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@",
+ "Y"}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X___", ",",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n_."], "Y_"}], ",", "Z___"}], "]"}], ":=",
+
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n"],
+ RowBox[{"t", "[",
+ RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X___", ",",
+ RowBox[{"s_\[Sigma]", " ", "Y_"}], ",", "Z___"}], "]"}], ":=",
+ RowBox[{"s", " ",
+ RowBox[{"t", "[",
+ RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}]}], "Input",
+ CellChangeTimes->{{3.424201175196066*^9, 3.4242012093451695`*^9}, {
+ 3.424201303861077*^9, 3.424201306564965*^9}}],
+
+Cell[BoxData[{
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X__", ",",
+ RowBox[{"t", "[", "Y__", "]"}], ",", "Z___"}], "]"}], ":=",
+ RowBox[{"t", "[",
+ RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"t", "[",
+ RowBox[{"X___", ",",
+ RowBox[{"t", "[", "Y__", "]"}], ",", "Z__"}], "]"}], ":=",
+ RowBox[{"t", "[",
+ RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}], "Input",
+ CellChangeTimes->{{3.42420197886168*^9, 3.424201999771747*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"deg", "[",
+ RowBox[{"d", "[", "X_", "]"}], "]"}], ":=",
+ RowBox[{
+ RowBox[{"deg", "[", "X", "]"}], "-", "1"}]}]], "Input",
+ CellChangeTimes->{{3.4241991779742017`*^9, 3.4241991852346416`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"deg", "[", "a_m", "]"}], ":=",
+ RowBox[{
+ RowBox[{"Length", "[", "a", "]"}], "-", "2", "+",
+ RowBox[{"Plus", "@@",
+ RowBox[{"(",
+ RowBox[{"deg", "/@",
+ RowBox[{"List", "@@", "a"}]}], ")"}]}]}]}]], "Input",
+ CellChangeTimes->{{3.4242003314828653`*^9, 3.4242003740440655`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"deg", "[", "a_tm", "]"}], ":=",
+ RowBox[{
+ RowBox[{"Length", "[", "a", "]"}], "-", "1", "+",
+ RowBox[{"Plus", "@@",
+ RowBox[{"(",
+ RowBox[{"deg", "/@",
+ RowBox[{"List", "@@", "a"}]}], ")"}]}]}]}]], "Input",
+ CellChangeTimes->{{3.4242003910885744`*^9, 3.4242003932016125`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"a", ":",
+ RowBox[{"HoldPattern", "[",
+ RowBox[{"tm", "[", "___", "]"}], "]"}]}], "]"}], ":=",
+ RowBox[{"With", "[",
+ RowBox[{
+ RowBox[{"{",
+ RowBox[{"k", "=",
+ RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",", "\[IndentingNewLine]",
+
+ RowBox[{
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"l", "=", "1"}],
+ RowBox[{"k", "-", "1"}]],
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"l", ",",
+ RowBox[{"List", "@@", "a"}]}], "]"}], " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"Take", "[",
+ RowBox[{"a", ",", "l"}], "]"}], ",",
+ RowBox[{"Drop", "[",
+ RowBox[{"a", ",", "l"}], "]"}]}], "]"}]}]}], "+",
+ "\[IndentingNewLine]",
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"l", "=", "1"}], "k"],
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"lp", "=", "0"}],
+ RowBox[{"l", "-", "1"}]],
+ RowBox[{"With", "[",
+ RowBox[{
+ RowBox[{"{",
+ RowBox[{
+ RowBox[{"l1", "=", "lp"}], ",",
+ RowBox[{"l2", "=",
+ RowBox[{"k", "-", "l", "+", "1"}]}], ",",
+ RowBox[{"l3", "=",
+ RowBox[{"l", "-", "1", "-", "lp"}]}]}], "}"}], ",",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"l2",
+ RowBox[{"(",
+ RowBox[{"k", "-", "1", "+",
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"j", "=", "1"}], "lp"],
+ RowBox[{"deg", "[",
+ RowBox[{
+ "a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}],
+ "]"}]}]}], ")"}]}], "+",
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{"k", "-", "l"}], ")"}],
+ RowBox[{"(", "lp", ")"}]}]}]],
+ RowBox[{"tm", "@@",
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Take", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",", "lp"}], "]"}], "~", "Join",
+ "~",
+ RowBox[{"{",
+ RowBox[{"m", "@@",
+ RowBox[{"Take", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",",
+ RowBox[{"{",
+ RowBox[{
+ RowBox[{"lp", "+", "1"}], ",",
+ RowBox[{"lp", "+", "k", "-", "l", "+", "1"}]}], "}"}]}],
+ "]"}]}], "}"}], "~", "Join", "~",
+ RowBox[{"Drop", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",",
+ RowBox[{"lp", "+", "k", "-", "l", "+", "1"}]}], "]"}]}],
+ ")"}]}]}]}], "]"}]}]}]}]}], "\[IndentingNewLine]",
+ "]"}]}]], "Input",
+ CellChangeTimes->{{3.4241976743520994`*^9, 3.4241979358681407`*^9}, {
+ 3.4241980205799503`*^9, 3.4241980693100204`*^9}, {3.4241981831937776`*^9,
+ 3.424198219375805*^9}, {3.4241984876916237`*^9, 3.424198488572891*^9}, {
+ 3.4241987823553295`*^9, 3.424198785980542*^9}, {3.4241989378989906`*^9,
+ 3.424198966930736*^9}, {3.4241990027121873`*^9, 3.424199045193272*^9}, {
+ 3.424200498352813*^9, 3.4242005144659824`*^9}, {3.4242006132580385`*^9,
+ 3.424200613448312*^9}, {3.42420072089281*^9, 3.4242007272219105`*^9}, {
+ 3.424200772507027*^9, 3.424200782811845*^9}, {3.4242012813687344`*^9,
+ 3.424201292494733*^9}, {3.4242071329028273`*^9, 3.424207333311*^9}, {
+ 3.4242075895995245`*^9, 3.424207624329464*^9}}],
+
+Cell[BoxData[
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{"k", "-", "l", "+", "1"}], ")"}],
+ RowBox[{"(",
+ RowBox[{"k", "-", "1", "+",
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"j", "=", "1"}], "lp"],
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}],
+ "]"}]}]}], ")"}]}], "+",
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{"k", "-", "l"}], ")"}],
+ RowBox[{"(", "lp", ")"}]}]}]]], "Input"],
+
+Cell[BoxData[
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{"l1", "+", "l2"}], ")"}], "l3"}], "+",
+ RowBox[{"l2", " ",
+ RowBox[{"(",
+ RowBox[{"Plus", "@@",
+ RowBox[{"(",
+ RowBox[{"deg", "/@",
+ RowBox[{"Take", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",", "l1"}], "]"}]}], ")"}]}],
+ ")"}]}]}]]], "Input"],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"Collect", "[",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "]"}], "]"}], ",",
+ RowBox[{"(",
+ RowBox[{"_tm", "|", "_d", "|", "_t"}], ")"}], ",", "Together"}],
+ "]"}]], "Input",
+ CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, {
+ 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9,
+ 3.4241992055338306`*^9}}],
+
+Cell[BoxData["0"], "Output",
+ CellChangeTimes->{{3.424198803315469*^9, 3.424198837724947*^9}, {
+ 3.4241990626684*^9, 3.424199205944421*^9}, 3.424200074182886*^9,
+ 3.4242001944958878`*^9, 3.424200409054408*^9, {3.4242004997448144`*^9,
+ 3.4242005193029375`*^9}, 3.424200728914344*^9, 3.424200784414149*^9,
+ 3.424200932707384*^9, 3.4242013241802945`*^9, 3.4242014646823263`*^9, {
+ 3.4242073102378225`*^9, 3.424207336445507*^9}, {3.42420760386003*^9,
+ 3.4242076281149073`*^9}}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.424200732269168*^9, 3.424200734181918*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "a", "]"}]}]}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",", "b"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "-",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}]], "Output",
+ CellChangeTimes->{3.4242007344122496`*^9, 3.424200785946352*^9,
+ 3.4242009332481613`*^9, 3.4242011847097454`*^9, 3.424201395322592*^9,
+ 3.42420146061648*^9, 3.4242074562277455`*^9, 3.4242076049616146`*^9}]
+}, Open ]],
+
+Cell[BoxData[
+ RowBox[{"Clear", "[", "\[Sigma]", "]"}]], "Input",
+ CellChangeTimes->{{3.424201810469544*^9, 3.4242018117614017`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"l_", ",", "a_List"}], "]"}], ":=",
+ RowBox[{"With", "[",
+ RowBox[{
+ RowBox[{"{",
+ RowBox[{"k", "=",
+ RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{"k", "-", "l", "+", "1"}], ")"}],
+ RowBox[{"(",
+ RowBox[{"Plus", "@@",
+ RowBox[{"(",
+ RowBox[{"deg", "/@",
+ RowBox[{"Take", "[",
+ RowBox[{"a", ",", "l"}], "]"}]}], ")"}]}], ")"}]}], "+", "l"}]]}],
+ "]"}]}]], "Input",
+ CellChangeTimes->{{3.424206850386589*^9, 3.4242069563589697`*^9}, {
+ 3.4242070973617215`*^9, 3.4242070975419807`*^9}}],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.4242005789086466`*^9, 3.424200581302088*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"3", " ",
+ RowBox[{"deg", "[", "a", "]"}]}]}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"2", " ",
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}], ")"}]}]}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"2", " ",
+ RowBox[{"(",
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}]}], ")"}]}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output",
+ CellChangeTimes->{
+ 3.4242005816826353`*^9, 3.424200616232315*^9, 3.424200747741416*^9,
+ 3.4242007892711325`*^9, 3.424200933939155*^9, 3.4242011853306384`*^9,
+ 3.4242014129078784`*^9, 3.4242014668153934`*^9, 3.424201520983283*^9,
+ 3.424201813834382*^9, 3.4242019528943405`*^9, {3.42420693098248*^9,
+ 3.424206957600755*^9}, 3.4242070989840546`*^9}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"Collect", "[",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}], "]"}], ",",
+ RowBox[{"(",
+ RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",",
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Together", "[", "#", "]"}], "/.",
+ RowBox[{"{",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "_"}]], "\[Rule]", "1"}], "}"}]}], ")"}], "&"}]}],
+ "]"}]], "Input",
+ CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, {
+ 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9,
+ 3.4241992221176767`*^9}, {3.4242004382664127`*^9,
+ 3.4242004391877375`*^9}, {3.4242005411643724`*^9, 3.4242005437080307`*^9},
+ 3.4242008174216113`*^9, {3.4242020485218463`*^9, 3.4242020686007185`*^9}}],\
+
+
+Cell[BoxData["0"], "Output",
+ CellChangeTimes->{
+ 3.4241992227786274`*^9, {3.42420019620835*^9, 3.4242002421444035`*^9},
+ 3.4242002726983376`*^9, 3.4242003764174786`*^9, 3.424200409885603*^9,
+ 3.424200440639826*^9, {3.424200503289912*^9, 3.424200544218765*^9}, {
+ 3.424200814537464*^9, 3.4242008178021584`*^9}, 3.424200934660192*^9, {
+ 3.4242011874136333`*^9, 3.42420121426224*^9}, 3.4242015234968977`*^9,
+ 3.4242019690475683`*^9, 3.4242020049091344`*^9, 3.4242020689311934`*^9, {
+ 3.4242069335261374`*^9, 3.424206960825392*^9}, 3.424207099955451*^9, {
+ 3.4242076078457613`*^9, 3.4242076316199474`*^9}}]
+}, Open ]],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"1", ",",
+ RowBox[{"{",
+ RowBox[{"_", ",", "_", ",", "_", ",", "_"}], "}"}]}], "]"}], ":=",
+ RowBox[{"-", "1"}]}]], "Input",
+ CellChangeTimes->{{3.4242021358173714`*^9, 3.424202143248056*^9}}],
+
+Cell[BoxData[{
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"2", ",",
+ RowBox[{"{",
+ RowBox[{"a_", ",", "b_", ",", "_", ",", "_"}], "}"}]}], "]"}], ":=",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"3", ",",
+ RowBox[{"{",
+ RowBox[{"_", ",", "_", ",", "_", ",", "_"}], "}"}]}], "]"}], ":=",
+ RowBox[{"-", "1"}]}]}], "Input",
+ CellChangeTimes->{{3.424202215401808*^9, 3.4242022541975937`*^9}}],
+
+Cell[BoxData[{
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"1", ",", "a_List"}], "]"}], ":=",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{
+ RowBox[{"Length", "[", "a", "]"}],
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}],
+ "]"}]}], "+", "1"}]]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"2", ",", "a_List"}], "]"}], ":=",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Length", "[", "a", "]"}], "+", "1"}], ")"}],
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}],
+ "]"}], "+",
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}],
+ "]"}]}], ")"}]}]]}], "\[IndentingNewLine]",
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"3", ",", "a_List"}], "]"}], ":=",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{"Length", "[", "a", "]"}], ")"}],
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}],
+ "]"}], "+",
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}],
+ "]"}], "+",
+ RowBox[{"deg", "[",
+ RowBox[{"a", "\[LeftDoubleBracket]", "3", "\[RightDoubleBracket]"}],
+ "]"}]}], ")"}]}], "+", "1"}]]}]}], "Input",
+ CellChangeTimes->{{3.4242025340600157`*^9, 3.4242026162481966`*^9}, {
+ 3.424202652159835*^9, 3.4242026904248576`*^9}, {3.424202735649888*^9,
+ 3.424202777089475*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"\[Sigma]", "[",
+ RowBox[{"k_Integer", ",", "a_List"}], "]"}], ":=",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Length", "[", "a", "]"}], "+", "k", "+", "1"}], ")"}],
+ RowBox[{"(",
+ RowBox[{"Plus", "@@",
+ RowBox[{"(",
+ RowBox[{"deg", "/@",
+ RowBox[{"Take", "[",
+ RowBox[{"a", ",", "k"}], "]"}]}], ")"}]}], ")"}]}], "+",
+ "k"}]]}]], "Input",
+ CellChangeTimes->{{3.424202789427216*^9, 3.424202836054262*^9}}],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"Collect", "[",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "]"}], "]"}], "]"}], ",",
+ RowBox[{"(",
+ RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",",
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Together", "[", "#", "]"}], "//.",
+ RowBox[{"{",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"n_Integer", " ", "x_"}]], "\[RuleDelayed]",
+ SuperscriptBox[
+ RowBox[{"(",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n"], ")"}], "x"]}], "}"}]}], ")"}],
+ "&"}]}], "]"}]], "Input",
+ CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, {
+ 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9,
+ 3.4241992221176767`*^9}, {3.4242004382664127`*^9,
+ 3.4242004391877375`*^9}, {3.4242005411643724`*^9, 3.4242005437080307`*^9},
+ 3.4242008174216113`*^9, {3.4242020485218463`*^9, 3.424202081188819*^9}, {
+ 3.424202169736144*^9, 3.4242021956233683`*^9}, {3.4242022722535567`*^9,
+ 3.424202330757682*^9}, 3.4242025057092495`*^9}],
+
+Cell[BoxData["0"], "Output",
+ CellChangeTimes->{
+ 3.4242020826108637`*^9, 3.4242021449905615`*^9, 3.424202196805067*^9, {
+ 3.4242022356809683`*^9, 3.424202255329221*^9}, {3.4242023014355183`*^9,
+ 3.4242023313986034`*^9}, 3.424202506440301*^9, 3.424207107165819*^9}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"Collect", "[",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{
+ "a", ",", "b", ",", "c", ",", "d", ",", "e", ",", "f", ",", "g"}],
+ "]"}], "]"}], "]"}], ",",
+ RowBox[{"(",
+ RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",",
+ RowBox[{
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Together", "[", "#", "]"}], "//.",
+ RowBox[{"{",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"n_Integer", " ", "x_"}]], "\[RuleDelayed]",
+ SuperscriptBox[
+ RowBox[{"(",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}], "n"], ")"}], "x"]}], "}"}]}], ")"}],
+ "&"}]}], "]"}]], "Input",
+ CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, {
+ 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9,
+ 3.4241992221176767`*^9}, {3.4242004382664127`*^9,
+ 3.4242004391877375`*^9}, {3.4242005411643724`*^9, 3.4242005437080307`*^9},
+ 3.4242008174216113`*^9, {3.4242020485218463`*^9, 3.424202081188819*^9}, {
+ 3.424202169736144*^9, 3.4242021956233683`*^9}, {3.4242022722535567`*^9,
+ 3.424202330757682*^9}, {3.4242025057092495`*^9, 3.4242025139210577`*^9}, {
+ 3.424202854761162*^9, 3.4242028737084064`*^9}}],
+
+Cell[BoxData["0"], "Output",
+ CellChangeTimes->{
+ 3.4242025147923107`*^9, 3.4242025962594547`*^9, 3.4242027035837793`*^9,
+ 3.4242027793827724`*^9, {3.4242028405106707`*^9, 3.4242028777942815`*^9},
+ 3.4242071121730194`*^9}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"-",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "]"}]], "Input",
+ CellChangeTimes->{{3.4242016238211565`*^9, 3.424201638492253*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"-",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "b", "]"}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "]"}]}], ")"}]}],
+ "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}]], "Output",
+ CellChangeTimes->{{3.4242016302504015`*^9, 3.424201639203275*^9}}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"Collect", "[",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"-",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "]"}], ",",
+ RowBox[{"(",
+ RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",",
+ "Together"}], "]"}]], "Input",
+ CellChangeTimes->{{3.4242016637085123`*^9, 3.4242016950435696`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{
+ RowBox[{"-",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]]}], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"t", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "]"}]}], "-",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}]], "Output",
+ CellChangeTimes->{{3.4242016665425873`*^9, 3.424201695384059*^9}}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"Collect", "[",
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"d", "[",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "]"}], "]"}], "]"}], ",",
+ RowBox[{"(",
+ RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",",
+ "Together"}], "]"}]], "Input",
+ CellChangeTimes->{{3.424200829108416*^9, 3.4242008345862927`*^9},
+ 3.4242009398075933`*^9}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{
+ RowBox[{"-",
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"3", " ",
+ RowBox[{"deg", "[", "a", "]"}]}]]}], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c", ",", "d"}], "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "a", "]"}]}], "+",
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "b", "]"}]}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",",
+ RowBox[{"m", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}], ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}], "+",
+ RowBox[{"deg", "[", "c", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c", ",",
+ RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",",
+ RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "b", "]"}], ",", "c", ",", "d"}], "]"}]}], "]"}]}],
+ "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c", ",", "d"}], "]"}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"b", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c"}], "]"}], ",", "d"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"2", " ",
+ RowBox[{"(",
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "b", "]"}]}], ")"}]}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",",
+ RowBox[{"m", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}], ",", "d"}], "]"}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "b", "]"}], "+",
+ RowBox[{"deg", "[", "c", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c", ",",
+ RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",",
+ RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "b", "]"}], ",", "c", ",", "d"}], "]"}]}]}],
+ "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], ",", "d"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "a", "]"}]}], "+",
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "b", "]"}]}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",",
+ RowBox[{"m", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}], "+",
+ RowBox[{"deg", "[", "c", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",",
+ RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"c", ",", "d"}], "]"}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"deg", "[", "c", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",",
+ RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "-",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}]}], "]"}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}], ",", "d"}], "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",", "b"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "-",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}], ",",
+ RowBox[{"tm", "[",
+ RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], ",", "d"}],
+ "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}], ",", "d"}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}], ",", "d"}], "]"}]}],
+ "-",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}], ",", "d"}],
+ "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{"a", ",",
+ RowBox[{"tm", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"\[Sigma]", " ",
+ RowBox[{"t", "[",
+ RowBox[{
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+",
+ RowBox[{"2", " ",
+ RowBox[{"(",
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}]}], ")"}]}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",", "b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", "+",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"tm", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+",
+ RowBox[{"tm", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}], ",",
+ "d"}], "]"}]}]}]], "Output",
+ CellChangeTimes->{{3.424200829779381*^9, 3.424200835517632*^9}, {
+ 3.4242009367532015`*^9, 3.4242009403483715`*^9}}]
+}, Open ]],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{"d", "[",
+ RowBox[{"a", ":",
+ RowBox[{"HoldPattern", "[",
+ RowBox[{"m", "[", "___", "]"}], "]"}]}], "]"}], ":=",
+ RowBox[{"With", "[",
+ RowBox[{
+ RowBox[{"{",
+ RowBox[{"k", "=",
+ RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",", "\[IndentingNewLine]",
+
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"r", "=", "0"}], "k"],
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"s", "=", "1"}],
+ RowBox[{"k", "-", "r"}]],
+ RowBox[{"With", "[",
+ RowBox[{
+ RowBox[{"{",
+ RowBox[{"t", "=",
+ RowBox[{"k", "-", "r", "-", "s"}]}], "}"}], ",",
+ RowBox[{"If", "[",
+ RowBox[{
+ RowBox[{
+ RowBox[{"t", "<", "0"}], "\[Or]",
+ RowBox[{
+ RowBox[{"r", "+", "t"}], "\[Equal]", "0"}]}], ",", "0", ",",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"1", "+", "r", "+",
+ RowBox[{"s", " ", "t"}]}]],
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"s",
+ RowBox[{"(",
+ RowBox[{
+ UnderoverscriptBox["\[Sum]",
+ RowBox[{"j", "=", "1"}], "r"],
+ RowBox[{"deg", "[",
+ RowBox[{
+ "a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}],
+ "]"}]}], ")"}]}]],
+ RowBox[{"m", "@@",
+ RowBox[{"(",
+ RowBox[{
+ RowBox[{"Take", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",", "r"}], "]"}], "~", "Join",
+ "~",
+ RowBox[{"{",
+ RowBox[{"m", "@@",
+ RowBox[{"Take", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",",
+ RowBox[{"{",
+ RowBox[{
+ RowBox[{"r", "+", "1"}], ",",
+ RowBox[{"r", "+", "s"}]}], "}"}]}], "]"}]}], "}"}], "~",
+ "Join", "~",
+ RowBox[{"Drop", "[",
+ RowBox[{
+ RowBox[{"List", "@@", "a"}], ",",
+ RowBox[{"r", "+", "s"}]}], "]"}]}], ")"}]}]}]}], "]"}]}],
+ "]"}]}]}]}], "\[IndentingNewLine]", "]"}]}]], "Input",
+ CellChangeTimes->{{3.4241996616096354`*^9, 3.424199684522582*^9}, {
+ 3.4241997338535166`*^9, 3.4241998383938384`*^9}, {3.4241998737747135`*^9,
+ 3.424199918098448*^9}, {3.424199948492152*^9, 3.424199948542224*^9}, {
+ 3.424199990071941*^9, 3.4242000045327344`*^9}, {3.4242000530124445`*^9,
+ 3.4242000564173408`*^9}, {3.4242001313150387`*^9, 3.4242001706716304`*^9}}],\
+
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.4241999216135025`*^9, 3.424199923626397*^9}, {
+ 3.424200009630064*^9, 3.424200011002037*^9}, 3.4242000641184144`*^9}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "+",
+ RowBox[{"m", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}]], "Output",
+ CellChangeTimes->{{3.424199923936843*^9, 3.424199949763981*^9}, {
+ 3.4242000053739443`*^9, 3.424200011452685*^9}, {3.4242000598322515`*^9,
+ 3.424200064418846*^9}, 3.4242001734556336`*^9}]
+}, Open ]],
+
+Cell[CellGroupData[{
+
+Cell[BoxData[
+ RowBox[{"d", "[",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input",
+ CellChangeTimes->{{3.4242000997796926`*^9, 3.4242000998497934`*^9}}],
+
+Cell[BoxData[
+ RowBox[{
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"2", " ",
+ RowBox[{"deg", "[", "a", "]"}]}]], " ",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",",
+ RowBox[{"m", "[",
+ RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "-",
+ RowBox[{"m", "[",
+ RowBox[{
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{
+ RowBox[{"deg", "[", "a", "]"}], "+",
+ RowBox[{"deg", "[", "b", "]"}]}]], " ",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",", "b", ",",
+ RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "-",
+ RowBox[{
+ SuperscriptBox[
+ RowBox[{"(",
+ RowBox[{"-", "1"}], ")"}],
+ RowBox[{"deg", "[", "a", "]"}]], " ",
+ RowBox[{"m", "[",
+ RowBox[{"a", ",",
+ RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "-",
+ RowBox[{"m", "[",
+ RowBox[{
+ RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output",
+ CellChangeTimes->{3.4242001001702547`*^9, 3.42420017736125*^9}]
+}, Open ]]
+},
+WindowSize->{1007, 555},
+WindowMargins->{{34, Automatic}, {32, Automatic}},
+ShowSelection->True,
+FrontEndVersion->"6.0 for Microsoft Windows (32-bit) (June 19, 2007)",
+StyleDefinitions->"Default.nb"
+]
+(* End of Notebook Content *)
+
+(* Internal cache information *)
+(*CellTagsOutline
+CellTagsIndex->{}
+*)
+(*CellTagsIndex
+CellTagsIndex->{}
+*)
+(*NotebookFileOutline
+Notebook[{
+Cell[568, 21, 209, 4, 31, "Input"],
+Cell[780, 27, 148, 3, 31, "Input"],
+Cell[931, 32, 175, 4, 31, "Input"],
+Cell[CellGroupData[{
+Cell[1131, 40, 224, 5, 31, "Input"],
+Cell[1358, 47, 878, 24, 30, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[2273, 76, 185, 4, 31, "Input"],
+Cell[2461, 82, 1530, 50, 50, "Output"]
+}, Open ]],
+Cell[4006, 135, 908, 27, 54, "Input"],
+Cell[CellGroupData[{
+Cell[4939, 166, 186, 4, 31, "Input"],
+Cell[5128, 172, 719, 23, 30, "Output"]
+}, Open ]],
+Cell[5862, 198, 175, 4, 31, "Input"],
+Cell[6040, 204, 586, 18, 52, "Input"],
+Cell[6629, 224, 177, 4, 31, "Input"],
+Cell[6809, 230, 183, 4, 31, "Input"],
+Cell[6995, 236, 977, 32, 72, "Input"],
+Cell[7975, 270, 1206, 39, 92, "Input"],
+Cell[9184, 311, 490, 13, 52, "Input"],
+Cell[9677, 326, 234, 6, 31, "Input"],
+Cell[9914, 334, 332, 9, 31, "Input"],
+Cell[10249, 345, 333, 9, 31, "Input"],
+Cell[10585, 356, 3647, 95, 216, "Input"],
+Cell[14235, 453, 564, 19, 40, "Input"],
+Cell[14802, 474, 435, 16, 31, "Input"],
+Cell[CellGroupData[{
+Cell[15262, 494, 454, 12, 31, "Input"],
+Cell[15719, 508, 489, 7, 30, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[16245, 520, 173, 4, 31, "Input"],
+Cell[16421, 526, 887, 27, 30, "Output"]
+}, Open ]],
+Cell[17323, 556, 133, 2, 31, "Input"],
+Cell[17459, 560, 770, 24, 33, "Input"],
+Cell[CellGroupData[{
+Cell[18254, 588, 185, 4, 31, "Input"],
+Cell[18442, 594, 2301, 73, 50, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[20780, 672, 934, 24, 33, "Input"],
+Cell[21719, 699, 621, 9, 30, "Output"]
+}, Open ]],
+Cell[22355, 711, 266, 7, 31, "Input"],
+Cell[22624, 720, 607, 18, 52, "Input"],
+Cell[23234, 740, 1818, 54, 72, "Input"],
+Cell[25055, 796, 592, 19, 31, "Input"],
+Cell[CellGroupData[{
+Cell[25672, 819, 1246, 31, 33, "Input"],
+Cell[26921, 852, 271, 4, 30, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[27229, 861, 1368, 34, 33, "Input"],
+Cell[28600, 897, 229, 4, 30, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[28866, 906, 253, 7, 31, "Input"],
+Cell[29122, 915, 1177, 40, 33, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[30336, 960, 418, 12, 31, "Input"],
+Cell[30757, 974, 1389, 48, 30, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[32183, 1027, 412, 11, 31, "Input"],
+Cell[32598, 1040, 11493, 371, 235, "Output"]
+}, Open ]],
+Cell[44106, 1414, 2771, 74, 167, "Input"],
+Cell[CellGroupData[{
+Cell[46904, 1493, 248, 5, 31, "Input"],
+Cell[47155, 1500, 537, 15, 30, "Output"]
+}, Open ]],
+Cell[CellGroupData[{
+Cell[47729, 1520, 186, 4, 31, "Input"],
+Cell[47918, 1526, 1110, 37, 30, "Output"]
+}, Open ]]
+}
+]
+*)
+
+(* End of internal cache information *)