diff -r 0adb47730c7a -r f5e553fbd693 code/signs.nb
--- /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 *)