(*********************************************************************** 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[ 34936, 1008]*) (*NotebookOutlinePosition[ 35713, 1038]*) (* CellTagsIndexPosition[ 35644, 1032]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["Tr", "Subsection", CellTags->"Tr"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ Tr[exp] calculates the Dirac trace of exp. Depending on the setting \ of the option SUNTrace also a trace over SU(N) objects is performed. Tr is \ identical toDiracTrace, up to the default setting of \ DiracTraceEvaluate.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Options[Tr]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`{DiracTraceEvaluate \[Rule] True, Factoring \[Rule] False, FeynCalcExternal \[Rule] False, LeviCivitaSign \[Rule] \(-1\), Mandelstam \[Rule] {}, PairCollect \[Rule] False, Schouten \[Rule] 442, SUNTrace \[Rule] True, TraceOfOne \[Rule] 4}\)], "Output"] }, Open ]], Cell[TextData[{ "See also: ", ButtonBox["DiracSimplify", ButtonData:>"DiracSimplify", ButtonStyle->"Hyperlink", ButtonNote->"DiracSimplify"], ", ", ButtonBox["DiracTrace", ButtonData:>"DiracTrace", ButtonStyle->"Hyperlink", ButtonNote->"DiracTrace"], ", ", ButtonBox["FermionSpinSum", ButtonData:>"FermionSpinSum", ButtonStyle->"Hyperlink", ButtonNote->"FermionSpinSum"], ", ", ButtonBox["SUNTrace", ButtonData:>"SUNTrace", ButtonStyle->"Hyperlink", ButtonNote->"SUNTrace"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(GA[\[Mu], \[Nu]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^\[Mu] . \[Gamma]\^\[Nu]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[%]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`4\ g\^\(\[Mu]\[NoBreak]\[Nu]\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[\((GSD[p] + m)\) . GAD[\[Mu]] . \((GSD[q] - m)\) . GAD[\[Nu]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"4", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"-", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}]]}], " ", \(m\^2\)}], "+", RowBox[{ SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "+", RowBox[{ SuperscriptBox[ FormBox["p", "TraditionalForm"], FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", SuperscriptBox[ FormBox["q", "TraditionalForm"], FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], "-", RowBox[{ SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}]], " ", RowBox[{ FormBox["p", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}]}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[GA[\[Mu], \[Nu], \[Rho], \[Sigma], 5]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-4\), " ", "\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[GAD[\[Mu], \[Nu], \[Rho], \[Sigma], \[Tau], \[Xi], 5]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"4", " ", RowBox[{"(", RowBox[{ RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Xi]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]}]]}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \($West\)], "Input"], Cell[BoxData[ \(TraditionalForm\`True\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(?$West\)\)], "Input"], Cell[BoxData[ \(TraditionalForm\`"If $West is set to True (which is the default), \ traces involving more than 4 Dirac matrices and gamma5 are calculated \ recursively according to formula (A.5) from Comp. Phys. Comm 77 (1993) \ 286-298, which is based on the Breitenlohner Maison gamma5 - scheme."\)], \ "Print"] }, Open ]], Cell["\<\ $West=False should be set before any calculation is done (because \ intermediate results from trace calculations are cached).\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \($West = False\)], "Input"], Cell[BoxData[ \(TraditionalForm\`False\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[GAD[\[Nu]\_1, \[Nu]\_2, \[Nu]\_3, \[Nu]\_4, \[Nu]\_5, \[Nu]\_6] . GA[5]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"4", " ", RowBox[{"(", RowBox[{ RowBox[{\(-\[ImaginaryI]\), " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]}]], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]]}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[GS[p, q, r, s]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"4", " ", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{ FormBox["p", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["s", "TraditionalForm"]}], " ", RowBox[{ FormBox["q", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["r", "TraditionalForm"]}]}], "-", RowBox[{ RowBox[{ FormBox["p", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["r", "TraditionalForm"]}], " ", RowBox[{ FormBox["q", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["s", "TraditionalForm"]}]}], "+", RowBox[{ RowBox[{ FormBox["p", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}], " ", RowBox[{ FormBox["r", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["s", "TraditionalForm"]}]}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[\((GS[p] + m)\) . GA[\[Mu]] . \((GS[q] + m)\) . GA[\[Mu]], Factoring \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{"8", " ", RowBox[{"(", RowBox[{\(2\ m\^2\), "-", RowBox[{ FormBox["p", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["q", "TraditionalForm"]}]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[GA[\[Alpha], \[Beta]], FCE \[Rule] True]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`4\ g\^\(\[Alpha]\[NoBreak]\[Beta]\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(% // StandardForm\)], "Input"], Cell[BoxData[ \(4\ MT[\[Alpha], \[Beta]]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Tr[GAD[\[Mu]] . GA[\[Alpha]] . GA[\[Beta]] . GAD[\[Mu]], FCE \[Rule] True]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`4\ D\ g\^\(\[Alpha]\[NoBreak]\[Beta]\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(% // StandardForm\)], "Input"], Cell[BoxData[ \(4\ D\ MT[\[Alpha], \[Beta]]\)], "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->{ "Tr"->{ Cell[1739, 51, 42, 1, 40, "Subsection", CellTags->"Tr"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Tr", 35551, 1025} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 42, 1, 40, "Subsection", CellTags->"Tr"], Cell[CellGroupData[{ Cell[1806, 56, 36, 0, 36, "Subsubsection"], Cell[1845, 58, 245, 5, 57, "Text"], Cell[CellGroupData[{ Cell[2115, 67, 44, 1, 31, "Input"], Cell[2162, 70, 317, 5, 101, "Output"] }, Open ]], Cell[2494, 78, 556, 22, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[3087, 105, 33, 0, 36, "Subsubsection"], Cell[CellGroupData[{ Cell[3145, 109, 49, 1, 31, "Input"], Cell[3197, 112, 84, 1, 47, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3318, 118, 38, 1, 31, "Input"], Cell[3359, 121, 81, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3477, 127, 107, 2, 70, "Input"], Cell[3587, 131, 2241, 64, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5865, 200, 74, 1, 70, "Input"], Cell[5942, 203, 704, 20, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[6683, 228, 90, 1, 70, "Input"], Cell[6776, 231, 17128, 440, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[23941, 676, 38, 1, 70, "Input"], Cell[23982, 679, 55, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24074, 685, 43, 1, 70, "Input"], Cell[24120, 688, 318, 5, 70, "Print"] }, Open ]], Cell[24453, 696, 149, 3, 70, "Text"], Cell[CellGroupData[{ Cell[24627, 703, 46, 1, 70, "Input"], Cell[24676, 706, 56, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24769, 712, 117, 2, 70, "Input"], Cell[24889, 716, 7084, 179, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[32010, 900, 51, 1, 70, "Input"], Cell[32064, 903, 1564, 44, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[33665, 952, 125, 2, 70, "Input"], Cell[33793, 956, 359, 10, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[34189, 971, 76, 1, 70, "Input"], Cell[34268, 974, 86, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[34391, 980, 50, 1, 70, "Input"], Cell[34444, 983, 58, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[34539, 989, 114, 2, 70, "Input"], Cell[34656, 993, 89, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[34782, 999, 50, 1, 70, "Input"], Cell[34835, 1002, 61, 1, 70, "Output"] }, Open ]] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)