(*********************************************************************** Mathematica-Compatible Notebook This notebook can be used on any computer system with Mathematica 4.0, MathReader 4.0, or any compatible application. The data for the notebook starts with the line containing 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[ 157845, 4797]*) (*NotebookOutlinePosition[ 158650, 4827]*) (* CellTagsIndexPosition[ 158571, 4821]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["FunctionalD", "Subsection", CellTags->"FunctionalD"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ FunctionalD[expr, {QuantumField[name, {mu}, {a}][p], ...}] \ calculates the functional derivative of expr with respect to the field list \ (with incoming momenta p, etc.) and does the fourier transform. \ FunctionalD[expr, {QuantumField[name, {mu},{a}], ...}] calculates the \ functional derivate and does partial integration but omits the x-space delta \ functions.\ \>", "Text"], Cell["FunctionalD is a low level function used in FeynRule.", "Text"], Cell[TextData[{ "See also: ", " ", ButtonBox["FeynRule", ButtonData:>"FeynRule", ButtonStyle->"Hyperlink", ButtonNote->"FeynRule"], ", ", ButtonBox["QuantumField", ButtonData:>"QuantumField", ButtonStyle->"Hyperlink", ButtonNote->"QuantumField"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[TextData[{ "Instead of the usual ", Cell[BoxData[ \(TraditionalForm\`\(\[Delta]\[Phi](x)\)/\(\[Delta]\[Phi]( y)\) = \(\[Delta]\^\((D)\)\)(x - y)\)]], " the arguments and the \[Delta] function are omitted, i.e., for the \ program for simplicity: ", Cell[BoxData[ \(TraditionalForm\`\[Delta]\[Phi]/\[Delta]\[Phi] = 1\)]] }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[QuantumField[\[Phi]], QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`1\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[QuantumField[\[Phi]]^2, QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`2\ \[Phi]\)], "Output"] }, Open ]], Cell[TextData[{ "Instead of the usual ", Cell[BoxData[ \(TraditionalForm\`\((\[Delta]\ \[PartialD]\_\[Mu]\( \[Phi]( x)\))\)/\(\[Delta]\[Phi]( y)\) = \[PartialD]\_\[Mu]\(\( \[Delta]\^\((D)\)\)(x - y)\)\)]], " the arguments are omitted, and the ", Cell[BoxData[ \(TraditionalForm\`\[PartialD]\_\[Mu]\)]], "operator is specified by default to be an integration by parts operator, \ i.e., the right hand side will be just ", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", FormBox[\(\[PartialD]\_\[Mu]\), "TraditionalForm"]}], ","}], TraditionalForm]]], " or, more precisely (by default) ", Cell[BoxData[ FormBox[ RowBox[{"-", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]]], "." }], "Text", ZeroWidthTimes->True], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[QuantumField[PartialD[\[Mu]], \[Phi]], QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"-", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[Cell[BoxData[ \(TraditionalForm\`S[\[Phi]]\ = 1/2 \(\[Integral]\ \(d\^D\) x\ [\ \[PartialD]\_\[Mu]\( \[Phi]( x)\)\ \[PartialD]\^\[Mu]\( \[Phi]( x)\) - \(m\^2\) \(\[Phi](x)\)\ \(\[Phi]( y)\)]\)\)]]], "Text", ZeroWidthTimes->True], Cell[CellGroupData[{ Cell[BoxData[ \(s[\[Phi]] = \((QuantumField[PartialD[\[Mu]], \[Phi]] . QuantumField[PartialD[\[Mu]], \[Phi]] - m^2\ QuantumField[\[Phi]] . QuantumField[\[Phi]])\)/2\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], \(\[Phi]\_\[Null]\%\[Null]\)}], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], \(\[Phi]\_\[Null]\%\[Null]\)}]}], "-", \(m\^2\ \[Phi] . \[Phi]\)}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[s[\[Phi]], QuantumField[\[Phi]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(\(-\[Phi]\)\ m\^2\), "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], \(\[Phi]\_\[Null]\%\[Null]\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[Cell[BoxData[ \(TraditionalForm\`S[ A]\ = \ \(-\(\[Integral]\ \(d\^D\) x\ 1\/4\ \(\(F\_a\%\[Mu]\[Nu]\)(x)\)\ \(\(F\_\[Mu]\[Nu]a\)( x)\)\)\)\)]]], "Text", ZeroWidthTimes->True], Cell[TextData[StyleBox["First approach", FontWeight->"Bold"]], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(F1 = FieldStrength[\[Mu], \[Nu], a, {A, b, c}, 1, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]c\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(F2 = FieldStrength[\[Mu], \[Nu], a, {A, d, e}, 1, Explicit \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]d\[NoBreak]e\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(S[A] = \(-\(1/4\)\) F1 . F2\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\(1\/4\)\), " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]c\)\)}]}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]d\[NoBreak]e\)\)}]}], ")"}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "In order to derive the equation of motion the functional derivative of ", Cell[BoxData[ \(TraditionalForm\`S\)]], " with respect to ", Cell[BoxData[ \(TraditionalForm\`A\_\[Sigma]\%g\)]], "has to be set to zero. Bearing in mind that for FeynCalc we have to be \ precise as to where which operators (coming from the substitution of the \ derivative of the \[Delta] function) act:, act with the functional derivative \ operator on the first field strength:" }], "Text"], Cell[TextData[{ Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ FormBox[ RowBox[{ FormBox[ RowBox[{ FormBox[ RowBox[{"0", " ", "=", " ", RowBox[{ FormBox[\(\((\[Delta] S)\)/\((\[Delta] \(\( A\_\[Sigma]\%g\)( y)\))\)\), "TraditionalForm"], "=", \(-\(2/4\)\)}]}], "TraditionalForm"], \(\[Integral]\(d\^D\) x\)}], "TraditionalForm"], " ", \((\[Delta]/\((\[Delta] \(\( A\_\[Sigma]\%g\)( y)\))\)\)}], "TraditionalForm"], " ", \(\(F\_\[Mu]\[Nu]a\)(x)\)}], ")"}], TraditionalForm]]], Cell[BoxData[ FormBox[ RowBox[{ FormBox[\(\(\ \)\(F\_a\%\(\(,\)\(\[Mu]\[Nu]\)\)\)\), "TraditionalForm"], "(", "x", ")"}], TraditionalForm]]] }], "Text", ZeroWidthTimes->True], Cell[TextData[Cell[BoxData[ FormBox[ RowBox[{"See", " ", "what", " ", "happens", " ", "with", " ", "just", RowBox[{ FormBox[\(\((\[Delta] S[A])\)/\((\[Delta] A\_\[Sigma]\%g)\)\), "TraditionalForm"], "."}]}], TraditionalForm]]]], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Ag = QuantumField[A, {\[Sigma]}, {g}]\)], "Input"], Cell[BoxData[ FormBox[ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t1 = FunctionalD[F1, Ag]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ In order to minimize the number of dummy indices, replace b \[Rule] \ c.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(t1\ = \ t1\ /. \ b \[Rule] c\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "Instead of inserting the definition for the second ", Cell[BoxData[ \(TraditionalForm\`F\_a\%\[Mu]\[Nu]\)]], ", introduce a QuantumField object with antisymmetry built into the Lorentz \ indices:" }], "Text"], Cell[BoxData[ \(F /: \ QuantumField[pard___, F, \[Beta]_, \[Alpha]_, s_] := \(-QuantumField[pard, F, \[Alpha], \[Beta], s]\) /; \(! OrderedQ[{\[Beta], \[Alpha]}]\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(QuantumField[F, {\[Mu], \[Nu]}, {a}]\)], "Input"], Cell[BoxData[ FormBox[ SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(% /. {\[Mu] \[RuleDelayed] \[Nu], \[Nu] \[RuleDelayed] \[Mu]}\)], \ "Input"], Cell[BoxData[ FormBox[ RowBox[{"-", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t2 = Contract[ExpandPartialD[\(-\(1/2\)\)\ t1 . QuantumField[F, LorentzIndex[\[Mu]], LorentzIndex[\[Nu]], SUNIndex[a]]]] /. Dot \[Rule] Times\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(1\/2\), " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}]}], "+", RowBox[{\(1\/2\), " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t3\ = \ t2\ /. \ \[Nu] \[Rule] \[Mu]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t4 = FCE[t3] /. \ SUNF[a, c, g] \[Rule] \(-SUNF[g, c, a]\)\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "Since the variational derivative vanishes t4 implies that 0 = ", Cell[BoxData[ \(TraditionalForm\`\(D\_\[Mu]\) F\_g\%\[Mu]\[Sigma]\)]], " ." }], "Text"], Cell[TextData[StyleBox["Second approach", FontWeight->"Bold"]], "Text"], Cell["\<\ It is of course also possible to do the functional deriviate on the \ S[A] with both field strength tensors inserted.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(S[A]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-\(1\/4\)\), " ", RowBox[{ RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]c\)\)}]}], ")"}], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]d\[NoBreak]e\)\)}]}], ")"}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(r1 = FunctionalD[S[A], Ag]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "+", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ This is just funcional derivatves and partial integration and \ simple contraction of indices. No attempt is made to rename dummy indices \ (since this is difficult in general ...).\ \>", "Text"], Cell["\<\ With a general replacement rule only valid for commuting fields the \ color indices can be canonicalized a bit more. The idea is to use the \ commutative properties of the vector fields, and canonicalize the color \ indices by a trick. This function will work on any commuting product of \ fields.\ \>", "Text"], Cell[BoxData[ \(Clear[symfun]; \)], "Input"], Cell[BoxData[ \(symfun[z_, fieldname_Symbol] := Expand[SUNSimplify[ FixedPoint[ Collect2[\(DotSimplify[#1 /. Times \[Rule] Dot] /. \((\((\((qi___)\) . QuantumField[par1___, fieldname, li1_, sui1_] . QuantumField[par2___, fieldname, li2_, sui2_] . qf___\ )\) any_)\) \[RuleDelayed] \((\((qi . QuantumField[par1, A, li1, sui2] . QuantumField[par2, fieldname, li2, sui1] . qf\ )\) \((any /. {sui1 \[RuleDelayed] sui2, sui2 \[RuleDelayed] sui1})\))\) /; \((\(! \((FreeQ2[ any, {sui1, su2}])\)\))\) && \(! \((OrderedQ[{sui1, sui2}])\)\)\) /. Dot \[Rule] Times, QuantumField] &, z, 42]]]\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(r2\ = \ symfun[r1, A]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "+", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", RowBox[{"(", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], ")"}]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/2\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(r3 = r2 /. \[Nu] \[Rule] \[Mu]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"2", " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(3\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[TextData[{ "Inspection reveals that still terms are the same. Gather the terms with \ two ", Cell[BoxData[ \(TraditionalForm\`\(\(f\)\(\ \)\)\)]], "'s:" }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(twof = Select[r3, Count[#, SUNF[__]] === 2 &]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-\(3\/4\)\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{\(1\/4\), " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(twofnew = \((twof\[LeftDoubleBracket]1\[RightDoubleBracket] + \ \((twof[\([\)\(2\)\(]\)] /. {b \[RuleDelayed] c, c \[RuleDelayed] b})\))\) /. {a \[RuleDelayed] c, c \[RuleDelayed] a}\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"-", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(r4\ = \ r3 - twof + twofnew\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"2", " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ Check that this is now indeed the same as the t4 result from the \ first attempt.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(t4\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["F", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(w0 = RightPartialD[\[Mu]] . FieldStrength[\[Mu], \[Sigma], g, {A, a, b}, 1] + QuantumField[A, LorentzIndex[\[Mu]], SUNIndex[c]] FieldStrength[\[Mu], \[Sigma], a, {A, b, d}, 1] SUNF[g, c, a]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["F", \(\[Mu]\[NoBreak]\[Sigma]\), RowBox[{"g", "\[NoBreak]", FormBox[\({A, a, b}\), "TraditionalForm"], "\[NoBreak]", FormBox["1", "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["F", \(\[Mu]\[NoBreak]\[Sigma]\), RowBox[{"a", "\[NoBreak]", FormBox[\({A, b, d}\), "TraditionalForm"], "\[NoBreak]", FormBox["1", "TraditionalForm"]}]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(w1 = Explicit[w0]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubscriptBox[\(\[PartialD]\& \[RightArrow] \), FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(g\[NoBreak]a\[NoBreak]b\)\)}]}], ")"}]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{"(", RowBox[{ RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], ".", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]]}], " ", \(f\_\(a\[NoBreak]b\[NoBreak]d\)\)}]}], ")"}], " ", \(f\_\(g\[NoBreak]c\[NoBreak]a\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(w2 = ExpandPartialD[w1] /. Dot \[Rule] Times\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ RowBox[{ FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"], FormBox[ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], "TraditionalForm"]}], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(dif1\ = \ w2 - r4\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["d", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"]], " ", SubsuperscriptBox["A", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["e", "TraditionalForm"], "TraditionalForm"]}]], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["g", "TraditionalForm"], "TraditionalForm"]}]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(dif2 = symfun[dif1, A]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell["quod erat demonstrandum.", "Text"], Cell[BoxData[ \(Unset[s[\[Phi]]]; Unset[S[A]]; Clear[Ag, F1, F2, t1, t2, t3, t4, F, r1, r2, r3, r4, symfun, twof, twofnew, w0, w1, w2, dif1, dif2, dif3]\)], "Input"] }, Open ]], Cell[CellGroupData[{ Cell["Examples of funcional differentiation as used in FeynRule", \ "Subsubsection"], Cell["This is a part of the QCD Lagrangian.", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(\((Gstrong*\(QuantumField[GaugeField, \ LorentzIndex[li1], \ \ SUNIndex[si2]]\)[]\ . \ \ \(QuantumField[GaugeField, \ LorentzIndex[li2], \ \ \ SUNIndex[si4]]\)[]\ . \ \ \(QuantumField[ PartialD[LorentzIndex[li1]], \ GaugeField, \ \ \ LorentzIndex[li2], \ SUNIndex[si1]]\)[]*\ \ SUNF[SUNIndex[si1], \ SUNIndex[si2], \ SUNIndex[si4]])\)/ 4\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/4\), " ", \(g\_s\), " ", RowBox[{ RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]], "(", ")"}], ".", RowBox[{ SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["li2", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]], "(", ")"}], ".", RowBox[{ RowBox[{"(", RowBox[{ SubscriptBox["\[PartialD]", FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], SubsuperscriptBox[ FormBox["A", "TraditionalForm"], FormBox[ FormBox["li2", "TraditionalForm"], "TraditionalForm"], FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]]}], ")"}], "(", ")"}]}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(FunctionalD[%, \ {\(QuantumField[GaugeField, {\[Mu]}, {a}]\)[ p], \ \(QuantumField[GaugeField, {\[Nu]}, {b}]\)[ q], \ \(QuantumField[GaugeField, {\[Rho]}, {c}]\)[r]}]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/4\), " ", \(g\_s\), " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{\(g\^\(li1\[NoBreak]\[Mu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(g\^\(li2\[NoBreak]\[Nu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox[ FormBox["r", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(li2\[NoBreak]\[Rho]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{\(g\^\(li1\[NoBreak]\[Mu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(g\^\(li2\[NoBreak]\[Rho]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(li2\[NoBreak]\[Nu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{\(g\^\(li1\[NoBreak]\[Nu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(g\^\(li2\[NoBreak]\[Mu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox[ FormBox["r", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(li2\[NoBreak]\[Rho]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{\(g\^\(li1\[NoBreak]\[Nu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(g\^\(li2\[NoBreak]\[Rho]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(li2\[NoBreak]\[Mu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{\(g\^\(li1\[NoBreak]\[Rho]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(g\^\(li2\[NoBreak]\[Mu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(li2\[NoBreak]\[Nu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}], "+", RowBox[{ RowBox[{"(", RowBox[{\(g\^\(li1\[NoBreak]\[Rho]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(g\^\(li2\[NoBreak]\[Nu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}], ".", RowBox[{"(", RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["li1", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(li2\[NoBreak]\[Mu]\)\), " ", SubscriptBox["\[Delta]", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"]}]]}], ")"}]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["si1", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si2", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["si4", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[% // Calc] // Factor\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(1\/4\), " ", "\[ImaginaryI]", " ", \(g\_s\), " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{ SuperscriptBox[ FormBox["r", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", SuperscriptBox[ FormBox["r", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{\(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]]}]}], ")"}], " ", SubscriptBox["f", RowBox[{ FormBox[ FormBox["a", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["b", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["c", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]] }, Open ]] }, Open ]] }, FrontEndVersion->"4.0 for X", ScreenRectangle->{{0, 1024}, {0, 768}}, WindowSize->{520, 485}, WindowMargins->{{Automatic, 244}, {114, Automatic}}, StyleDefinitions -> "Demo.nb" ] (*********************************************************************** 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->{ "FunctionalD"->{ Cell[1739, 51, 60, 1, 40, "Subsection", CellTags->"FunctionalD"]} } *) (*CellTagsIndex CellTagsIndex->{ {"FunctionalD", 158469, 4814} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 60, 1, 40, "Subsection", CellTags->"FunctionalD"], Cell[CellGroupData[{ Cell[1824, 56, 36, 0, 36, "Subsubsection"], Cell[1863, 58, 390, 7, 85, "Text"], Cell[2256, 67, 69, 0, 29, "Text"], Cell[2328, 69, 298, 13, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[2663, 87, 33, 0, 36, "Subsubsection"], Cell[2699, 89, 367, 9, 43, "Text"], Cell[CellGroupData[{ Cell[3091, 102, 88, 1, 31, "Input"], Cell[3182, 105, 52, 1, 47, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3271, 111, 90, 1, 31, "Input"], Cell[3364, 114, 60, 1, 47, "Output"] }, Open ]], Cell[3439, 118, 988, 28, 70, "Text"], Cell[CellGroupData[{ Cell[4452, 150, 112, 2, 70, "Input"], Cell[4567, 154, 248, 7, 70, "Output"] }, Open ]], Cell[4830, 164, 333, 7, 70, "Text"], Cell[CellGroupData[{ Cell[5188, 175, 209, 3, 70, "Input"], Cell[5400, 180, 727, 20, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6164, 205, 77, 1, 70, "Input"], Cell[6244, 208, 652, 19, 70, "Output"] }, Open ]], Cell[6911, 230, 231, 5, 70, "Text"], Cell[7145, 237, 72, 1, 70, "Text"], Cell[CellGroupData[{ Cell[7242, 242, 121, 3, 70, "Input"], Cell[7366, 247, 1693, 54, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9096, 306, 121, 3, 70, "Input"], Cell[9220, 311, 1693, 54, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10950, 370, 60, 1, 70, "Input"], Cell[11013, 373, 4072, 110, 70, "Output"] }, Open ]], Cell[15100, 486, 506, 11, 70, "Text"], Cell[15609, 499, 1096, 29, 70, "Text"], Cell[16708, 530, 279, 5, 70, "Text"], Cell[CellGroupData[{ Cell[17012, 539, 70, 1, 70, "Input"], Cell[17085, 542, 298, 10, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17420, 557, 57, 1, 70, "Input"], Cell[17480, 560, 2845, 82, 70, "Output"] }, Open ]], Cell[20340, 645, 96, 3, 70, "Text"], Cell[CellGroupData[{ Cell[20461, 652, 63, 1, 70, "Input"], Cell[20527, 655, 2845, 82, 70, "Output"] }, Open ]], Cell[23387, 740, 237, 6, 70, "Text"], Cell[23627, 748, 202, 3, 70, "Input"], Cell[CellGroupData[{ Cell[23854, 755, 69, 1, 70, "Input"], Cell[23926, 758, 451, 15, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24414, 778, 96, 2, 70, "Input"], Cell[24513, 782, 501, 16, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[25051, 803, 217, 4, 70, "Input"], Cell[25271, 809, 3988, 120, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[29296, 934, 71, 1, 70, "Input"], Cell[29370, 937, 1938, 60, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[31345, 1002, 91, 1, 70, "Input"], Cell[31439, 1005, 1530, 48, 70, "Output"] }, Open ]], Cell[32984, 1056, 181, 5, 70, "Text"], Cell[33168, 1063, 73, 1, 70, "Text"], Cell[33244, 1066, 141, 3, 70, "Text"], Cell[CellGroupData[{ Cell[33410, 1073, 37, 1, 70, "Input"], Cell[33450, 1076, 4072, 110, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[37559, 1191, 59, 1, 70, "Input"], Cell[37621, 1194, 33082, 978, 70, "Output"] }, Open ]], Cell[70718, 2175, 205, 4, 70, "Text"], Cell[70926, 2181, 321, 6, 70, "Text"], Cell[71250, 2189, 48, 1, 70, "Input"], Cell[71301, 2192, 1093, 19, 70, "Input"], Cell[CellGroupData[{ Cell[72419, 2215, 55, 1, 70, "Input"], Cell[72477, 2218, 17031, 512, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[89545, 2735, 63, 1, 70, "Input"], Cell[89611, 2738, 9107, 281, 70, "Output"] }, Open ]], Cell[98733, 3022, 181, 6, 70, "Text"], Cell[CellGroupData[{ Cell[98939, 3032, 78, 1, 70, "Input"], Cell[99020, 3035, 3705, 114, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[102762, 3154, 245, 4, 70, "Input"], Cell[103010, 3160, 1781, 58, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[104828, 3223, 61, 1, 70, "Input"], Cell[104892, 3226, 7275, 225, 70, "Output"] }, Open ]], Cell[112182, 3454, 105, 3, 70, "Text"], Cell[CellGroupData[{ Cell[112312, 3461, 35, 1, 70, "Input"], Cell[112350, 3464, 1530, 48, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[113917, 3517, 271, 6, 70, "Input"], Cell[114191, 3525, 1158, 32, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[115386, 3562, 50, 1, 70, "Input"], Cell[115439, 3565, 4610, 126, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[120086, 3696, 77, 1, 70, "Input"], Cell[120166, 3699, 8530, 264, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[128733, 3968, 51, 1, 70, "Input"], Cell[128787, 3971, 11260, 348, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[140084, 4324, 55, 1, 70, "Input"], Cell[140142, 4327, 52, 1, 70, "Output"] }, Open ]], Cell[140209, 4331, 40, 0, 70, "Text"], Cell[140252, 4333, 181, 3, 70, "Input"] }, Open ]], Cell[CellGroupData[{ Cell[140470, 4341, 84, 1, 70, "Subsubsection"], Cell[140557, 4344, 53, 0, 70, "Text"], Cell[CellGroupData[{ Cell[140635, 4348, 473, 8, 70, "Input"], Cell[141111, 4358, 2023, 60, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[143171, 4423, 219, 3, 70, "Input"], Cell[143393, 4428, 11847, 288, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[155277, 4721, 58, 1, 70, "Input"], Cell[155338, 4724, 2467, 68, 70, "Output"] }, Open ]] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)