(*********************************************************************** 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[ 32222, 1018]*) (*NotebookOutlinePosition[ 33032, 1048]*) (* CellTagsIndexPosition[ 32952, 1042]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["DiracSimplify", "Subsection", CellTags->"DiracSimplify"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ DiracSimplify[expr] simplifies products of Dirac matrices in expr \ and expands non-commutative products. Double Lorentz indices and four vectors \ are contracted. The Dirac equation is applied. All DiracMatrix[5], \ DiracMatrix[6] and DiracMatrix[7] are moved to the right. The order of the \ other Dirac matrices is not changed.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Options[DiracSimplify]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`{DiracCanonical \[Rule] False, DiracSigmaExplicit \[Rule] True, DiracSimpCombine \[Rule] False, DiracSubstitute67 \[Rule] False, Expanding \[Rule] True, Factoring \[Rule] False, FeynCalcInternal \[Rule] False, InsideDiracTrace \[Rule] False}\)], "Output"] }, Open ]], Cell[TextData[{ "See also: ", " ", ButtonBox["Calc", ButtonData:>"Calc", ButtonStyle->"Hyperlink", ButtonNote->"Calc"], ", ", ButtonBox["DiracGammaExpand", ButtonData:>"DiracGammaExpand", ButtonStyle->"Hyperlink", ButtonNote->"DiracGammaExpand"], ", ", ButtonBox["DiracTrick", ButtonData:>"DiracTrick", ButtonStyle->"Hyperlink", ButtonNote->"DiracTrick"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell["This is a string of Dirac matrices in four dimensions. ", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(t1 = GA[\[Mu], \[Nu], \[Mu]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^\[Mu] . \[Gamma]\^\[Nu] . \ \[Gamma]\^\[Mu]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[t1]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-2\), " ", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell["This is a string of Dirac matrices in D dimensions. ", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(t2 = GAD[\[Mu], \[Nu], \[Mu]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^\[Mu] . \[Gamma]\^\[Nu] . \ \[Gamma]\^\[Mu]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[t1]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(-2\), " ", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t3 = GA[5, \[Mu], \[Nu]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^5 . \[Gamma]\^\[Mu] . \[Gamma]\^\[Nu]\)], \ "Output"] }, Open ]], Cell[TextData[{ "By default ", Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^5\)]], "is moved to the right." }], "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[t3]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t4 = GA[6, \[Mu], 7]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^6 . \[Gamma]\^\[Mu] . \[Gamma]\^7\)], \ "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[t4]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^7\)}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t5 = GS[a + b]\ . \ GS[p] . GS[p] . GS[c + d]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"(", RowBox[{ "\[Gamma]", "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(a + b\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", \((\[Gamma]\[NoBreak]\[CenterDot]\[NoBreak]p)\), ".", \((\[Gamma]\[NoBreak]\[CenterDot]\[NoBreak]p)\), ".", RowBox[{"(", RowBox[{ "\[Gamma]", "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(c + d\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ Contrary to DiracTrick DiracSimplify does non-commutative \ expansion.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[t5]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["a", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["c", "TraditionalForm"]}], ")"}]}], " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], "2"]}], "+", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["a", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["d", "TraditionalForm"]}], ")"}]}], " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], "2"]}], "+", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["b", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["c", "TraditionalForm"]}], ")"}]}], " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], "2"]}], "+", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["b", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["d", "TraditionalForm"]}], ")"}]}], " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], "2"]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracTrick[t5]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(a + b\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", "(", "\[NoBreak]", FormBox[\(c + d\), "TraditionalForm"], "\[NoBreak]", ")"}], ")"}]}], " ", SuperscriptBox[ FormBox["p", "TraditionalForm"], "2"]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t6\ = \ SpinorVBar[p]\ . \ GS[p]\ . \ SpinorUBar[q]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ FormBox[\("v"\&_\), "TraditionalForm"], "\[NoBreak]", "(", "\[NoBreak]", "p", "\[NoBreak]", ")"}], ".", \((\[Gamma]\[NoBreak]\[CenterDot]\[NoBreak]p)\), ".", RowBox[{ FormBox[\("u"\&_\), "TraditionalForm"], "\[NoBreak]", "(", "\[NoBreak]", "q", "\[NoBreak]", ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[t6]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(GAD @@ Join[{\[Mu]}, Table[\[Nu]\_i, {i, 6}], {\[Mu]}]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^\[Mu] . \[Gamma]\^\[Nu]\_1 . \[Gamma]\^\[Nu]\ \_2 . \[Gamma]\^\[Nu]\_3 . \[Gamma]\^\[Nu]\_4 . \[Gamma]\^\[Nu]\_5 . \[Gamma]\ \^\[Nu]\_6 . \[Gamma]\^\[Mu]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[%]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"D", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}]}], "-", RowBox[{"12", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]}]]}], "-", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_5\), "TraditionalForm"], "TraditionalForm"]]}], " ", SuperscriptBox["g", RowBox[{ FormBox[ FormBox[\(\[Nu]\_4\), "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox[\(\[Nu]\_6\), "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{"4", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_1\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_2\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox[\(\[Nu]\_3\), "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", 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["\<\ With the option DiracCanonical an alphabetic ordering is \ done.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[GA[\[Nu], \[Mu]], DiracCanonical \[Rule] True]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{\(2\ g\^\(\[Mu]\[NoBreak]\[Nu]\)\), "-", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}]}], TraditionalForm]], "Output"] }, Open ]], Cell["\<\ Setting InsideDiracTrace\[Rule]True assumes that a trace is still \ to be taken later on.\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[GA[\[Mu], \[Nu], \[Rho], \[Sigma]], InsideDiracTrace \[Rule] True]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`g\^\(\[Mu]\[NoBreak]\[Sigma]\)\ g\^\(\[Nu]\[NoBreak]\ \[Rho]\) - g\^\(\[Mu]\[NoBreak]\[Rho]\)\ g\^\(\[Nu]\[NoBreak]\[Sigma]\) + g\^\(\[Mu]\[NoBreak]\[Nu]\)\ g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)], \ "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(DiracSimplify[GA[\[Mu], \[Nu], \[Rho]], InsideDiracTrace \[Rule] True]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`0\)], "Output"] }, Open ]], Cell[BoxData[ \(Clear[t1, t2, t3, t4, t5, t6]\)], "Input"] }, 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->{ "DiracSimplify"->{ Cell[1739, 51, 64, 1, 40, "Subsection", CellTags->"DiracSimplify"]} } *) (*CellTagsIndex CellTagsIndex->{ {"DiracSimplify", 32848, 1035} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 64, 1, 40, "Subsection", CellTags->"DiracSimplify"], Cell[CellGroupData[{ Cell[1828, 56, 36, 0, 36, "Subsubsection"], Cell[1867, 58, 354, 6, 85, "Text"], Cell[CellGroupData[{ Cell[2246, 68, 55, 1, 31, "Input"], Cell[2304, 71, 320, 5, 101, "Output"] }, Open ]], Cell[2639, 79, 423, 18, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[3099, 102, 33, 0, 36, "Subsubsection"], Cell[3135, 104, 71, 0, 29, "Text"], Cell[CellGroupData[{ Cell[3231, 108, 61, 1, 31, "Input"], Cell[3295, 111, 104, 2, 47, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3436, 118, 50, 1, 70, "Input"], Cell[3489, 121, 236, 7, 70, "Output"] }, Open ]], Cell[3740, 131, 68, 0, 70, "Text"], Cell[CellGroupData[{ Cell[3833, 135, 62, 1, 70, "Input"], Cell[3898, 138, 104, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4039, 145, 50, 1, 70, "Input"], Cell[4092, 148, 236, 7, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4365, 160, 57, 1, 70, "Input"], Cell[4425, 163, 100, 2, 70, "Output"] }, Open ]], Cell[4540, 168, 129, 5, 70, "Text"], Cell[CellGroupData[{ Cell[4694, 177, 50, 1, 70, "Input"], Cell[4747, 180, 409, 13, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5193, 198, 53, 1, 70, "Input"], Cell[5249, 201, 96, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5382, 208, 50, 1, 70, "Input"], Cell[5435, 211, 252, 8, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5724, 224, 79, 1, 70, "Input"], Cell[5806, 227, 677, 17, 70, "Output"] }, Open ]], Cell[6498, 247, 94, 3, 70, "Text"], Cell[CellGroupData[{ Cell[6617, 254, 50, 1, 70, "Input"], Cell[6670, 257, 2814, 78, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9521, 340, 47, 1, 70, "Input"], Cell[9571, 343, 786, 20, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10394, 368, 87, 1, 70, "Input"], Cell[10484, 371, 439, 11, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10960, 387, 50, 1, 70, "Input"], Cell[11013, 390, 52, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[11102, 396, 87, 1, 70, "Input"], Cell[11192, 399, 214, 3, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[11443, 407, 49, 1, 70, "Input"], Cell[11495, 410, 19211, 546, 70, "Output"] }, Open ]], Cell[30721, 959, 89, 3, 70, "Text"], Cell[CellGroupData[{ Cell[30835, 966, 93, 1, 70, "Input"], Cell[30931, 969, 460, 13, 70, "Output"] }, Open ]], Cell[31406, 985, 113, 3, 70, "Text"], Cell[CellGroupData[{ Cell[31544, 992, 120, 2, 70, "Input"], Cell[31667, 996, 248, 4, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[31952, 1005, 110, 2, 70, "Input"], Cell[32065, 1009, 52, 1, 70, "Output"] }, Open ]], Cell[32132, 1013, 62, 1, 70, "Input"] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)