|
1 (* Content-type: application/mathematica *) |
|
2 |
|
3 (*** Wolfram Notebook File ***) |
|
4 (* http://www.wolfram.com/nb *) |
|
5 |
|
6 (* CreatedBy='Mathematica 6.0' *) |
|
7 |
|
8 (*CacheID: 234*) |
|
9 (* Internal cache information: |
|
10 NotebookFileLineBreakTest |
|
11 NotebookFileLineBreakTest |
|
12 NotebookDataPosition[ 145, 7] |
|
13 NotebookDataLength[ 51807, 1659] |
|
14 NotebookOptionsPosition[ 49044, 1566] |
|
15 NotebookOutlinePosition[ 49407, 1582] |
|
16 CellTagsIndexPosition[ 49364, 1579] |
|
17 WindowFrame->Normal |
|
18 ContainsDynamic->False*) |
|
19 |
|
20 (* Beginning of Notebook Content *) |
|
21 Notebook[{ |
|
22 Cell[BoxData[ |
|
23 RowBox[{"Clear", "[", |
|
24 RowBox[{"d", ",", "tm", ",", "m"}], "]"}]], "Input", |
|
25 CellChangeTimes->{{3.4241980742571344`*^9, 3.424198074928099*^9}, { |
|
26 3.424198111630875*^9, 3.424198112381955*^9}}], |
|
27 |
|
28 Cell[BoxData[ |
|
29 RowBox[{ |
|
30 RowBox[{"tm", "[", "x_", "]"}], ":=", "x"}]], "Input", |
|
31 CellChangeTimes->{{3.424198093104235*^9, 3.4241981152961454`*^9}}], |
|
32 |
|
33 Cell[BoxData[ |
|
34 RowBox[{ |
|
35 RowBox[{"m", "[", "x_", "]"}], ":=", |
|
36 RowBox[{"d", "[", "x", "]"}]}]], "Input", |
|
37 CellChangeTimes->{{3.424198093104235*^9, 3.4241981152961454`*^9}}], |
|
38 |
|
39 Cell[CellGroupData[{ |
|
40 |
|
41 Cell[BoxData[ |
|
42 RowBox[{"d", "[", |
|
43 RowBox[{"tm", "[", |
|
44 RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input", |
|
45 CellChangeTimes->{{3.424197939102792*^9, 3.4241979434390273`*^9}, { |
|
46 3.424198082939619*^9, 3.424198084061232*^9}}], |
|
47 |
|
48 Cell[BoxData[ |
|
49 RowBox[{ |
|
50 RowBox[{"m", "[", |
|
51 RowBox[{"a", ",", "b"}], "]"}], "+", |
|
52 RowBox[{"\[Sigma]", " ", |
|
53 RowBox[{"t", "[", |
|
54 RowBox[{"a", ",", "b"}], "]"}]}], "+", |
|
55 RowBox[{ |
|
56 SuperscriptBox[ |
|
57 RowBox[{"(", |
|
58 RowBox[{"-", "1"}], ")"}], |
|
59 RowBox[{"1", "+", |
|
60 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
61 RowBox[{"tm", "[", |
|
62 RowBox[{"a", ",", |
|
63 RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "-", |
|
64 RowBox[{"tm", "[", |
|
65 RowBox[{ |
|
66 RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}]], "Output", |
|
67 CellChangeTimes->{ |
|
68 3.424197943959776*^9, {3.424198070712037*^9, 3.4241981177697024`*^9}, |
|
69 3.4241981527399874`*^9, {3.424198220988123*^9, 3.4241982242928753`*^9}, { |
|
70 3.4241984914269953`*^9, 3.424198497575837*^9}, {3.4241986744701986`*^9, |
|
71 3.424198684594757*^9}, 3.4241987900664177`*^9, {3.4241989830138626`*^9, |
|
72 3.4241990466954317`*^9}}] |
|
73 }, Open ]], |
|
74 |
|
75 Cell[CellGroupData[{ |
|
76 |
|
77 Cell[BoxData[ |
|
78 RowBox[{"d", "[", |
|
79 RowBox[{"tm", "[", |
|
80 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input", |
|
81 CellChangeTimes->{{3.424198928445397*^9, 3.4241989306886225`*^9}}], |
|
82 |
|
83 Cell[BoxData[ |
|
84 RowBox[{ |
|
85 RowBox[{"m", "[", |
|
86 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "+", |
|
87 RowBox[{"\[Sigma]", " ", |
|
88 RowBox[{"t", "[", |
|
89 RowBox[{"a", ",", |
|
90 RowBox[{"tm", "[", |
|
91 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
92 RowBox[{"\[Sigma]", " ", |
|
93 RowBox[{"t", "[", |
|
94 RowBox[{ |
|
95 RowBox[{"tm", "[", |
|
96 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}]}], "+", |
|
97 RowBox[{ |
|
98 SuperscriptBox[ |
|
99 RowBox[{"(", |
|
100 RowBox[{"-", "1"}], ")"}], |
|
101 RowBox[{"1", "+", |
|
102 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
103 RowBox[{"tm", "[", |
|
104 RowBox[{"a", ",", |
|
105 RowBox[{"m", "[", |
|
106 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "-", |
|
107 RowBox[{"tm", "[", |
|
108 RowBox[{ |
|
109 RowBox[{"m", "[", |
|
110 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "+", |
|
111 RowBox[{ |
|
112 SuperscriptBox[ |
|
113 RowBox[{"(", |
|
114 RowBox[{"-", "1"}], ")"}], |
|
115 RowBox[{"2", "+", |
|
116 RowBox[{"deg", "[", "a", "]"}], "+", |
|
117 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
118 RowBox[{"tm", "[", |
|
119 RowBox[{"a", ",", "b", ",", |
|
120 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+", |
|
121 RowBox[{ |
|
122 SuperscriptBox[ |
|
123 RowBox[{"(", |
|
124 RowBox[{"-", "1"}], ")"}], |
|
125 RowBox[{"2", "+", |
|
126 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
127 RowBox[{"tm", "[", |
|
128 RowBox[{"a", ",", |
|
129 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+", |
|
130 RowBox[{"tm", "[", |
|
131 RowBox[{ |
|
132 RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output", |
|
133 CellChangeTimes->{3.4241989309990687`*^9, 3.424199050130371*^9}] |
|
134 }, Open ]], |
|
135 |
|
136 Cell[BoxData[ |
|
137 RowBox[{ |
|
138 RowBox[{"d", "[", |
|
139 RowBox[{"a", ":", |
|
140 RowBox[{"t", "[", "___", "]"}]}], "]"}], ":=", |
|
141 RowBox[{"With", "[", |
|
142 RowBox[{ |
|
143 RowBox[{"{", |
|
144 RowBox[{"k", "=", |
|
145 RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",", |
|
146 RowBox[{ |
|
147 UnderoverscriptBox["\[Sum]", |
|
148 RowBox[{"i", "=", "1"}], "k"], |
|
149 RowBox[{ |
|
150 SuperscriptBox[ |
|
151 RowBox[{"(", |
|
152 RowBox[{"-", "1"}], ")"}], |
|
153 RowBox[{ |
|
154 UnderoverscriptBox["\[Sum]", |
|
155 RowBox[{"j", "=", "1"}], |
|
156 RowBox[{"i", "-", "1"}]], |
|
157 RowBox[{"deg", "[", |
|
158 RowBox[{"a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}], |
|
159 "]"}]}]], |
|
160 RowBox[{"MapAt", "[", |
|
161 RowBox[{"d", ",", "a", ",", "i"}], "]"}]}]}]}], "]"}]}]], "Input", |
|
162 CellChangeTimes->{{3.4241985045058017`*^9, 3.4241986214940224`*^9}, { |
|
163 3.4241986537403903`*^9, 3.424198663494416*^9}}], |
|
164 |
|
165 Cell[CellGroupData[{ |
|
166 |
|
167 Cell[BoxData[ |
|
168 RowBox[{"d", "[", |
|
169 RowBox[{"t", "[", |
|
170 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input", |
|
171 CellChangeTimes->{{3.4241986645559425`*^9, 3.4241986670695567`*^9}}], |
|
172 |
|
173 Cell[BoxData[ |
|
174 RowBox[{ |
|
175 RowBox[{ |
|
176 SuperscriptBox[ |
|
177 RowBox[{"(", |
|
178 RowBox[{"-", "1"}], ")"}], |
|
179 RowBox[{ |
|
180 RowBox[{"deg", "[", "a", "]"}], "+", |
|
181 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
182 RowBox[{"t", "[", |
|
183 RowBox[{"a", ",", "b", ",", |
|
184 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+", |
|
185 RowBox[{ |
|
186 SuperscriptBox[ |
|
187 RowBox[{"(", |
|
188 RowBox[{"-", "1"}], ")"}], |
|
189 RowBox[{"deg", "[", "a", "]"}]], " ", |
|
190 RowBox[{"t", "[", |
|
191 RowBox[{"a", ",", |
|
192 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+", |
|
193 RowBox[{"t", "[", |
|
194 RowBox[{ |
|
195 RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output", |
|
196 CellChangeTimes->{3.424198667420061*^9, 3.4241987978676353`*^9}] |
|
197 }, Open ]], |
|
198 |
|
199 Cell[BoxData[ |
|
200 RowBox[{ |
|
201 RowBox[{"d", "[", "X_Plus", "]"}], ":=", |
|
202 RowBox[{"d", "/@", "X"}]}]], "Input", |
|
203 CellChangeTimes->{{3.4241988074414015`*^9, 3.424198812658904*^9}}], |
|
204 |
|
205 Cell[BoxData[{ |
|
206 RowBox[{ |
|
207 RowBox[{"d", "[", |
|
208 RowBox[{ |
|
209 SuperscriptBox[ |
|
210 RowBox[{"(", |
|
211 RowBox[{"-", "1"}], ")"}], "n_."], " ", "X_"}], "]"}], ":=", |
|
212 RowBox[{ |
|
213 SuperscriptBox[ |
|
214 RowBox[{"(", |
|
215 RowBox[{"-", "1"}], ")"}], "n"], " ", |
|
216 RowBox[{"d", "[", "X", "]"}]}]}], "\[IndentingNewLine]", |
|
217 RowBox[{ |
|
218 RowBox[{"d", "[", |
|
219 RowBox[{"s_\[Sigma]", " ", "X_"}], "]"}], ":=", |
|
220 RowBox[{"s", " ", |
|
221 RowBox[{"d", "[", "X", "]"}]}]}]}], "Input", |
|
222 CellChangeTimes->{{3.424199070639862*^9, 3.424199126960848*^9}, { |
|
223 3.424201311281747*^9, 3.4242013146165423`*^9}}], |
|
224 |
|
225 Cell[BoxData[ |
|
226 RowBox[{ |
|
227 RowBox[{"d", "[", |
|
228 RowBox[{"d", "[", "_", "]"}], "]"}], ":=", "0"}]], "Input", |
|
229 CellChangeTimes->{{3.4241988199694157`*^9, 3.4241988233342543`*^9}}], |
|
230 |
|
231 Cell[BoxData[ |
|
232 RowBox[{ |
|
233 RowBox[{"tm", "[", |
|
234 RowBox[{"___", ",", "0", ",", "___"}], "]"}], ":=", "0"}]], "Input", |
|
235 CellChangeTimes->{{3.424198831185544*^9, 3.424198836773579*^9}}], |
|
236 |
|
237 Cell[BoxData[{ |
|
238 RowBox[{ |
|
239 RowBox[{"tm", "[", |
|
240 RowBox[{"X___", ",", "Y_Plus", ",", "Z__"}], "]"}], ":=", |
|
241 RowBox[{ |
|
242 RowBox[{ |
|
243 RowBox[{"tm", "[", |
|
244 RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@", |
|
245 "Y"}]}], "\[IndentingNewLine]", |
|
246 RowBox[{ |
|
247 RowBox[{"tm", "[", |
|
248 RowBox[{"X__", ",", "Y_Plus", ",", "Z___"}], "]"}], ":=", |
|
249 RowBox[{ |
|
250 RowBox[{ |
|
251 RowBox[{"tm", "[", |
|
252 RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@", |
|
253 "Y"}]}], "\[IndentingNewLine]", |
|
254 RowBox[{ |
|
255 RowBox[{"tm", "[", |
|
256 RowBox[{"X___", ",", |
|
257 RowBox[{ |
|
258 SuperscriptBox[ |
|
259 RowBox[{"(", |
|
260 RowBox[{"-", "1"}], ")"}], "n_."], "Y_"}], ",", "Z___"}], "]"}], ":=", |
|
261 |
|
262 RowBox[{ |
|
263 SuperscriptBox[ |
|
264 RowBox[{"(", |
|
265 RowBox[{"-", "1"}], ")"}], "n"], |
|
266 RowBox[{"tm", "[", |
|
267 RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}]}], "Input", |
|
268 CellChangeTimes->{{3.4242002106090574`*^9, 3.4242002710960336`*^9}, { |
|
269 3.4242009022035217`*^9, 3.4242009251565266`*^9}}], |
|
270 |
|
271 Cell[BoxData[{ |
|
272 RowBox[{ |
|
273 RowBox[{"t", "[", |
|
274 RowBox[{"X___", ",", "Y_Plus", ",", "Z__"}], "]"}], ":=", |
|
275 RowBox[{ |
|
276 RowBox[{ |
|
277 RowBox[{"t", "[", |
|
278 RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@", |
|
279 "Y"}]}], "\[IndentingNewLine]", |
|
280 RowBox[{ |
|
281 RowBox[{"t", "[", |
|
282 RowBox[{"X__", ",", "Y_Plus", ",", "Z___"}], "]"}], ":=", |
|
283 RowBox[{ |
|
284 RowBox[{ |
|
285 RowBox[{"t", "[", |
|
286 RowBox[{"X", ",", "#", ",", "Z"}], "]"}], "&"}], "/@", |
|
287 "Y"}]}], "\[IndentingNewLine]", |
|
288 RowBox[{ |
|
289 RowBox[{"t", "[", |
|
290 RowBox[{"X___", ",", |
|
291 RowBox[{ |
|
292 SuperscriptBox[ |
|
293 RowBox[{"(", |
|
294 RowBox[{"-", "1"}], ")"}], "n_."], "Y_"}], ",", "Z___"}], "]"}], ":=", |
|
295 |
|
296 RowBox[{ |
|
297 SuperscriptBox[ |
|
298 RowBox[{"(", |
|
299 RowBox[{"-", "1"}], ")"}], "n"], |
|
300 RowBox[{"t", "[", |
|
301 RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}], "\[IndentingNewLine]", |
|
302 RowBox[{ |
|
303 RowBox[{"t", "[", |
|
304 RowBox[{"X___", ",", |
|
305 RowBox[{"s_\[Sigma]", " ", "Y_"}], ",", "Z___"}], "]"}], ":=", |
|
306 RowBox[{"s", " ", |
|
307 RowBox[{"t", "[", |
|
308 RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}]}], "Input", |
|
309 CellChangeTimes->{{3.424201175196066*^9, 3.4242012093451695`*^9}, { |
|
310 3.424201303861077*^9, 3.424201306564965*^9}}], |
|
311 |
|
312 Cell[BoxData[{ |
|
313 RowBox[{ |
|
314 RowBox[{"t", "[", |
|
315 RowBox[{"X__", ",", |
|
316 RowBox[{"t", "[", "Y__", "]"}], ",", "Z___"}], "]"}], ":=", |
|
317 RowBox[{"t", "[", |
|
318 RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}], "\[IndentingNewLine]", |
|
319 RowBox[{ |
|
320 RowBox[{"t", "[", |
|
321 RowBox[{"X___", ",", |
|
322 RowBox[{"t", "[", "Y__", "]"}], ",", "Z__"}], "]"}], ":=", |
|
323 RowBox[{"t", "[", |
|
324 RowBox[{"X", ",", "Y", ",", "Z"}], "]"}]}]}], "Input", |
|
325 CellChangeTimes->{{3.42420197886168*^9, 3.424201999771747*^9}}], |
|
326 |
|
327 Cell[BoxData[ |
|
328 RowBox[{ |
|
329 RowBox[{"deg", "[", |
|
330 RowBox[{"d", "[", "X_", "]"}], "]"}], ":=", |
|
331 RowBox[{ |
|
332 RowBox[{"deg", "[", "X", "]"}], "-", "1"}]}]], "Input", |
|
333 CellChangeTimes->{{3.4241991779742017`*^9, 3.4241991852346416`*^9}}], |
|
334 |
|
335 Cell[BoxData[ |
|
336 RowBox[{ |
|
337 RowBox[{"deg", "[", "a_m", "]"}], ":=", |
|
338 RowBox[{ |
|
339 RowBox[{"Length", "[", "a", "]"}], "-", "2", "+", |
|
340 RowBox[{"Plus", "@@", |
|
341 RowBox[{"(", |
|
342 RowBox[{"deg", "/@", |
|
343 RowBox[{"List", "@@", "a"}]}], ")"}]}]}]}]], "Input", |
|
344 CellChangeTimes->{{3.4242003314828653`*^9, 3.4242003740440655`*^9}}], |
|
345 |
|
346 Cell[BoxData[ |
|
347 RowBox[{ |
|
348 RowBox[{"deg", "[", "a_tm", "]"}], ":=", |
|
349 RowBox[{ |
|
350 RowBox[{"Length", "[", "a", "]"}], "-", "1", "+", |
|
351 RowBox[{"Plus", "@@", |
|
352 RowBox[{"(", |
|
353 RowBox[{"deg", "/@", |
|
354 RowBox[{"List", "@@", "a"}]}], ")"}]}]}]}]], "Input", |
|
355 CellChangeTimes->{{3.4242003910885744`*^9, 3.4242003932016125`*^9}}], |
|
356 |
|
357 Cell[BoxData[ |
|
358 RowBox[{ |
|
359 RowBox[{"d", "[", |
|
360 RowBox[{"a", ":", |
|
361 RowBox[{"HoldPattern", "[", |
|
362 RowBox[{"tm", "[", "___", "]"}], "]"}]}], "]"}], ":=", |
|
363 RowBox[{"With", "[", |
|
364 RowBox[{ |
|
365 RowBox[{"{", |
|
366 RowBox[{"k", "=", |
|
367 RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",", "\[IndentingNewLine]", |
|
368 |
|
369 RowBox[{ |
|
370 RowBox[{ |
|
371 UnderoverscriptBox["\[Sum]", |
|
372 RowBox[{"l", "=", "1"}], |
|
373 RowBox[{"k", "-", "1"}]], |
|
374 RowBox[{ |
|
375 RowBox[{"\[Sigma]", "[", |
|
376 RowBox[{"l", ",", |
|
377 RowBox[{"List", "@@", "a"}]}], "]"}], " ", |
|
378 RowBox[{"t", "[", |
|
379 RowBox[{ |
|
380 RowBox[{"Take", "[", |
|
381 RowBox[{"a", ",", "l"}], "]"}], ",", |
|
382 RowBox[{"Drop", "[", |
|
383 RowBox[{"a", ",", "l"}], "]"}]}], "]"}]}]}], "+", |
|
384 "\[IndentingNewLine]", |
|
385 RowBox[{ |
|
386 UnderoverscriptBox["\[Sum]", |
|
387 RowBox[{"l", "=", "1"}], "k"], |
|
388 RowBox[{ |
|
389 UnderoverscriptBox["\[Sum]", |
|
390 RowBox[{"lp", "=", "0"}], |
|
391 RowBox[{"l", "-", "1"}]], |
|
392 RowBox[{"With", "[", |
|
393 RowBox[{ |
|
394 RowBox[{"{", |
|
395 RowBox[{ |
|
396 RowBox[{"l1", "=", "lp"}], ",", |
|
397 RowBox[{"l2", "=", |
|
398 RowBox[{"k", "-", "l", "+", "1"}]}], ",", |
|
399 RowBox[{"l3", "=", |
|
400 RowBox[{"l", "-", "1", "-", "lp"}]}]}], "}"}], ",", |
|
401 RowBox[{ |
|
402 SuperscriptBox[ |
|
403 RowBox[{"(", |
|
404 RowBox[{"-", "1"}], ")"}], |
|
405 RowBox[{ |
|
406 RowBox[{"l2", |
|
407 RowBox[{"(", |
|
408 RowBox[{"k", "-", "1", "+", |
|
409 RowBox[{ |
|
410 UnderoverscriptBox["\[Sum]", |
|
411 RowBox[{"j", "=", "1"}], "lp"], |
|
412 RowBox[{"deg", "[", |
|
413 RowBox[{ |
|
414 "a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}], |
|
415 "]"}]}]}], ")"}]}], "+", |
|
416 RowBox[{ |
|
417 RowBox[{"(", |
|
418 RowBox[{"k", "-", "l"}], ")"}], |
|
419 RowBox[{"(", "lp", ")"}]}]}]], |
|
420 RowBox[{"tm", "@@", |
|
421 RowBox[{"(", |
|
422 RowBox[{ |
|
423 RowBox[{"Take", "[", |
|
424 RowBox[{ |
|
425 RowBox[{"List", "@@", "a"}], ",", "lp"}], "]"}], "~", "Join", |
|
426 "~", |
|
427 RowBox[{"{", |
|
428 RowBox[{"m", "@@", |
|
429 RowBox[{"Take", "[", |
|
430 RowBox[{ |
|
431 RowBox[{"List", "@@", "a"}], ",", |
|
432 RowBox[{"{", |
|
433 RowBox[{ |
|
434 RowBox[{"lp", "+", "1"}], ",", |
|
435 RowBox[{"lp", "+", "k", "-", "l", "+", "1"}]}], "}"}]}], |
|
436 "]"}]}], "}"}], "~", "Join", "~", |
|
437 RowBox[{"Drop", "[", |
|
438 RowBox[{ |
|
439 RowBox[{"List", "@@", "a"}], ",", |
|
440 RowBox[{"lp", "+", "k", "-", "l", "+", "1"}]}], "]"}]}], |
|
441 ")"}]}]}]}], "]"}]}]}]}]}], "\[IndentingNewLine]", |
|
442 "]"}]}]], "Input", |
|
443 CellChangeTimes->{{3.4241976743520994`*^9, 3.4241979358681407`*^9}, { |
|
444 3.4241980205799503`*^9, 3.4241980693100204`*^9}, {3.4241981831937776`*^9, |
|
445 3.424198219375805*^9}, {3.4241984876916237`*^9, 3.424198488572891*^9}, { |
|
446 3.4241987823553295`*^9, 3.424198785980542*^9}, {3.4241989378989906`*^9, |
|
447 3.424198966930736*^9}, {3.4241990027121873`*^9, 3.424199045193272*^9}, { |
|
448 3.424200498352813*^9, 3.4242005144659824`*^9}, {3.4242006132580385`*^9, |
|
449 3.424200613448312*^9}, {3.42420072089281*^9, 3.4242007272219105`*^9}, { |
|
450 3.424200772507027*^9, 3.424200782811845*^9}, {3.4242012813687344`*^9, |
|
451 3.424201292494733*^9}, {3.4242071329028273`*^9, 3.424207333311*^9}, { |
|
452 3.4242075895995245`*^9, 3.424207624329464*^9}}], |
|
453 |
|
454 Cell[BoxData[ |
|
455 SuperscriptBox[ |
|
456 RowBox[{"(", |
|
457 RowBox[{"-", "1"}], ")"}], |
|
458 RowBox[{ |
|
459 RowBox[{ |
|
460 RowBox[{"(", |
|
461 RowBox[{"k", "-", "l", "+", "1"}], ")"}], |
|
462 RowBox[{"(", |
|
463 RowBox[{"k", "-", "1", "+", |
|
464 RowBox[{ |
|
465 UnderoverscriptBox["\[Sum]", |
|
466 RowBox[{"j", "=", "1"}], "lp"], |
|
467 RowBox[{"deg", "[", |
|
468 RowBox[{"a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}], |
|
469 "]"}]}]}], ")"}]}], "+", |
|
470 RowBox[{ |
|
471 RowBox[{"(", |
|
472 RowBox[{"k", "-", "l"}], ")"}], |
|
473 RowBox[{"(", "lp", ")"}]}]}]]], "Input"], |
|
474 |
|
475 Cell[BoxData[ |
|
476 SuperscriptBox[ |
|
477 RowBox[{"(", |
|
478 RowBox[{"-", "1"}], ")"}], |
|
479 RowBox[{ |
|
480 RowBox[{ |
|
481 RowBox[{"(", |
|
482 RowBox[{"l1", "+", "l2"}], ")"}], "l3"}], "+", |
|
483 RowBox[{"l2", " ", |
|
484 RowBox[{"(", |
|
485 RowBox[{"Plus", "@@", |
|
486 RowBox[{"(", |
|
487 RowBox[{"deg", "/@", |
|
488 RowBox[{"Take", "[", |
|
489 RowBox[{ |
|
490 RowBox[{"List", "@@", "a"}], ",", "l1"}], "]"}]}], ")"}]}], |
|
491 ")"}]}]}]]], "Input"], |
|
492 |
|
493 Cell[CellGroupData[{ |
|
494 |
|
495 Cell[BoxData[ |
|
496 RowBox[{"Collect", "[", |
|
497 RowBox[{ |
|
498 RowBox[{"d", "[", |
|
499 RowBox[{"d", "[", |
|
500 RowBox[{"tm", "[", |
|
501 RowBox[{"a", ",", "b"}], "]"}], "]"}], "]"}], ",", |
|
502 RowBox[{"(", |
|
503 RowBox[{"_tm", "|", "_d", "|", "_t"}], ")"}], ",", "Together"}], |
|
504 "]"}]], "Input", |
|
505 CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, { |
|
506 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9, |
|
507 3.4241992055338306`*^9}}], |
|
508 |
|
509 Cell[BoxData["0"], "Output", |
|
510 CellChangeTimes->{{3.424198803315469*^9, 3.424198837724947*^9}, { |
|
511 3.4241990626684*^9, 3.424199205944421*^9}, 3.424200074182886*^9, |
|
512 3.4242001944958878`*^9, 3.424200409054408*^9, {3.4242004997448144`*^9, |
|
513 3.4242005193029375`*^9}, 3.424200728914344*^9, 3.424200784414149*^9, |
|
514 3.424200932707384*^9, 3.4242013241802945`*^9, 3.4242014646823263`*^9, { |
|
515 3.4242073102378225`*^9, 3.424207336445507*^9}, {3.42420760386003*^9, |
|
516 3.4242076281149073`*^9}}] |
|
517 }, Open ]], |
|
518 |
|
519 Cell[CellGroupData[{ |
|
520 |
|
521 Cell[BoxData[ |
|
522 RowBox[{"d", "[", |
|
523 RowBox[{"tm", "[", |
|
524 RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input", |
|
525 CellChangeTimes->{{3.424200732269168*^9, 3.424200734181918*^9}}], |
|
526 |
|
527 Cell[BoxData[ |
|
528 RowBox[{ |
|
529 RowBox[{"m", "[", |
|
530 RowBox[{"a", ",", "b"}], "]"}], "+", |
|
531 RowBox[{ |
|
532 SuperscriptBox[ |
|
533 RowBox[{"(", |
|
534 RowBox[{"-", "1"}], ")"}], |
|
535 RowBox[{"1", "+", |
|
536 RowBox[{"2", " ", |
|
537 RowBox[{"deg", "[", "a", "]"}]}]}]], " ", |
|
538 RowBox[{"t", "[", |
|
539 RowBox[{"a", ",", "b"}], "]"}]}], "+", |
|
540 RowBox[{ |
|
541 SuperscriptBox[ |
|
542 RowBox[{"(", |
|
543 RowBox[{"-", "1"}], ")"}], |
|
544 RowBox[{"1", "+", |
|
545 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
546 RowBox[{"tm", "[", |
|
547 RowBox[{"a", ",", |
|
548 RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "-", |
|
549 RowBox[{"tm", "[", |
|
550 RowBox[{ |
|
551 RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}]], "Output", |
|
552 CellChangeTimes->{3.4242007344122496`*^9, 3.424200785946352*^9, |
|
553 3.4242009332481613`*^9, 3.4242011847097454`*^9, 3.424201395322592*^9, |
|
554 3.42420146061648*^9, 3.4242074562277455`*^9, 3.4242076049616146`*^9}] |
|
555 }, Open ]], |
|
556 |
|
557 Cell[BoxData[ |
|
558 RowBox[{"Clear", "[", "\[Sigma]", "]"}]], "Input", |
|
559 CellChangeTimes->{{3.424201810469544*^9, 3.4242018117614017`*^9}}], |
|
560 |
|
561 Cell[BoxData[ |
|
562 RowBox[{ |
|
563 RowBox[{"\[Sigma]", "[", |
|
564 RowBox[{"l_", ",", "a_List"}], "]"}], ":=", |
|
565 RowBox[{"With", "[", |
|
566 RowBox[{ |
|
567 RowBox[{"{", |
|
568 RowBox[{"k", "=", |
|
569 RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",", |
|
570 SuperscriptBox[ |
|
571 RowBox[{"(", |
|
572 RowBox[{"-", "1"}], ")"}], |
|
573 RowBox[{ |
|
574 RowBox[{ |
|
575 RowBox[{"(", |
|
576 RowBox[{"k", "-", "l", "+", "1"}], ")"}], |
|
577 RowBox[{"(", |
|
578 RowBox[{"Plus", "@@", |
|
579 RowBox[{"(", |
|
580 RowBox[{"deg", "/@", |
|
581 RowBox[{"Take", "[", |
|
582 RowBox[{"a", ",", "l"}], "]"}]}], ")"}]}], ")"}]}], "+", "l"}]]}], |
|
583 "]"}]}]], "Input", |
|
584 CellChangeTimes->{{3.424206850386589*^9, 3.4242069563589697`*^9}, { |
|
585 3.4242070973617215`*^9, 3.4242070975419807`*^9}}], |
|
586 |
|
587 Cell[CellGroupData[{ |
|
588 |
|
589 Cell[BoxData[ |
|
590 RowBox[{"d", "[", |
|
591 RowBox[{"tm", "[", |
|
592 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input", |
|
593 CellChangeTimes->{{3.4242005789086466`*^9, 3.424200581302088*^9}}], |
|
594 |
|
595 Cell[BoxData[ |
|
596 RowBox[{ |
|
597 RowBox[{"m", "[", |
|
598 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "+", |
|
599 RowBox[{ |
|
600 SuperscriptBox[ |
|
601 RowBox[{"(", |
|
602 RowBox[{"-", "1"}], ")"}], |
|
603 RowBox[{"1", "+", |
|
604 RowBox[{"3", " ", |
|
605 RowBox[{"deg", "[", "a", "]"}]}]}]], " ", |
|
606 RowBox[{"t", "[", |
|
607 RowBox[{"a", ",", |
|
608 RowBox[{"tm", "[", |
|
609 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
610 RowBox[{ |
|
611 SuperscriptBox[ |
|
612 RowBox[{"(", |
|
613 RowBox[{"-", "1"}], ")"}], |
|
614 RowBox[{"2", "+", |
|
615 RowBox[{"2", " ", |
|
616 RowBox[{"(", |
|
617 RowBox[{ |
|
618 RowBox[{"deg", "[", "a", "]"}], "+", |
|
619 RowBox[{"deg", "[", "b", "]"}]}], ")"}]}]}]], " ", |
|
620 RowBox[{"t", "[", |
|
621 RowBox[{ |
|
622 RowBox[{"tm", "[", |
|
623 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}]}], "+", |
|
624 RowBox[{ |
|
625 SuperscriptBox[ |
|
626 RowBox[{"(", |
|
627 RowBox[{"-", "1"}], ")"}], |
|
628 RowBox[{"1", "+", |
|
629 RowBox[{"2", " ", |
|
630 RowBox[{"(", |
|
631 RowBox[{"2", "+", |
|
632 RowBox[{"deg", "[", "a", "]"}]}], ")"}]}]}]], " ", |
|
633 RowBox[{"tm", "[", |
|
634 RowBox[{"a", ",", |
|
635 RowBox[{"m", "[", |
|
636 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
637 RowBox[{"tm", "[", |
|
638 RowBox[{ |
|
639 RowBox[{"m", "[", |
|
640 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "+", |
|
641 RowBox[{ |
|
642 SuperscriptBox[ |
|
643 RowBox[{"(", |
|
644 RowBox[{"-", "1"}], ")"}], |
|
645 RowBox[{"2", "+", |
|
646 RowBox[{"deg", "[", "a", "]"}], "+", |
|
647 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
648 RowBox[{"tm", "[", |
|
649 RowBox[{"a", ",", "b", ",", |
|
650 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+", |
|
651 RowBox[{ |
|
652 SuperscriptBox[ |
|
653 RowBox[{"(", |
|
654 RowBox[{"-", "1"}], ")"}], |
|
655 RowBox[{"2", "+", |
|
656 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
657 RowBox[{"tm", "[", |
|
658 RowBox[{"a", ",", |
|
659 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+", |
|
660 RowBox[{"tm", "[", |
|
661 RowBox[{ |
|
662 RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output", |
|
663 CellChangeTimes->{ |
|
664 3.4242005816826353`*^9, 3.424200616232315*^9, 3.424200747741416*^9, |
|
665 3.4242007892711325`*^9, 3.424200933939155*^9, 3.4242011853306384`*^9, |
|
666 3.4242014129078784`*^9, 3.4242014668153934`*^9, 3.424201520983283*^9, |
|
667 3.424201813834382*^9, 3.4242019528943405`*^9, {3.42420693098248*^9, |
|
668 3.424206957600755*^9}, 3.4242070989840546`*^9}] |
|
669 }, Open ]], |
|
670 |
|
671 Cell[CellGroupData[{ |
|
672 |
|
673 Cell[BoxData[ |
|
674 RowBox[{"Collect", "[", |
|
675 RowBox[{ |
|
676 RowBox[{"d", "[", |
|
677 RowBox[{"d", "[", |
|
678 RowBox[{"tm", "[", |
|
679 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}], "]"}], ",", |
|
680 RowBox[{"(", |
|
681 RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",", |
|
682 RowBox[{ |
|
683 RowBox[{"(", |
|
684 RowBox[{ |
|
685 RowBox[{"Together", "[", "#", "]"}], "/.", |
|
686 RowBox[{"{", |
|
687 RowBox[{ |
|
688 SuperscriptBox[ |
|
689 RowBox[{"(", |
|
690 RowBox[{"-", "1"}], ")"}], |
|
691 RowBox[{"2", "_"}]], "\[Rule]", "1"}], "}"}]}], ")"}], "&"}]}], |
|
692 "]"}]], "Input", |
|
693 CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, { |
|
694 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9, |
|
695 3.4241992221176767`*^9}, {3.4242004382664127`*^9, |
|
696 3.4242004391877375`*^9}, {3.4242005411643724`*^9, 3.4242005437080307`*^9}, |
|
697 3.4242008174216113`*^9, {3.4242020485218463`*^9, 3.4242020686007185`*^9}}],\ |
|
698 |
|
699 |
|
700 Cell[BoxData["0"], "Output", |
|
701 CellChangeTimes->{ |
|
702 3.4241992227786274`*^9, {3.42420019620835*^9, 3.4242002421444035`*^9}, |
|
703 3.4242002726983376`*^9, 3.4242003764174786`*^9, 3.424200409885603*^9, |
|
704 3.424200440639826*^9, {3.424200503289912*^9, 3.424200544218765*^9}, { |
|
705 3.424200814537464*^9, 3.4242008178021584`*^9}, 3.424200934660192*^9, { |
|
706 3.4242011874136333`*^9, 3.42420121426224*^9}, 3.4242015234968977`*^9, |
|
707 3.4242019690475683`*^9, 3.4242020049091344`*^9, 3.4242020689311934`*^9, { |
|
708 3.4242069335261374`*^9, 3.424206960825392*^9}, 3.424207099955451*^9, { |
|
709 3.4242076078457613`*^9, 3.4242076316199474`*^9}}] |
|
710 }, Open ]], |
|
711 |
|
712 Cell[BoxData[ |
|
713 RowBox[{ |
|
714 RowBox[{"\[Sigma]", "[", |
|
715 RowBox[{"1", ",", |
|
716 RowBox[{"{", |
|
717 RowBox[{"_", ",", "_", ",", "_", ",", "_"}], "}"}]}], "]"}], ":=", |
|
718 RowBox[{"-", "1"}]}]], "Input", |
|
719 CellChangeTimes->{{3.4242021358173714`*^9, 3.424202143248056*^9}}], |
|
720 |
|
721 Cell[BoxData[{ |
|
722 RowBox[{ |
|
723 RowBox[{"\[Sigma]", "[", |
|
724 RowBox[{"2", ",", |
|
725 RowBox[{"{", |
|
726 RowBox[{"a_", ",", "b_", ",", "_", ",", "_"}], "}"}]}], "]"}], ":=", |
|
727 SuperscriptBox[ |
|
728 RowBox[{"(", |
|
729 RowBox[{"-", "1"}], ")"}], |
|
730 RowBox[{ |
|
731 RowBox[{"deg", "[", "a", "]"}], "+", |
|
732 RowBox[{"deg", "[", "b", "]"}]}]]}], "\[IndentingNewLine]", |
|
733 RowBox[{ |
|
734 RowBox[{"\[Sigma]", "[", |
|
735 RowBox[{"3", ",", |
|
736 RowBox[{"{", |
|
737 RowBox[{"_", ",", "_", ",", "_", ",", "_"}], "}"}]}], "]"}], ":=", |
|
738 RowBox[{"-", "1"}]}]}], "Input", |
|
739 CellChangeTimes->{{3.424202215401808*^9, 3.4242022541975937`*^9}}], |
|
740 |
|
741 Cell[BoxData[{ |
|
742 RowBox[{ |
|
743 RowBox[{"\[Sigma]", "[", |
|
744 RowBox[{"1", ",", "a_List"}], "]"}], ":=", |
|
745 SuperscriptBox[ |
|
746 RowBox[{"(", |
|
747 RowBox[{"-", "1"}], ")"}], |
|
748 RowBox[{ |
|
749 RowBox[{ |
|
750 RowBox[{"Length", "[", "a", "]"}], |
|
751 RowBox[{"deg", "[", |
|
752 RowBox[{"a", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], |
|
753 "]"}]}], "+", "1"}]]}], "\[IndentingNewLine]", |
|
754 RowBox[{ |
|
755 RowBox[{"\[Sigma]", "[", |
|
756 RowBox[{"2", ",", "a_List"}], "]"}], ":=", |
|
757 SuperscriptBox[ |
|
758 RowBox[{"(", |
|
759 RowBox[{"-", "1"}], ")"}], |
|
760 RowBox[{ |
|
761 RowBox[{"(", |
|
762 RowBox[{ |
|
763 RowBox[{"Length", "[", "a", "]"}], "+", "1"}], ")"}], |
|
764 RowBox[{"(", |
|
765 RowBox[{ |
|
766 RowBox[{"deg", "[", |
|
767 RowBox[{"a", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], |
|
768 "]"}], "+", |
|
769 RowBox[{"deg", "[", |
|
770 RowBox[{"a", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], |
|
771 "]"}]}], ")"}]}]]}], "\[IndentingNewLine]", |
|
772 RowBox[{ |
|
773 RowBox[{"\[Sigma]", "[", |
|
774 RowBox[{"3", ",", "a_List"}], "]"}], ":=", |
|
775 SuperscriptBox[ |
|
776 RowBox[{"(", |
|
777 RowBox[{"-", "1"}], ")"}], |
|
778 RowBox[{ |
|
779 RowBox[{ |
|
780 RowBox[{"(", |
|
781 RowBox[{"Length", "[", "a", "]"}], ")"}], |
|
782 RowBox[{"(", |
|
783 RowBox[{ |
|
784 RowBox[{"deg", "[", |
|
785 RowBox[{"a", "\[LeftDoubleBracket]", "1", "\[RightDoubleBracket]"}], |
|
786 "]"}], "+", |
|
787 RowBox[{"deg", "[", |
|
788 RowBox[{"a", "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], |
|
789 "]"}], "+", |
|
790 RowBox[{"deg", "[", |
|
791 RowBox[{"a", "\[LeftDoubleBracket]", "3", "\[RightDoubleBracket]"}], |
|
792 "]"}]}], ")"}]}], "+", "1"}]]}]}], "Input", |
|
793 CellChangeTimes->{{3.4242025340600157`*^9, 3.4242026162481966`*^9}, { |
|
794 3.424202652159835*^9, 3.4242026904248576`*^9}, {3.424202735649888*^9, |
|
795 3.424202777089475*^9}}], |
|
796 |
|
797 Cell[BoxData[ |
|
798 RowBox[{ |
|
799 RowBox[{"\[Sigma]", "[", |
|
800 RowBox[{"k_Integer", ",", "a_List"}], "]"}], ":=", |
|
801 SuperscriptBox[ |
|
802 RowBox[{"(", |
|
803 RowBox[{"-", "1"}], ")"}], |
|
804 RowBox[{ |
|
805 RowBox[{ |
|
806 RowBox[{"(", |
|
807 RowBox[{ |
|
808 RowBox[{"Length", "[", "a", "]"}], "+", "k", "+", "1"}], ")"}], |
|
809 RowBox[{"(", |
|
810 RowBox[{"Plus", "@@", |
|
811 RowBox[{"(", |
|
812 RowBox[{"deg", "/@", |
|
813 RowBox[{"Take", "[", |
|
814 RowBox[{"a", ",", "k"}], "]"}]}], ")"}]}], ")"}]}], "+", |
|
815 "k"}]]}]], "Input", |
|
816 CellChangeTimes->{{3.424202789427216*^9, 3.424202836054262*^9}}], |
|
817 |
|
818 Cell[CellGroupData[{ |
|
819 |
|
820 Cell[BoxData[ |
|
821 RowBox[{"Collect", "[", |
|
822 RowBox[{ |
|
823 RowBox[{"d", "[", |
|
824 RowBox[{"d", "[", |
|
825 RowBox[{"tm", "[", |
|
826 RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "]"}], "]"}], "]"}], ",", |
|
827 RowBox[{"(", |
|
828 RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",", |
|
829 RowBox[{ |
|
830 RowBox[{"(", |
|
831 RowBox[{ |
|
832 RowBox[{"Together", "[", "#", "]"}], "//.", |
|
833 RowBox[{"{", |
|
834 RowBox[{ |
|
835 SuperscriptBox[ |
|
836 RowBox[{"(", |
|
837 RowBox[{"-", "1"}], ")"}], |
|
838 RowBox[{"n_Integer", " ", "x_"}]], "\[RuleDelayed]", |
|
839 SuperscriptBox[ |
|
840 RowBox[{"(", |
|
841 SuperscriptBox[ |
|
842 RowBox[{"(", |
|
843 RowBox[{"-", "1"}], ")"}], "n"], ")"}], "x"]}], "}"}]}], ")"}], |
|
844 "&"}]}], "]"}]], "Input", |
|
845 CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, { |
|
846 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9, |
|
847 3.4241992221176767`*^9}, {3.4242004382664127`*^9, |
|
848 3.4242004391877375`*^9}, {3.4242005411643724`*^9, 3.4242005437080307`*^9}, |
|
849 3.4242008174216113`*^9, {3.4242020485218463`*^9, 3.424202081188819*^9}, { |
|
850 3.424202169736144*^9, 3.4242021956233683`*^9}, {3.4242022722535567`*^9, |
|
851 3.424202330757682*^9}, 3.4242025057092495`*^9}], |
|
852 |
|
853 Cell[BoxData["0"], "Output", |
|
854 CellChangeTimes->{ |
|
855 3.4242020826108637`*^9, 3.4242021449905615`*^9, 3.424202196805067*^9, { |
|
856 3.4242022356809683`*^9, 3.424202255329221*^9}, {3.4242023014355183`*^9, |
|
857 3.4242023313986034`*^9}, 3.424202506440301*^9, 3.424207107165819*^9}] |
|
858 }, Open ]], |
|
859 |
|
860 Cell[CellGroupData[{ |
|
861 |
|
862 Cell[BoxData[ |
|
863 RowBox[{"Collect", "[", |
|
864 RowBox[{ |
|
865 RowBox[{"d", "[", |
|
866 RowBox[{"d", "[", |
|
867 RowBox[{"tm", "[", |
|
868 RowBox[{ |
|
869 "a", ",", "b", ",", "c", ",", "d", ",", "e", ",", "f", ",", "g"}], |
|
870 "]"}], "]"}], "]"}], ",", |
|
871 RowBox[{"(", |
|
872 RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",", |
|
873 RowBox[{ |
|
874 RowBox[{"(", |
|
875 RowBox[{ |
|
876 RowBox[{"Together", "[", "#", "]"}], "//.", |
|
877 RowBox[{"{", |
|
878 RowBox[{ |
|
879 SuperscriptBox[ |
|
880 RowBox[{"(", |
|
881 RowBox[{"-", "1"}], ")"}], |
|
882 RowBox[{"n_Integer", " ", "x_"}]], "\[RuleDelayed]", |
|
883 SuperscriptBox[ |
|
884 RowBox[{"(", |
|
885 SuperscriptBox[ |
|
886 RowBox[{"(", |
|
887 RowBox[{"-", "1"}], ")"}], "n"], ")"}], "x"]}], "}"}]}], ")"}], |
|
888 "&"}]}], "]"}]], "Input", |
|
889 CellChangeTimes->{{3.424198799299694*^9, 3.424198802804734*^9}, { |
|
890 3.4241991375360546`*^9, 3.4241991665077133`*^9}, {3.424199203320648*^9, |
|
891 3.4241992221176767`*^9}, {3.4242004382664127`*^9, |
|
892 3.4242004391877375`*^9}, {3.4242005411643724`*^9, 3.4242005437080307`*^9}, |
|
893 3.4242008174216113`*^9, {3.4242020485218463`*^9, 3.424202081188819*^9}, { |
|
894 3.424202169736144*^9, 3.4242021956233683`*^9}, {3.4242022722535567`*^9, |
|
895 3.424202330757682*^9}, {3.4242025057092495`*^9, 3.4242025139210577`*^9}, { |
|
896 3.424202854761162*^9, 3.4242028737084064`*^9}}], |
|
897 |
|
898 Cell[BoxData["0"], "Output", |
|
899 CellChangeTimes->{ |
|
900 3.4242025147923107`*^9, 3.4242025962594547`*^9, 3.4242027035837793`*^9, |
|
901 3.4242027793827724`*^9, {3.4242028405106707`*^9, 3.4242028777942815`*^9}, |
|
902 3.4242071121730194`*^9}] |
|
903 }, Open ]], |
|
904 |
|
905 Cell[CellGroupData[{ |
|
906 |
|
907 Cell[BoxData[ |
|
908 RowBox[{"d", "[", |
|
909 RowBox[{"-", |
|
910 RowBox[{"tm", "[", |
|
911 RowBox[{"a", ",", |
|
912 RowBox[{"m", "[", |
|
913 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "]"}]], "Input", |
|
914 CellChangeTimes->{{3.4242016238211565`*^9, 3.424201638492253*^9}}], |
|
915 |
|
916 Cell[BoxData[ |
|
917 RowBox[{ |
|
918 RowBox[{"-", |
|
919 RowBox[{"m", "[", |
|
920 RowBox[{"a", ",", |
|
921 RowBox[{"m", "[", |
|
922 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
923 RowBox[{"t", "[", |
|
924 RowBox[{"a", ",", |
|
925 RowBox[{"m", "[", |
|
926 RowBox[{"b", ",", "c"}], "]"}]}], "]"}], "-", |
|
927 RowBox[{ |
|
928 SuperscriptBox[ |
|
929 RowBox[{"(", |
|
930 RowBox[{"-", "1"}], ")"}], |
|
931 RowBox[{"1", "+", |
|
932 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
933 RowBox[{"(", |
|
934 RowBox[{ |
|
935 RowBox[{ |
|
936 SuperscriptBox[ |
|
937 RowBox[{"(", |
|
938 RowBox[{"-", "1"}], ")"}], |
|
939 RowBox[{"deg", "[", "b", "]"}]], " ", |
|
940 RowBox[{"tm", "[", |
|
941 RowBox[{"a", ",", |
|
942 RowBox[{"m", "[", |
|
943 RowBox[{"b", ",", |
|
944 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "]"}]}], "+", |
|
945 RowBox[{"tm", "[", |
|
946 RowBox[{"a", ",", |
|
947 RowBox[{"m", "[", |
|
948 RowBox[{ |
|
949 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "]"}]}], ")"}]}], |
|
950 "+", |
|
951 RowBox[{"tm", "[", |
|
952 RowBox[{ |
|
953 RowBox[{"d", "[", "a", "]"}], ",", |
|
954 RowBox[{"m", "[", |
|
955 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}]], "Output", |
|
956 CellChangeTimes->{{3.4242016302504015`*^9, 3.424201639203275*^9}}] |
|
957 }, Open ]], |
|
958 |
|
959 Cell[CellGroupData[{ |
|
960 |
|
961 Cell[BoxData[ |
|
962 RowBox[{"Collect", "[", |
|
963 RowBox[{ |
|
964 RowBox[{"d", "[", |
|
965 RowBox[{"-", |
|
966 RowBox[{"t", "[", |
|
967 RowBox[{"a", ",", |
|
968 RowBox[{"tm", "[", |
|
969 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "]"}], ",", |
|
970 RowBox[{"(", |
|
971 RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",", |
|
972 "Together"}], "]"}]], "Input", |
|
973 CellChangeTimes->{{3.4242016637085123`*^9, 3.4242016950435696`*^9}}], |
|
974 |
|
975 Cell[BoxData[ |
|
976 RowBox[{ |
|
977 RowBox[{ |
|
978 RowBox[{"-", |
|
979 SuperscriptBox[ |
|
980 RowBox[{"(", |
|
981 RowBox[{"-", "1"}], ")"}], |
|
982 RowBox[{"deg", "[", "a", "]"}]]}], " ", |
|
983 RowBox[{"t", "[", |
|
984 RowBox[{"a", ",", |
|
985 RowBox[{"m", "[", |
|
986 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
987 RowBox[{ |
|
988 SuperscriptBox[ |
|
989 RowBox[{"(", |
|
990 RowBox[{"-", "1"}], ")"}], |
|
991 RowBox[{"deg", "[", "a", "]"}]], " ", |
|
992 RowBox[{"t", "[", |
|
993 RowBox[{"a", ",", |
|
994 RowBox[{"t", "[", |
|
995 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
996 RowBox[{ |
|
997 SuperscriptBox[ |
|
998 RowBox[{"(", |
|
999 RowBox[{"-", "1"}], ")"}], |
|
1000 RowBox[{ |
|
1001 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1002 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
1003 RowBox[{"t", "[", |
|
1004 RowBox[{"a", ",", |
|
1005 RowBox[{"tm", "[", |
|
1006 RowBox[{"b", ",", |
|
1007 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "]"}]}], "+", |
|
1008 RowBox[{ |
|
1009 SuperscriptBox[ |
|
1010 RowBox[{"(", |
|
1011 RowBox[{"-", "1"}], ")"}], |
|
1012 RowBox[{"deg", "[", "a", "]"}]], " ", |
|
1013 RowBox[{"t", "[", |
|
1014 RowBox[{"a", ",", |
|
1015 RowBox[{"tm", "[", |
|
1016 RowBox[{ |
|
1017 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "]"}]}], "-", |
|
1018 RowBox[{"t", "[", |
|
1019 RowBox[{ |
|
1020 RowBox[{"d", "[", "a", "]"}], ",", |
|
1021 RowBox[{"tm", "[", |
|
1022 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}]], "Output", |
|
1023 CellChangeTimes->{{3.4242016665425873`*^9, 3.424201695384059*^9}}] |
|
1024 }, Open ]], |
|
1025 |
|
1026 Cell[CellGroupData[{ |
|
1027 |
|
1028 Cell[BoxData[ |
|
1029 RowBox[{"Collect", "[", |
|
1030 RowBox[{ |
|
1031 RowBox[{"d", "[", |
|
1032 RowBox[{"d", "[", |
|
1033 RowBox[{"tm", "[", |
|
1034 RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "]"}], "]"}], "]"}], ",", |
|
1035 RowBox[{"(", |
|
1036 RowBox[{"_tm", "|", "_d", "|", "_t", "|", "_m"}], ")"}], ",", |
|
1037 "Together"}], "]"}]], "Input", |
|
1038 CellChangeTimes->{{3.424200829108416*^9, 3.4242008345862927`*^9}, |
|
1039 3.4242009398075933`*^9}], |
|
1040 |
|
1041 Cell[BoxData[ |
|
1042 RowBox[{ |
|
1043 RowBox[{ |
|
1044 RowBox[{"-", |
|
1045 SuperscriptBox[ |
|
1046 RowBox[{"(", |
|
1047 RowBox[{"-", "1"}], ")"}], |
|
1048 RowBox[{"3", " ", |
|
1049 RowBox[{"deg", "[", "a", "]"}]}]]}], " ", "\[Sigma]", " ", |
|
1050 RowBox[{"t", "[", |
|
1051 RowBox[{"a", ",", |
|
1052 RowBox[{"m", "[", |
|
1053 RowBox[{"b", ",", "c", ",", "d"}], "]"}]}], "]"}]}], "+", |
|
1054 RowBox[{ |
|
1055 SuperscriptBox[ |
|
1056 RowBox[{"(", |
|
1057 RowBox[{"-", "1"}], ")"}], |
|
1058 RowBox[{ |
|
1059 RowBox[{"2", " ", |
|
1060 RowBox[{"deg", "[", "a", "]"}]}], "+", |
|
1061 RowBox[{"2", " ", |
|
1062 RowBox[{"deg", "[", "b", "]"}]}]}]], " ", "\[Sigma]", " ", |
|
1063 RowBox[{"t", "[", |
|
1064 RowBox[{"a", ",", |
|
1065 RowBox[{"tm", "[", |
|
1066 RowBox[{"b", ",", |
|
1067 RowBox[{"m", "[", |
|
1068 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "]"}]}], "-", |
|
1069 RowBox[{ |
|
1070 SuperscriptBox[ |
|
1071 RowBox[{"(", |
|
1072 RowBox[{"-", "1"}], ")"}], |
|
1073 RowBox[{"2", " ", |
|
1074 RowBox[{"deg", "[", "a", "]"}]}]], " ", "\[Sigma]", " ", |
|
1075 RowBox[{"t", "[", |
|
1076 RowBox[{"a", ",", |
|
1077 RowBox[{"tm", "[", |
|
1078 RowBox[{ |
|
1079 RowBox[{"m", "[", |
|
1080 RowBox[{"b", ",", "c"}], "]"}], ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1081 RowBox[{ |
|
1082 SuperscriptBox[ |
|
1083 RowBox[{"(", |
|
1084 RowBox[{"-", "1"}], ")"}], |
|
1085 RowBox[{ |
|
1086 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1087 RowBox[{"deg", "[", "b", "]"}], "+", |
|
1088 RowBox[{"deg", "[", "c", "]"}]}]], " ", "\[Sigma]", " ", |
|
1089 RowBox[{"t", "[", |
|
1090 RowBox[{"a", ",", |
|
1091 RowBox[{"tm", "[", |
|
1092 RowBox[{"b", ",", "c", ",", |
|
1093 RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "]"}]}], "-", |
|
1094 RowBox[{ |
|
1095 SuperscriptBox[ |
|
1096 RowBox[{"(", |
|
1097 RowBox[{"-", "1"}], ")"}], |
|
1098 RowBox[{ |
|
1099 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1100 RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ", |
|
1101 RowBox[{"t", "[", |
|
1102 RowBox[{"a", ",", |
|
1103 RowBox[{"tm", "[", |
|
1104 RowBox[{"b", ",", |
|
1105 RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1106 RowBox[{ |
|
1107 SuperscriptBox[ |
|
1108 RowBox[{"(", |
|
1109 RowBox[{"-", "1"}], ")"}], |
|
1110 RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ", |
|
1111 RowBox[{"t", "[", |
|
1112 RowBox[{"a", ",", |
|
1113 RowBox[{"tm", "[", |
|
1114 RowBox[{ |
|
1115 RowBox[{"d", "[", "b", "]"}], ",", "c", ",", "d"}], "]"}]}], "]"}]}], |
|
1116 "+", |
|
1117 RowBox[{ |
|
1118 SuperscriptBox[ |
|
1119 RowBox[{"(", |
|
1120 RowBox[{"-", "1"}], ")"}], |
|
1121 RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ", |
|
1122 RowBox[{"t", "[", |
|
1123 RowBox[{"a", ",", |
|
1124 RowBox[{ |
|
1125 RowBox[{"m", "[", |
|
1126 RowBox[{"b", ",", "c", ",", "d"}], "]"}], "+", |
|
1127 RowBox[{"\[Sigma]", " ", |
|
1128 RowBox[{"t", "[", |
|
1129 RowBox[{"b", ",", |
|
1130 RowBox[{"tm", "[", |
|
1131 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "+", |
|
1132 RowBox[{"\[Sigma]", " ", |
|
1133 RowBox[{"t", "[", |
|
1134 RowBox[{ |
|
1135 RowBox[{"tm", "[", |
|
1136 RowBox[{"b", ",", "c"}], "]"}], ",", "d"}], "]"}]}], "+", |
|
1137 RowBox[{ |
|
1138 SuperscriptBox[ |
|
1139 RowBox[{"(", |
|
1140 RowBox[{"-", "1"}], ")"}], |
|
1141 RowBox[{"1", "+", |
|
1142 RowBox[{"2", " ", |
|
1143 RowBox[{"(", |
|
1144 RowBox[{"2", "+", |
|
1145 RowBox[{"deg", "[", "b", "]"}]}], ")"}]}]}]], " ", |
|
1146 RowBox[{"tm", "[", |
|
1147 RowBox[{"b", ",", |
|
1148 RowBox[{"m", "[", |
|
1149 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "+", |
|
1150 RowBox[{"tm", "[", |
|
1151 RowBox[{ |
|
1152 RowBox[{"m", "[", |
|
1153 RowBox[{"b", ",", "c"}], "]"}], ",", "d"}], "]"}], "+", |
|
1154 RowBox[{ |
|
1155 SuperscriptBox[ |
|
1156 RowBox[{"(", |
|
1157 RowBox[{"-", "1"}], ")"}], |
|
1158 RowBox[{"2", "+", |
|
1159 RowBox[{"deg", "[", "b", "]"}], "+", |
|
1160 RowBox[{"deg", "[", "c", "]"}]}]], " ", |
|
1161 RowBox[{"tm", "[", |
|
1162 RowBox[{"b", ",", "c", ",", |
|
1163 RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "+", |
|
1164 RowBox[{ |
|
1165 SuperscriptBox[ |
|
1166 RowBox[{"(", |
|
1167 RowBox[{"-", "1"}], ")"}], |
|
1168 RowBox[{"2", "+", |
|
1169 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
1170 RowBox[{"tm", "[", |
|
1171 RowBox[{"b", ",", |
|
1172 RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}], "+", |
|
1173 RowBox[{"tm", "[", |
|
1174 RowBox[{ |
|
1175 RowBox[{"d", "[", "b", "]"}], ",", "c", ",", "d"}], "]"}]}]}], |
|
1176 "]"}]}], "+", |
|
1177 RowBox[{"\[Sigma]", " ", |
|
1178 RowBox[{"t", "[", |
|
1179 RowBox[{ |
|
1180 RowBox[{"m", "[", |
|
1181 RowBox[{"a", ",", "b"}], "]"}], ",", |
|
1182 RowBox[{"tm", "[", |
|
1183 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1184 RowBox[{"\[Sigma]", " ", |
|
1185 RowBox[{"t", "[", |
|
1186 RowBox[{ |
|
1187 RowBox[{"m", "[", |
|
1188 RowBox[{"a", ",", "b", ",", "c"}], "]"}], ",", "d"}], "]"}]}], "+", |
|
1189 RowBox[{ |
|
1190 SuperscriptBox[ |
|
1191 RowBox[{"(", |
|
1192 RowBox[{"-", "1"}], ")"}], |
|
1193 RowBox[{ |
|
1194 RowBox[{"2", " ", |
|
1195 RowBox[{"deg", "[", "a", "]"}]}], "+", |
|
1196 RowBox[{"2", " ", |
|
1197 RowBox[{"deg", "[", "b", "]"}]}]}]], " ", "\[Sigma]", " ", |
|
1198 RowBox[{"t", "[", |
|
1199 RowBox[{ |
|
1200 RowBox[{"tm", "[", |
|
1201 RowBox[{"a", ",", "b"}], "]"}], ",", |
|
1202 RowBox[{"m", "[", |
|
1203 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1204 RowBox[{ |
|
1205 SuperscriptBox[ |
|
1206 RowBox[{"(", |
|
1207 RowBox[{"-", "1"}], ")"}], |
|
1208 RowBox[{ |
|
1209 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1210 RowBox[{"deg", "[", "b", "]"}], "+", |
|
1211 RowBox[{"deg", "[", "c", "]"}]}]], " ", "\[Sigma]", " ", |
|
1212 RowBox[{"t", "[", |
|
1213 RowBox[{ |
|
1214 RowBox[{"tm", "[", |
|
1215 RowBox[{"a", ",", "b"}], "]"}], ",", |
|
1216 RowBox[{"tm", "[", |
|
1217 RowBox[{"c", ",", |
|
1218 RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "]"}]}], "-", |
|
1219 RowBox[{ |
|
1220 SuperscriptBox[ |
|
1221 RowBox[{"(", |
|
1222 RowBox[{"-", "1"}], ")"}], |
|
1223 RowBox[{ |
|
1224 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1225 RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ", |
|
1226 RowBox[{"t", "[", |
|
1227 RowBox[{ |
|
1228 RowBox[{"tm", "[", |
|
1229 RowBox[{"a", ",", "b"}], "]"}], ",", |
|
1230 RowBox[{ |
|
1231 RowBox[{"m", "[", |
|
1232 RowBox[{"c", ",", "d"}], "]"}], "+", |
|
1233 RowBox[{"\[Sigma]", " ", |
|
1234 RowBox[{"t", "[", |
|
1235 RowBox[{"c", ",", "d"}], "]"}]}], "+", |
|
1236 RowBox[{ |
|
1237 SuperscriptBox[ |
|
1238 RowBox[{"(", |
|
1239 RowBox[{"-", "1"}], ")"}], |
|
1240 RowBox[{"1", "+", |
|
1241 RowBox[{"deg", "[", "c", "]"}]}]], " ", |
|
1242 RowBox[{"tm", "[", |
|
1243 RowBox[{"c", ",", |
|
1244 RowBox[{"d", "[", "d", "]"}]}], "]"}]}], "-", |
|
1245 RowBox[{"tm", "[", |
|
1246 RowBox[{ |
|
1247 RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}]}], "]"}]}], "-", |
|
1248 RowBox[{ |
|
1249 SuperscriptBox[ |
|
1250 RowBox[{"(", |
|
1251 RowBox[{"-", "1"}], ")"}], |
|
1252 RowBox[{ |
|
1253 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1254 RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ", |
|
1255 RowBox[{"t", "[", |
|
1256 RowBox[{ |
|
1257 RowBox[{"tm", "[", |
|
1258 RowBox[{"a", ",", "b"}], "]"}], ",", |
|
1259 RowBox[{"tm", "[", |
|
1260 RowBox[{ |
|
1261 RowBox[{"d", "[", "c", "]"}], ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1262 RowBox[{ |
|
1263 SuperscriptBox[ |
|
1264 RowBox[{"(", |
|
1265 RowBox[{"-", "1"}], ")"}], |
|
1266 RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ", |
|
1267 RowBox[{"t", "[", |
|
1268 RowBox[{ |
|
1269 RowBox[{"tm", "[", |
|
1270 RowBox[{"a", ",", |
|
1271 RowBox[{"d", "[", "b", "]"}]}], "]"}], ",", |
|
1272 RowBox[{"tm", "[", |
|
1273 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1274 RowBox[{ |
|
1275 SuperscriptBox[ |
|
1276 RowBox[{"(", |
|
1277 RowBox[{"-", "1"}], ")"}], |
|
1278 RowBox[{"2", " ", |
|
1279 RowBox[{"deg", "[", "a", "]"}]}]], " ", "\[Sigma]", " ", |
|
1280 RowBox[{"t", "[", |
|
1281 RowBox[{ |
|
1282 RowBox[{"tm", "[", |
|
1283 RowBox[{"a", ",", |
|
1284 RowBox[{"m", "[", |
|
1285 RowBox[{"b", ",", "c"}], "]"}]}], "]"}], ",", "d"}], "]"}]}], "+", |
|
1286 RowBox[{"\[Sigma]", " ", |
|
1287 RowBox[{"t", "[", |
|
1288 RowBox[{ |
|
1289 RowBox[{ |
|
1290 RowBox[{"m", "[", |
|
1291 RowBox[{"a", ",", "b"}], "]"}], "+", |
|
1292 RowBox[{"\[Sigma]", " ", |
|
1293 RowBox[{"t", "[", |
|
1294 RowBox[{"a", ",", "b"}], "]"}]}], "+", |
|
1295 RowBox[{ |
|
1296 SuperscriptBox[ |
|
1297 RowBox[{"(", |
|
1298 RowBox[{"-", "1"}], ")"}], |
|
1299 RowBox[{"1", "+", |
|
1300 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
1301 RowBox[{"tm", "[", |
|
1302 RowBox[{"a", ",", |
|
1303 RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "-", |
|
1304 RowBox[{"tm", "[", |
|
1305 RowBox[{ |
|
1306 RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}], ",", |
|
1307 RowBox[{"tm", "[", |
|
1308 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "-", |
|
1309 RowBox[{"\[Sigma]", " ", |
|
1310 RowBox[{"t", "[", |
|
1311 RowBox[{ |
|
1312 RowBox[{"tm", "[", |
|
1313 RowBox[{ |
|
1314 RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}], ",", |
|
1315 RowBox[{"tm", "[", |
|
1316 RowBox[{"c", ",", "d"}], "]"}]}], "]"}]}], "+", |
|
1317 RowBox[{"\[Sigma]", " ", |
|
1318 RowBox[{"t", "[", |
|
1319 RowBox[{ |
|
1320 RowBox[{"tm", "[", |
|
1321 RowBox[{ |
|
1322 RowBox[{"m", "[", |
|
1323 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], ",", "d"}], |
|
1324 "]"}]}], "-", |
|
1325 RowBox[{ |
|
1326 SuperscriptBox[ |
|
1327 RowBox[{"(", |
|
1328 RowBox[{"-", "1"}], ")"}], |
|
1329 RowBox[{ |
|
1330 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1331 RowBox[{"deg", "[", "b", "]"}]}]], " ", "\[Sigma]", " ", |
|
1332 RowBox[{"t", "[", |
|
1333 RowBox[{ |
|
1334 RowBox[{"tm", "[", |
|
1335 RowBox[{"a", ",", "b", ",", |
|
1336 RowBox[{"d", "[", "c", "]"}]}], "]"}], ",", "d"}], "]"}]}], "-", |
|
1337 RowBox[{ |
|
1338 SuperscriptBox[ |
|
1339 RowBox[{"(", |
|
1340 RowBox[{"-", "1"}], ")"}], |
|
1341 RowBox[{"deg", "[", "a", "]"}]], " ", "\[Sigma]", " ", |
|
1342 RowBox[{"t", "[", |
|
1343 RowBox[{ |
|
1344 RowBox[{"tm", "[", |
|
1345 RowBox[{"a", ",", |
|
1346 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}], ",", "d"}], "]"}]}], |
|
1347 "-", |
|
1348 RowBox[{"\[Sigma]", " ", |
|
1349 RowBox[{"t", "[", |
|
1350 RowBox[{ |
|
1351 RowBox[{"tm", "[", |
|
1352 RowBox[{ |
|
1353 RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}], ",", "d"}], |
|
1354 "]"}]}], "+", |
|
1355 RowBox[{"\[Sigma]", " ", |
|
1356 RowBox[{"t", "[", |
|
1357 RowBox[{ |
|
1358 RowBox[{ |
|
1359 RowBox[{"m", "[", |
|
1360 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "+", |
|
1361 RowBox[{"\[Sigma]", " ", |
|
1362 RowBox[{"t", "[", |
|
1363 RowBox[{"a", ",", |
|
1364 RowBox[{"tm", "[", |
|
1365 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
1366 RowBox[{"\[Sigma]", " ", |
|
1367 RowBox[{"t", "[", |
|
1368 RowBox[{ |
|
1369 RowBox[{"tm", "[", |
|
1370 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}]}], "+", |
|
1371 RowBox[{ |
|
1372 SuperscriptBox[ |
|
1373 RowBox[{"(", |
|
1374 RowBox[{"-", "1"}], ")"}], |
|
1375 RowBox[{"1", "+", |
|
1376 RowBox[{"2", " ", |
|
1377 RowBox[{"(", |
|
1378 RowBox[{"2", "+", |
|
1379 RowBox[{"deg", "[", "a", "]"}]}], ")"}]}]}]], " ", |
|
1380 RowBox[{"tm", "[", |
|
1381 RowBox[{"a", ",", |
|
1382 RowBox[{"m", "[", |
|
1383 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "+", |
|
1384 RowBox[{"tm", "[", |
|
1385 RowBox[{ |
|
1386 RowBox[{"m", "[", |
|
1387 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "+", |
|
1388 RowBox[{ |
|
1389 SuperscriptBox[ |
|
1390 RowBox[{"(", |
|
1391 RowBox[{"-", "1"}], ")"}], |
|
1392 RowBox[{"2", "+", |
|
1393 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1394 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
1395 RowBox[{"tm", "[", |
|
1396 RowBox[{"a", ",", "b", ",", |
|
1397 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "+", |
|
1398 RowBox[{ |
|
1399 SuperscriptBox[ |
|
1400 RowBox[{"(", |
|
1401 RowBox[{"-", "1"}], ")"}], |
|
1402 RowBox[{"2", "+", |
|
1403 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
1404 RowBox[{"tm", "[", |
|
1405 RowBox[{"a", ",", |
|
1406 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "+", |
|
1407 RowBox[{"tm", "[", |
|
1408 RowBox[{ |
|
1409 RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}], ",", |
|
1410 "d"}], "]"}]}]}]], "Output", |
|
1411 CellChangeTimes->{{3.424200829779381*^9, 3.424200835517632*^9}, { |
|
1412 3.4242009367532015`*^9, 3.4242009403483715`*^9}}] |
|
1413 }, Open ]], |
|
1414 |
|
1415 Cell[BoxData[ |
|
1416 RowBox[{ |
|
1417 RowBox[{"d", "[", |
|
1418 RowBox[{"a", ":", |
|
1419 RowBox[{"HoldPattern", "[", |
|
1420 RowBox[{"m", "[", "___", "]"}], "]"}]}], "]"}], ":=", |
|
1421 RowBox[{"With", "[", |
|
1422 RowBox[{ |
|
1423 RowBox[{"{", |
|
1424 RowBox[{"k", "=", |
|
1425 RowBox[{"Length", "[", "a", "]"}]}], "}"}], ",", "\[IndentingNewLine]", |
|
1426 |
|
1427 RowBox[{ |
|
1428 UnderoverscriptBox["\[Sum]", |
|
1429 RowBox[{"r", "=", "0"}], "k"], |
|
1430 RowBox[{ |
|
1431 UnderoverscriptBox["\[Sum]", |
|
1432 RowBox[{"s", "=", "1"}], |
|
1433 RowBox[{"k", "-", "r"}]], |
|
1434 RowBox[{"With", "[", |
|
1435 RowBox[{ |
|
1436 RowBox[{"{", |
|
1437 RowBox[{"t", "=", |
|
1438 RowBox[{"k", "-", "r", "-", "s"}]}], "}"}], ",", |
|
1439 RowBox[{"If", "[", |
|
1440 RowBox[{ |
|
1441 RowBox[{ |
|
1442 RowBox[{"t", "<", "0"}], "\[Or]", |
|
1443 RowBox[{ |
|
1444 RowBox[{"r", "+", "t"}], "\[Equal]", "0"}]}], ",", "0", ",", |
|
1445 RowBox[{ |
|
1446 SuperscriptBox[ |
|
1447 RowBox[{"(", |
|
1448 RowBox[{"-", "1"}], ")"}], |
|
1449 RowBox[{"1", "+", "r", "+", |
|
1450 RowBox[{"s", " ", "t"}]}]], |
|
1451 SuperscriptBox[ |
|
1452 RowBox[{"(", |
|
1453 RowBox[{"-", "1"}], ")"}], |
|
1454 RowBox[{"s", |
|
1455 RowBox[{"(", |
|
1456 RowBox[{ |
|
1457 UnderoverscriptBox["\[Sum]", |
|
1458 RowBox[{"j", "=", "1"}], "r"], |
|
1459 RowBox[{"deg", "[", |
|
1460 RowBox[{ |
|
1461 "a", "\[LeftDoubleBracket]", "j", "\[RightDoubleBracket]"}], |
|
1462 "]"}]}], ")"}]}]], |
|
1463 RowBox[{"m", "@@", |
|
1464 RowBox[{"(", |
|
1465 RowBox[{ |
|
1466 RowBox[{"Take", "[", |
|
1467 RowBox[{ |
|
1468 RowBox[{"List", "@@", "a"}], ",", "r"}], "]"}], "~", "Join", |
|
1469 "~", |
|
1470 RowBox[{"{", |
|
1471 RowBox[{"m", "@@", |
|
1472 RowBox[{"Take", "[", |
|
1473 RowBox[{ |
|
1474 RowBox[{"List", "@@", "a"}], ",", |
|
1475 RowBox[{"{", |
|
1476 RowBox[{ |
|
1477 RowBox[{"r", "+", "1"}], ",", |
|
1478 RowBox[{"r", "+", "s"}]}], "}"}]}], "]"}]}], "}"}], "~", |
|
1479 "Join", "~", |
|
1480 RowBox[{"Drop", "[", |
|
1481 RowBox[{ |
|
1482 RowBox[{"List", "@@", "a"}], ",", |
|
1483 RowBox[{"r", "+", "s"}]}], "]"}]}], ")"}]}]}]}], "]"}]}], |
|
1484 "]"}]}]}]}], "\[IndentingNewLine]", "]"}]}]], "Input", |
|
1485 CellChangeTimes->{{3.4241996616096354`*^9, 3.424199684522582*^9}, { |
|
1486 3.4241997338535166`*^9, 3.4241998383938384`*^9}, {3.4241998737747135`*^9, |
|
1487 3.424199918098448*^9}, {3.424199948492152*^9, 3.424199948542224*^9}, { |
|
1488 3.424199990071941*^9, 3.4242000045327344`*^9}, {3.4242000530124445`*^9, |
|
1489 3.4242000564173408`*^9}, {3.4242001313150387`*^9, 3.4242001706716304`*^9}}],\ |
|
1490 |
|
1491 |
|
1492 Cell[CellGroupData[{ |
|
1493 |
|
1494 Cell[BoxData[ |
|
1495 RowBox[{"d", "[", |
|
1496 RowBox[{"m", "[", |
|
1497 RowBox[{"a", ",", "b"}], "]"}], "]"}]], "Input", |
|
1498 CellChangeTimes->{{3.4241999216135025`*^9, 3.424199923626397*^9}, { |
|
1499 3.424200009630064*^9, 3.424200011002037*^9}, 3.4242000641184144`*^9}], |
|
1500 |
|
1501 Cell[BoxData[ |
|
1502 RowBox[{ |
|
1503 RowBox[{ |
|
1504 SuperscriptBox[ |
|
1505 RowBox[{"(", |
|
1506 RowBox[{"-", "1"}], ")"}], |
|
1507 RowBox[{"deg", "[", "a", "]"}]], " ", |
|
1508 RowBox[{"m", "[", |
|
1509 RowBox[{"a", ",", |
|
1510 RowBox[{"d", "[", "b", "]"}]}], "]"}]}], "+", |
|
1511 RowBox[{"m", "[", |
|
1512 RowBox[{ |
|
1513 RowBox[{"d", "[", "a", "]"}], ",", "b"}], "]"}]}]], "Output", |
|
1514 CellChangeTimes->{{3.424199923936843*^9, 3.424199949763981*^9}, { |
|
1515 3.4242000053739443`*^9, 3.424200011452685*^9}, {3.4242000598322515`*^9, |
|
1516 3.424200064418846*^9}, 3.4242001734556336`*^9}] |
|
1517 }, Open ]], |
|
1518 |
|
1519 Cell[CellGroupData[{ |
|
1520 |
|
1521 Cell[BoxData[ |
|
1522 RowBox[{"d", "[", |
|
1523 RowBox[{"m", "[", |
|
1524 RowBox[{"a", ",", "b", ",", "c"}], "]"}], "]"}]], "Input", |
|
1525 CellChangeTimes->{{3.4242000997796926`*^9, 3.4242000998497934`*^9}}], |
|
1526 |
|
1527 Cell[BoxData[ |
|
1528 RowBox[{ |
|
1529 RowBox[{ |
|
1530 SuperscriptBox[ |
|
1531 RowBox[{"(", |
|
1532 RowBox[{"-", "1"}], ")"}], |
|
1533 RowBox[{"2", " ", |
|
1534 RowBox[{"deg", "[", "a", "]"}]}]], " ", |
|
1535 RowBox[{"m", "[", |
|
1536 RowBox[{"a", ",", |
|
1537 RowBox[{"m", "[", |
|
1538 RowBox[{"b", ",", "c"}], "]"}]}], "]"}]}], "-", |
|
1539 RowBox[{"m", "[", |
|
1540 RowBox[{ |
|
1541 RowBox[{"m", "[", |
|
1542 RowBox[{"a", ",", "b"}], "]"}], ",", "c"}], "]"}], "-", |
|
1543 RowBox[{ |
|
1544 SuperscriptBox[ |
|
1545 RowBox[{"(", |
|
1546 RowBox[{"-", "1"}], ")"}], |
|
1547 RowBox[{ |
|
1548 RowBox[{"deg", "[", "a", "]"}], "+", |
|
1549 RowBox[{"deg", "[", "b", "]"}]}]], " ", |
|
1550 RowBox[{"m", "[", |
|
1551 RowBox[{"a", ",", "b", ",", |
|
1552 RowBox[{"d", "[", "c", "]"}]}], "]"}]}], "-", |
|
1553 RowBox[{ |
|
1554 SuperscriptBox[ |
|
1555 RowBox[{"(", |
|
1556 RowBox[{"-", "1"}], ")"}], |
|
1557 RowBox[{"deg", "[", "a", "]"}]], " ", |
|
1558 RowBox[{"m", "[", |
|
1559 RowBox[{"a", ",", |
|
1560 RowBox[{"d", "[", "b", "]"}], ",", "c"}], "]"}]}], "-", |
|
1561 RowBox[{"m", "[", |
|
1562 RowBox[{ |
|
1563 RowBox[{"d", "[", "a", "]"}], ",", "b", ",", "c"}], "]"}]}]], "Output", |
|
1564 CellChangeTimes->{3.4242001001702547`*^9, 3.42420017736125*^9}] |
|
1565 }, Open ]] |
|
1566 }, |
|
1567 WindowSize->{1007, 555}, |
|
1568 WindowMargins->{{34, Automatic}, {32, Automatic}}, |
|
1569 ShowSelection->True, |
|
1570 FrontEndVersion->"6.0 for Microsoft Windows (32-bit) (June 19, 2007)", |
|
1571 StyleDefinitions->"Default.nb" |
|
1572 ] |
|
1573 (* End of Notebook Content *) |
|
1574 |
|
1575 (* Internal cache information *) |
|
1576 (*CellTagsOutline |
|
1577 CellTagsIndex->{} |
|
1578 *) |
|
1579 (*CellTagsIndex |
|
1580 CellTagsIndex->{} |
|
1581 *) |
|
1582 (*NotebookFileOutline |
|
1583 Notebook[{ |
|
1584 Cell[568, 21, 209, 4, 31, "Input"], |
|
1585 Cell[780, 27, 148, 3, 31, "Input"], |
|
1586 Cell[931, 32, 175, 4, 31, "Input"], |
|
1587 Cell[CellGroupData[{ |
|
1588 Cell[1131, 40, 224, 5, 31, "Input"], |
|
1589 Cell[1358, 47, 878, 24, 30, "Output"] |
|
1590 }, Open ]], |
|
1591 Cell[CellGroupData[{ |
|
1592 Cell[2273, 76, 185, 4, 31, "Input"], |
|
1593 Cell[2461, 82, 1530, 50, 50, "Output"] |
|
1594 }, Open ]], |
|
1595 Cell[4006, 135, 908, 27, 54, "Input"], |
|
1596 Cell[CellGroupData[{ |
|
1597 Cell[4939, 166, 186, 4, 31, "Input"], |
|
1598 Cell[5128, 172, 719, 23, 30, "Output"] |
|
1599 }, Open ]], |
|
1600 Cell[5862, 198, 175, 4, 31, "Input"], |
|
1601 Cell[6040, 204, 586, 18, 52, "Input"], |
|
1602 Cell[6629, 224, 177, 4, 31, "Input"], |
|
1603 Cell[6809, 230, 183, 4, 31, "Input"], |
|
1604 Cell[6995, 236, 977, 32, 72, "Input"], |
|
1605 Cell[7975, 270, 1206, 39, 92, "Input"], |
|
1606 Cell[9184, 311, 490, 13, 52, "Input"], |
|
1607 Cell[9677, 326, 234, 6, 31, "Input"], |
|
1608 Cell[9914, 334, 332, 9, 31, "Input"], |
|
1609 Cell[10249, 345, 333, 9, 31, "Input"], |
|
1610 Cell[10585, 356, 3647, 95, 216, "Input"], |
|
1611 Cell[14235, 453, 564, 19, 40, "Input"], |
|
1612 Cell[14802, 474, 435, 16, 31, "Input"], |
|
1613 Cell[CellGroupData[{ |
|
1614 Cell[15262, 494, 454, 12, 31, "Input"], |
|
1615 Cell[15719, 508, 489, 7, 30, "Output"] |
|
1616 }, Open ]], |
|
1617 Cell[CellGroupData[{ |
|
1618 Cell[16245, 520, 173, 4, 31, "Input"], |
|
1619 Cell[16421, 526, 887, 27, 30, "Output"] |
|
1620 }, Open ]], |
|
1621 Cell[17323, 556, 133, 2, 31, "Input"], |
|
1622 Cell[17459, 560, 770, 24, 33, "Input"], |
|
1623 Cell[CellGroupData[{ |
|
1624 Cell[18254, 588, 185, 4, 31, "Input"], |
|
1625 Cell[18442, 594, 2301, 73, 50, "Output"] |
|
1626 }, Open ]], |
|
1627 Cell[CellGroupData[{ |
|
1628 Cell[20780, 672, 934, 24, 33, "Input"], |
|
1629 Cell[21719, 699, 621, 9, 30, "Output"] |
|
1630 }, Open ]], |
|
1631 Cell[22355, 711, 266, 7, 31, "Input"], |
|
1632 Cell[22624, 720, 607, 18, 52, "Input"], |
|
1633 Cell[23234, 740, 1818, 54, 72, "Input"], |
|
1634 Cell[25055, 796, 592, 19, 31, "Input"], |
|
1635 Cell[CellGroupData[{ |
|
1636 Cell[25672, 819, 1246, 31, 33, "Input"], |
|
1637 Cell[26921, 852, 271, 4, 30, "Output"] |
|
1638 }, Open ]], |
|
1639 Cell[CellGroupData[{ |
|
1640 Cell[27229, 861, 1368, 34, 33, "Input"], |
|
1641 Cell[28600, 897, 229, 4, 30, "Output"] |
|
1642 }, Open ]], |
|
1643 Cell[CellGroupData[{ |
|
1644 Cell[28866, 906, 253, 7, 31, "Input"], |
|
1645 Cell[29122, 915, 1177, 40, 33, "Output"] |
|
1646 }, Open ]], |
|
1647 Cell[CellGroupData[{ |
|
1648 Cell[30336, 960, 418, 12, 31, "Input"], |
|
1649 Cell[30757, 974, 1389, 48, 30, "Output"] |
|
1650 }, Open ]], |
|
1651 Cell[CellGroupData[{ |
|
1652 Cell[32183, 1027, 412, 11, 31, "Input"], |
|
1653 Cell[32598, 1040, 11493, 371, 235, "Output"] |
|
1654 }, Open ]], |
|
1655 Cell[44106, 1414, 2771, 74, 167, "Input"], |
|
1656 Cell[CellGroupData[{ |
|
1657 Cell[46904, 1493, 248, 5, 31, "Input"], |
|
1658 Cell[47155, 1500, 537, 15, 30, "Output"] |
|
1659 }, Open ]], |
|
1660 Cell[CellGroupData[{ |
|
1661 Cell[47729, 1520, 186, 4, 31, "Input"], |
|
1662 Cell[47918, 1526, 1110, 37, 30, "Output"] |
|
1663 }, Open ]] |
|
1664 } |
|
1665 ] |
|
1666 *) |
|
1667 |
|
1668 (* End of internal cache information *) |