(*********************************************************************** Mathematica-Compatible Notebook This notebook can be used on any computer system with Mathematica 3.0, MathReader 3.0, or any compatible application. The data for the notebook starts with the line of stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. ***********************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 72255, 1805]*) (*NotebookOutlinePosition[ 73351, 1845]*) (* CellTagsIndexPosition[ 73217, 1837]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["TARCER examples", "Section", CellTags->"T1.11.1"], Cell[TextData[{ "The timings below are for the Linux version of ", StyleBox["Mathematica", FontSlant->"Italic"], " 3.0 on a Pentium Pro 200 with 96 MB RAM." }], "Text"], Cell[BoxData[ \(\(<< tarcer23.mx\ \)\)], "Input"], Cell["\<\ This switches the comment mechanism on. Changing True to False will \ suppress the comment notebook.\ \>", "Text"], Cell[BoxData[ \(\(\($Comment = True; \)\ \ \ \)\)], "Input"], Cell[BoxData[ \(Off[General::"\"]; Off[General::"\"]; \)], "Input"], Cell[CellGroupData[{ Cell["Simple Examples", "Subsection", CellTags->"T1.11.1.1"], Cell[TextData[{ "This reduces (for ", Cell[BoxData[ \(TraditionalForm\`p\^2 = M\^2\)]], ") \n", Cell[BoxData[ InterpretationBox[ SubsuperscriptBox[ StyleBox["F", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, 0}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TFI[ d, Power[ M, 2], {{1, 0}, {1, M}, {1, M}, {1, 0}, {1, M}}], Editable->True]]], " =\n\[Integral]\[Integral] ", Cell[BoxData[ \(TraditionalForm\`\(\ \(d\^d\ \(q\_1\) \(d\^d\) q\_2\)\/\(\(\(\([q\_1\%2]\)\ [q\_2\%2 - M\^2]\)\ [ \((q\_1 - p)\)\^2 - M\^2]\)\ [\((q\_2 - p)\)\^2]\)\ [ \((q\_1 - q\_2)\)\^2 - M\^2]\)\)]] }], "Text"], Cell[CellGroupData[{ Cell["\<\ ex1 = TarcerRecurse[TFI[d, M^2, {{1, 0}, {1, M}, {1, M}, {1, 0}, {1, M}}]]\ \>", "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", FractionBox[ RowBox[{"3", " ", \(\((d - 2)\)\^2\), " ", \((5\ d - 18)\), " ", SuperscriptBox[ InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[\({1, M}\), "TraditionalForm"], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TAI[ d, 0, {{1, M}}], Editable->True], "2"]}], \(32\ \((d - 4)\)\^2\ \((d - 3)\)\ M\^6\)]}], "+", FractionBox[ RowBox[{\((3\ d - 10)\), " ", \((3\ d - 8)\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TJI[ d, Power[ M, 2], {{1, M}, {1, 0}, {1, 0}}], Editable->True]}], \(8\ \((d - 4)\)\ \((2\ d - 7)\)\ M\^4\)], "+", FractionBox[ RowBox[{\((3\ d - 10)\), " ", \((3\ d - 8)\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TJI[ d, Power[ M, 2], {{1, M}, {1, M}, {1, M}}], Editable->True]}], \(16\ \((d - 4)\)\^2\ M\^4\)]}], TraditionalForm]], "Output"] }, Open ]], Cell["This expands up to the constant term.", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(TarcerExpand[ex1, \ d -> 4 + \[CurlyEpsilon]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(\((M\^2)\)\^\(\[CurlyEpsilon] - 1\)\), " ", SuperscriptBox[ InterpretationBox[ StyleBox[\(S\_\[CurlyEpsilon]\), FontWeight->"Bold"], SEpsilon[ Plus[ 4, \[CurlyEpsilon]]], Editable->False], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{"6", " ", InterpretationBox[\(\[Zeta](2)\), Zeta2, Editable->False], " ", \(log(2)\)}], "-", FractionBox[ RowBox[{"3", " ", TagBox[ RowBox[{"\[Zeta]", "(", TagBox["3", (Editable -> True)], ")"}], InterpretTemplate[ Zeta[ #]&]]}], "2"]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Moment Examples", "Subsection", CellTags->"T1.11.2.1"], Cell[TextData[ "eg2[m_]:=TFI[d, M^2,\[CapitalDelta]p,{m,0}, \n {{2, M}, 1, 1, {1,M}, \n \ {1, M}}]"], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(TarcerRecurse[eg2[0]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", RowBox[{ RowBox[{"(", RowBox[{ \(\((d - 2)\)\^2\), " ", \((49\ d\^3 - 652\ d\^2 + 2877\ d - 4194)\), " ", SuperscriptBox[ InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[\({1, M}\), "TraditionalForm"], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TAI[ d, 0, {{1, M}}], Editable->True], "2"]}], ")"}], "/", \((256\ \((d - 5)\)\^2\ \((d - 4)\)\ \((d - 3)\)\ M\^8)\)}]}], "-", FractionBox[ RowBox[{"3", " ", \((3\ d - 10)\), " ", \((3\ d - 8)\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TJI[ d, Power[ M, 2], {{1, M}, {1, 0}, {1, 0}}], Editable->True]}], \(32\ \((d - 5)\)\ \((2\ d - 7)\)\ M\^6\)], "+", FractionBox[ RowBox[{"3", " ", \((3\ d - 10)\), " ", \((3\ d - 8)\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TJI[ d, Power[ M, 2], {{1, M}, {1, M}, {1, M}}], Editable->True]}], \(128\ \((d - 4)\)\ M\^6\)]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(TarcerExpand[%, d -> 4 + \[CurlyEpsilon], 0]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(\((M\^2)\)\^\(\[CurlyEpsilon] - 2\)\), " ", RowBox[{"(", RowBox[{ RowBox[{"-", FractionBox[ RowBox[{"7", " ", InterpretationBox[\(\[Zeta](2)\), Zeta2, Editable->False]}], "8"]}], "-", \(1\/\(2\ \[CurlyEpsilon]\^2\)\), "+", \(1\/2\)}], ")"}], " ", SuperscriptBox[ InterpretationBox[ StyleBox[\(S\_\[CurlyEpsilon]\), FontWeight->"Bold"], SEpsilon[ Plus[ 4, \[CurlyEpsilon]]], Editable->False], "2"]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(TarcerRecurse[eg2[1]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", RowBox[{ RowBox[{"(", RowBox[{ \(\((d - 2)\)\^2\), " ", \((27\ d\^4 - 404\ d\^3 + 2175\ d\^2 - 4902\ d + 3776)\), " ", "\[CapitalDelta]p", " ", SuperscriptBox[ InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[\({1, M}\), "TraditionalForm"], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TAI[ d, 0, {{1, M}}], Editable->True], "2"]}], ")"}], "/", \((256\ \((d - 5)\)\^2\ \((d - 4)\)\^2\ \((d - 3)\)\ M\^8)\)}]}], "-", FractionBox[ RowBox[{ \((d - 2)\), " ", \((3\ d - 10)\), " ", \((3\ d - 8)\), " ", "\[CapitalDelta]p", " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"], FormBox[\({1, 0}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TJI[ d, Power[ M, 2], {{1, M}, {1, 0}, {1, 0}}], Editable->True]}], \(32\ \((d - 5)\)\ \((d - 4)\)\ \((2\ d - 7)\)\ M\^6\)], "+", FractionBox[ RowBox[{ "d", " ", \((3\ d - 10)\), " ", \((3\ d - 8)\), " ", "\[CapitalDelta]p", " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"], FormBox[\({1, M}\), "TraditionalForm"]}], RowBox[{"(", FormBox["d", "TraditionalForm"], ")"}]], TJI[ d, Power[ M, 2], {{1, M}, {1, M}, {1, M}}], Editable->True]}], \(128\ \((d - 4)\)\^2\ M\^6\)]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(TarcerExpand[%, d -> 4 + \[CurlyEpsilon], 0]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ \(\((M\^2)\)\^\(\[CurlyEpsilon] - 2\)\), " ", "\[CapitalDelta]p", " ", SuperscriptBox[ InterpretationBox[ StyleBox[\(S\_\[CurlyEpsilon]\), FontWeight->"Bold"], SEpsilon[ Plus[ 4, \[CurlyEpsilon]]], Editable->False], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{"3", " ", \(log(2)\), " ", InterpretationBox[\(\[Zeta](2)\), Zeta2, Editable->False]}], "-", FractionBox[ RowBox[{"11", " ", InterpretationBox[\(\[Zeta](2)\), Zeta2, Editable->False]}], "8"], "-", \(1\/\(2\ \[CurlyEpsilon]\^2\)\), "-", FractionBox[ RowBox[{"3", " ", TagBox[ RowBox[{"\[Zeta]", "(", TagBox["3", (Editable -> True)], ")"}], InterpretTemplate[ Zeta[ #]&]]}], "4"], "+", \(1\/2\)}], ")"}]}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["General massive examples", "Subsection", CellTags->"T1.11.2.1"], Cell["Typesetting rules:", "Text"], Cell[BoxData[ \(MakeBoxes[pp, fmt_] := InterpretationBox[SuperscriptBox["\", 2], pp]; \n MakeBoxes[m2, fmt_] := InterpretationBox[SubscriptBox["\", 2], m2]; \n MakeBoxes[m3, fmt_] := InterpretationBox[SubscriptBox["\", 3], m3]; \n MakeBoxes[m4, fmt_] := InterpretationBox[SubscriptBox["\", 4], m4]; \)], "Input"] }, Open ]], Cell[CellGroupData[{ Cell[TextData[Cell[BoxData[ \(TraditionalForm\`Y\_234\%1\)]]], "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ \(Timing[\n y1234\ = \ TarcerRecurse[\ TFI[D, pp, {1, 0, 0, 0, 0}, {0, \ {1, m4}, {1, m2}, 0, {1, m3}}]\ ] \n]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{\(8.55000000000000071`\ Second\), ",", RowBox[{ RowBox[{"-", FractionBox[ RowBox[{"4", " ", RowBox[{"(", RowBox[{ SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m2}, {1, m4}, {1, m3}}], Editable->True], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], \(3\ \((D - 2)\)\)]}], "+", RowBox[{\(1\/3\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m2}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m3}}], Editable->True]}], "+", RowBox[{\(1\/3\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m2}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m4}}], Editable->True]}], "+", RowBox[{\(1\/3\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m3}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m4}}], Editable->True]}], "+", RowBox[{\(1\/\(3\ \((D - 2)\)\)\), RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"7", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"18", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"2", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", RowBox[{"6", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "-", RowBox[{"2", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"6", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"D", " ", InterpretationBox[\(p\^2\), pp]}], "-", RowBox[{"2", " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{1, m4}, {1, m3}, {1, m2}}], Editable->True]}], ")"}]}], "+", RowBox[{\(1\/\(3\ \((D - 2)\)\)\), RowBox[{"(", RowBox[{"2", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{\(-3\), " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m3}, {1, m4}, {1, m2}}], Editable->True]}], ")"}]}], "+", RowBox[{\(1\/\(3\ \((D - 2)\)\)\), RowBox[{"(", RowBox[{"2", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{\(-3\), " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m4}, {1, m3}, {1, m2}}], Editable->True]}], ")"}]}]}]}], "}"}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[Cell[BoxData[ \(TraditionalForm\`Y\_234\%11\)]]], "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ \(Timing[\n y11234\ = \ TarcerRecurse[\ TFI[D, pp, {2, 0, 0, 0, 0}, {0, \ {1, m4}, {1, m2}, 0, {1, m3}}]\ ] \n]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{\(602.07000000000006`\ Second\), ",", RowBox[{ RowBox[{"-", RowBox[{ RowBox[{"(", RowBox[{"8", " ", RowBox[{"(", RowBox[{ SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"2", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "-", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"2", " ", "D", " ", InterpretationBox[\(p\^2\), pp]}], "-", RowBox[{"3", " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m2}, {1, m4}, {1, m3}}], Editable->True], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], ")"}], "/", \((3\ \((D - 2)\)\ \((3\ D - 4)\))\)}]}], "+", RowBox[{\(1\/\(3\ \((3\ D - 4)\)\)\), RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", RowBox[{"7", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"D", " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m2}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m3}}], Editable->True]}], ")"}]}], "+", RowBox[{\(1\/\(3\ \((3\ D - 4)\)\)\), RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"7", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"D", " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m2}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m4}}], Editable->True]}], ")"}]}], "+", RowBox[{\(1\/\(3\ \((3\ D - 4)\)\)\), RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"7", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"D", " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m3}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m4}}], Editable->True]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"25", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "-", RowBox[{"102", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "+", RowBox[{"96", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "-", RowBox[{"10", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"54", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"72", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"10", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"54", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"72", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"38", " ", \(D\^2\), " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"152", " ", "D", " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"144", " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"2", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "4"]}], "+", RowBox[{"6", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "4"]}], "-", RowBox[{"2", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "4"]}], "+", RowBox[{"6", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "4"]}], "-", RowBox[{"28", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"132", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", RowBox[{"144", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{\(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(p\^2\), pp], "2"]}], "-", RowBox[{"2", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(p\^2\), pp], "2"]}], "+", RowBox[{"2", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "-", RowBox[{"14", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "+", RowBox[{"24", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "+", RowBox[{"2", " ", \(D\^2\), " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "-", RowBox[{"14", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "+", RowBox[{"24", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{1, m4}, {1, m3}, {1, m2}}], Editable->True]}], ")"}], "/", \((3\ \((D - 2)\)\ \((3\ D - 4)\))\)}], "+", RowBox[{ RowBox[{"(", RowBox[{"2", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{\(-9\), " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "+", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "+", RowBox[{"4", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"22", " ", "D", " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"36", " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "4"]}], "+", RowBox[{"9", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "4"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "4"]}], "+", RowBox[{"22", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", RowBox[{"36", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(p\^2\), pp], "2"]}], "-", RowBox[{"4", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "+", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m3}, {1, m4}, {1, m2}}], Editable->True]}], ")"}], "/", \((3\ \((D - 2)\)\ \((3\ D - 4)\))\)}], "+", RowBox[{ RowBox[{"(", RowBox[{"2", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{\(-9\), " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "+", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "4"]}], "+", RowBox[{"4", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"22", " ", "D", " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"36", " ", InterpretationBox[\(p\^2\), pp], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"9", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "4"]}], "-", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "4"]}], "+", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "4"]}], "+", RowBox[{"22", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", RowBox[{"36", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(p\^2\), pp], "2"]}], "-", RowBox[{"4", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", InterpretationBox[\(p\^2\), pp]}], "+", RowBox[{"12", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m4}, {1, m3}, {1, m2}}], Editable->True]}], ")"}], "/", \((3\ \((D - 2)\)\ \((3\ D - 4)\))\)}]}]}], "}"}], TraditionalForm]], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[Cell[BoxData[ \(TraditionalForm\`Y\_234\%5\)]]], "Subsection"], Cell[CellGroupData[{ Cell[BoxData[ \(Timing[\n y5234\ = \ TarcerRecurse[\ TFI[D, pp, {0, 0, 1, 0, 0}, {0, \ {1, m4}, {1, m2}, 0, {1, m3}}]\ ] \n]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"{", RowBox[{\(7.75`\ Second\), ",", RowBox[{ RowBox[{"-", FractionBox[ RowBox[{"2", " ", RowBox[{"(", RowBox[{ SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m2}, {1, m4}, {1, m3}}], Editable->True], " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], \(3\ \((D - 2)\)\)]}], "+", RowBox[{\(1\/6\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m2}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m3}}], Editable->True]}], "+", RowBox[{\(1\/6\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m2}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m4}}], Editable->True]}], "-", RowBox[{\(1\/3\), " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m3}}], Editable->True], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["A", SingleLetterItalics->False, FontWeight->"Bold"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TAI[ D, 0, {{1, m4}}], Editable->True]}], "+", RowBox[{\(1\/\(3\ \((D - 2)\)\)\), RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"2", " ", "D", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"6", " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "-", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "-", RowBox[{"D", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "+", RowBox[{"2", " ", "D", " ", InterpretationBox[\(p\^2\), pp]}], "-", RowBox[{"4", " ", InterpretationBox[\(p\^2\), pp]}]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{1, m4}, {1, m3}, {1, m2}}], Editable->True]}], ")"}]}], "+", RowBox[{\(1\/\(3\ \((D - 2)\)\)\), RowBox[{"(", RowBox[{ SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{\(-3\), " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"]}], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m3}, {1, m4}, {1, m2}}], Editable->True]}], ")"}]}], "+", RowBox[{\(1\/\(3\ \((D - 2)\)\)\), RowBox[{"(", RowBox[{ SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], " ", RowBox[{"(", RowBox[{ RowBox[{\(-3\), " ", SuperscriptBox[ InterpretationBox[\(m\_2\), m2], "2"]}], "+", RowBox[{"3", " ", SuperscriptBox[ InterpretationBox[\(m\_3\), m3], "2"]}], "+", SuperscriptBox[ InterpretationBox[\(m\_4\), m4], "2"], "-", InterpretationBox[\(p\^2\), pp]}], ")"}], " ", InterpretationBox[ SubsuperscriptBox[ StyleBox["J", SingleLetterItalics->False, FontWeight->"Bold"], RowBox[{ FormBox[ RowBox[{"{", RowBox[{"2", ",", InterpretationBox[\(m\_4\), m4]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_3\), m3]}], "}"}], "TraditionalForm"], FormBox[ RowBox[{"{", RowBox[{"1", ",", InterpretationBox[\(m\_2\), m2]}], "}"}], "TraditionalForm"]}], RowBox[{"(", FormBox["D", "TraditionalForm"], ")"}]], TJI[ D, pp, {{2, m4}, {1, m3}, {1, m2}}], Editable->True]}], ")"}]}]}]}], "}"}], TraditionalForm]], "Output"] }, Open ]] }, Open ]] }, Open ]] }, FrontEndVersion->"X 3.0", ScreenRectangle->{{0, 1504}, {0, 1128}}, WindowSize->{522, 390}, WindowMargins->{{446, Automatic}, {290, Automatic}}, Magnification->1.5 ] (*********************************************************************** Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. ***********************************************************************) (*CellTagsOutline CellTagsIndex->{ "T1.11.1"->{ Cell[1731, 51, 57, 1, 77, "Section", CellTags->"T1.11.1"]}, "T1.11.1.1"->{ Cell[2336, 77, 62, 1, 70, "Subsection", CellTags->"T1.11.1.1"]}, "T1.11.2.1"->{ Cell[7110, 226, 62, 1, 70, "Subsection", CellTags->"T1.11.2.1"], Cell[14809, 451, 71, 1, 70, "Subsection", CellTags->"T1.11.2.1"]} } *) (*CellTagsIndex CellTagsIndex->{ {"T1.11.1", 72861, 1822}, {"T1.11.1.1", 72948, 1825}, {"T1.11.2.1", 73040, 1828} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1731, 51, 57, 1, 77, "Section", CellTags->"T1.11.1"], Cell[1791, 54, 179, 5, 71, "Text"], Cell[1973, 61, 53, 1, 39, "Input"], Cell[2029, 64, 124, 3, 71, "Text"], Cell[2156, 69, 64, 1, 39, "Input"], Cell[2223, 72, 88, 1, 62, "Input"], Cell[CellGroupData[{ Cell[2336, 77, 62, 1, 70, "Subsection", CellTags->"T1.11.1.1"], Cell[2401, 80, 1130, 35, 118, "Text"], Cell[CellGroupData[{ Cell[3556, 119, 116, 5, 118, "Input"], Cell[3675, 126, 2371, 61, 205, "Output"] }, Open ]], Cell[6061, 190, 53, 0, 46, "Text"], Cell[CellGroupData[{ Cell[6139, 194, 78, 1, 39, "Input"], Cell[6220, 197, 841, 23, 61, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[7110, 226, 62, 1, 70, "Subsection", CellTags->"T1.11.2.1"], Cell[7175, 229, 119, 2, 78, "Input"], Cell[CellGroupData[{ Cell[7319, 235, 54, 1, 39, "Input"], Cell[7376, 238, 2528, 65, 207, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9941, 308, 77, 1, 39, "Input"], Cell[10021, 311, 690, 18, 61, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10748, 334, 54, 1, 39, "Input"], Cell[10805, 337, 2710, 70, 270, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[13552, 412, 77, 1, 39, "Input"], Cell[13632, 415, 1128, 30, 92, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[14809, 451, 71, 1, 70, "Subsection", CellTags->"T1.11.2.1"], Cell[14883, 454, 34, 0, 46, "Text"], Cell[14920, 456, 356, 6, 292, "Input"] }, Open ]], Cell[CellGroupData[{ Cell[15313, 467, 80, 1, 69, "Subsection"], Cell[CellGroupData[{ Cell[15418, 472, 178, 5, 131, "Input"], Cell[15599, 479, 13019, 310, 488, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[28667, 795, 81, 1, 69, "Subsection"], Cell[CellGroupData[{ Cell[28773, 800, 179, 5, 131, "Input"], Cell[28955, 807, 29952, 665, 1291, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[58956, 1478, 80, 1, 69, "Subsection"], Cell[CellGroupData[{ Cell[59061, 1483, 178, 5, 131, "Input"], Cell[59242, 1490, 12973, 310, 493, "Output"] }, Open ]] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)