(*********************************************************************** 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[ 41207, 1222]*) (*NotebookOutlinePosition[ 42002, 1252]*) (* CellTagsIndexPosition[ 41927, 1246]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["Chisholm", "Subsection", CellTags->"Chisholm"], Cell[CellGroupData[{ Cell["Description", "Subsubsection"], Cell["\<\ Chisholm[x] substitutes products of three Dirac matrices or slashes \ by the Chisholm identity.\ \>", "Text"], Cell[TextData[{ "See also: ", " ", ButtonBox["EpsChisholm", ButtonData:>"EpsChisholm", ButtonStyle->"Hyperlink", ButtonNote->"EpsChisholm"], "." }], "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Examples", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(Chisholm[GA[\[Alpha], \[Beta], \[Mu], \[Nu]]]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-\[ImaginaryI]\), " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$26", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$26", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Alpha]\[NoBreak]\[Beta]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Beta]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Alpha]\[NoBreak]\[Mu]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Alpha]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Beta]\[NoBreak]\[Mu]\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t1 = DiracMatrix[\[Mu], \[Nu], \[Rho]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\(\[Gamma]\^\[Mu]\) \(\[Gamma]\^\[Nu]\) \[Gamma]\^\ \[Rho]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t2\ = Chisholm[t1]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$27", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$27", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\)}], "-", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\)}], "+", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell["The $MU$ variables are unique indices.", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[t1 . t1]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`16\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t3\ = Chisholm[t1]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$28", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$28", "TraditionalForm"], "TraditionalForm"]}]]}], "+", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\)}], "-", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\)}], "+", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[t2 . t3]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`16\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(t4 = DiracSlash[a, b, c]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["a", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["b", "TraditionalForm"]}], ")"}], ".", RowBox[{"(", RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["c", "TraditionalForm"]}], ")"}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Chisholm[t4]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-\[ImaginaryI]\), " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$29", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["$MU$29", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox["a", "TraditionalForm"], "\[NoBreak]", FormBox["b", "TraditionalForm"], "\[NoBreak]", FormBox["c", "TraditionalForm"]}]]}], "+", RowBox[{ RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["c", "TraditionalForm"]}], " ", RowBox[{ FormBox["a", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["b", "TraditionalForm"]}]}], "-", RowBox[{ RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["b", "TraditionalForm"]}], " ", RowBox[{ FormBox["a", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["c", "TraditionalForm"]}]}], "+", RowBox[{ RowBox[{ FormBox["\<\"\[Gamma]\"\>", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["a", "TraditionalForm"]}], " ", RowBox[{ FormBox["b", "TraditionalForm"], "\[NoBreak]", "\[CenterDot]", "\[NoBreak]", FormBox["c", "TraditionalForm"]}]}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(a1 = GA[\[Mu], \[Nu], \[Rho], \[Sigma], \[Tau], \[Kappa]]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\[Gamma]\^\[Mu] . \[Gamma]\^\[Nu] . \[Gamma]\^\[Rho] . \ \[Gamma]\^\[Sigma] . \[Gamma]\^\[Tau] . \[Gamma]\^\[Kappa]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(a2\ = Chisholm[a1]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-\[ImaginaryI]\), " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", 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"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", 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"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$32", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$32", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\)}], "+", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$33", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$33", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$34", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$34", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Nu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$30", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$30", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(a3\ = Chisholm[a1]\)], "Input"], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{\(-\[ImaginaryI]\), " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", 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"]}]]}], "+", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", 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"]}]]}], "-", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$37", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$37", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\)}], "+", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$38", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$38", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$39", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$39", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Nu]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Tau]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Nu]\[NoBreak]\[Tau]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Sigma]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Sigma]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Nu]\[NoBreak]\[Sigma]\)\), " ", \(g\^\(\[Rho]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{"\[ImaginaryI]", " ", RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["$MU$35", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]], ".", \(\[Gamma]\^5\)}], " ", SuperscriptBox["\[Epsilon]", RowBox[{ FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"], "\[NoBreak]", FormBox[ FormBox["$MU$35", "TraditionalForm"], "TraditionalForm"]}]], " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Rho]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Nu]\)\), " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}], "-", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Nu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Mu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}], "+", RowBox[{ RowBox[{ SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Mu]", "TraditionalForm"], "TraditionalForm"]], ".", SuperscriptBox["\[Gamma]", FormBox[ FormBox["\[Kappa]", "TraditionalForm"], "TraditionalForm"]]}], " ", \(g\^\(\[Nu]\[NoBreak]\[Rho]\)\), " ", \(g\^\(\[Sigma]\[NoBreak]\[Tau]\)\)}]}], TraditionalForm]], "Output"] }, Open ]], Cell["Check that both a1.a1 and a2.a3 give the same.", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[a1 . a1]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\(-2048\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Calc[a2 . a3]\)], "Input"], Cell[BoxData[ \(TraditionalForm\`\(-2048\)\)], "Output"] }, Open ]], Cell[BoxData[ \(Clear[t1, t2, t3, t4, a1, a2, a3]\)], "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->{ "Chisholm"->{ Cell[1739, 51, 54, 1, 40, "Subsection", CellTags->"Chisholm"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Chisholm", 41828, 1239} } *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1739, 51, 54, 1, 40, "Subsection", CellTags->"Chisholm"], Cell[CellGroupData[{ Cell[1818, 56, 36, 0, 36, "Subsubsection"], Cell[1857, 58, 119, 3, 43, "Text"], Cell[1979, 63, 176, 8, 29, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[2192, 76, 33, 0, 36, "Subsubsection"], Cell[CellGroupData[{ Cell[2250, 80, 78, 1, 31, "Input"], Cell[2331, 83, 2500, 72, 49, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4868, 160, 71, 1, 31, "Input"], Cell[4942, 163, 109, 2, 47, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5088, 170, 52, 1, 31, "Input"], Cell[5143, 173, 1665, 48, 49, "Output"] }, Open ]], Cell[6823, 224, 54, 0, 29, "Text"], Cell[CellGroupData[{ Cell[6902, 228, 46, 1, 70, "Input"], Cell[6951, 231, 53, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[7041, 237, 52, 1, 70, "Input"], Cell[7096, 240, 1665, 48, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8798, 293, 46, 1, 70, "Input"], Cell[8847, 296, 53, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8937, 302, 57, 1, 70, "Input"], Cell[8997, 305, 807, 23, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9841, 333, 45, 1, 70, "Input"], Cell[9889, 336, 2086, 60, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12012, 401, 90, 1, 70, "Input"], Cell[12105, 404, 166, 2, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12308, 411, 52, 1, 70, "Input"], Cell[12363, 414, 14143, 386, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[26543, 805, 52, 1, 70, "Input"], Cell[26598, 808, 14143, 386, 70, "Output"] }, Open ]], Cell[40756, 1197, 62, 0, 70, "Text"], Cell[CellGroupData[{ Cell[40843, 1201, 46, 1, 70, "Input"], Cell[40892, 1204, 60, 1, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[40989, 1210, 46, 1, 70, "Input"], Cell[41038, 1213, 60, 1, 70, "Output"] }, Open ]], Cell[41113, 1217, 66, 1, 70, "Input"] }, Open ]] }, Open ]] } ] *) (*********************************************************************** End of Mathematica Notebook file. ***********************************************************************)