(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 11.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 16968, 586] NotebookOptionsPosition[ 15684, 538] NotebookOutlinePosition[ 16020, 553] CellTagsIndexPosition[ 15977, 550] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"$LoadAddOns", "=", RowBox[{"{", "\"\\"", "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"<<", "FeynCalc`"}]}], "Input"], Cell[CellGroupData[{ Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{ StyleBox["\<\"FeynCalc \"\>", "Text", StripOnInput->False, FontWeight->Bold], "\[InvisibleSpace]", StyleBox["\<\"9.2.0 (development version). For help, use the \"\>", "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox[ RowBox[{"documentation", " ", "center"}], BaseStyle->"Link", ButtonData:>"paclet:FeynCalc/", ButtonNote->"paclet:FeynCalc/"], DisplayForm], "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox["\<\", check out the \"\>", "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox["wiki", BaseStyle->"Hyperlink", ButtonData:>{ URL["https://github.com/FeynCalc/feyncalc/wiki"], None}, ButtonNote->"https://github.com/FeynCalc/feyncalc/wiki"], DisplayForm], "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox["\<\" or write to the \"\>", "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox[ RowBox[{"mailing", " ", RowBox[{"list", "."}]}], BaseStyle->"Hyperlink", ButtonData:>{ URL["http://www.feyncalc.org/forum/"], None}, ButtonNote->"http://www.feyncalc.org/forum/"], DisplayForm], "Text", StripOnInput->False]}], SequenceForm[ Style["FeynCalc ", "Text", Bold], Style["9.2.0 (development version). For help, use the ", "Text"], Style[ DisplayForm[ ButtonBox[ "documentation center", BaseStyle -> "Link", ButtonData :> "paclet:FeynCalc/", ButtonNote -> "paclet:FeynCalc/"]], "Text"], Style[", check out the ", "Text"], Style[ DisplayForm[ ButtonBox["wiki", ButtonData :> { URL["https://github.com/FeynCalc/feyncalc/wiki"], None}, BaseStyle -> "Hyperlink", ButtonNote -> "https://github.com/FeynCalc/feyncalc/wiki"]], "Text"], Style[" or write to the ", "Text"], Style[ DisplayForm[ ButtonBox["mailing list.", ButtonData :> { URL["http://www.feyncalc.org/forum/"], None}, BaseStyle -> "Hyperlink", ButtonNote -> "http://www.feyncalc.org/forum/"]], "Text"]], Editable->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{ StyleBox["\<\"See also the supplied \"\>", "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox[ RowBox[{"examples", "."}], BaseStyle->"Hyperlink", ButtonFunction:>SystemOpen[ FileNameJoin[{FeynCalc`$FeynCalcDirectory, "Examples"}]], Evaluator->Automatic, Method->"Preemptive"], DisplayForm], "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox["\<\" If you use FeynCalc in your research, please cite\"\>", "Text", StripOnInput->False]}], SequenceForm[ Style["See also the supplied ", "Text"], Style[ DisplayForm[ ButtonBox[ "examples.", BaseStyle -> "Hyperlink", ButtonFunction :> SystemOpen[ FileNameJoin[{FeynCalc`$FeynCalcDirectory, "Examples"}]], Evaluator -> Automatic, Method -> "Preemptive"]], "Text"], Style[" If you use FeynCalc in your research, please cite", "Text"]], Editable->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ StyleBox["\<\" \[Bullet] V. Shtabovenko, R. Mertig and F. Orellana, Comput. \ Phys. Commun., 207C, 432-444, 2016, arXiv:1601.01167\"\>", "Text", StripOnInput->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ StyleBox["\<\" \[Bullet] R. Mertig, M. B\[ODoubleDot]hm, and A. Denner, \ Comput. Phys. Commun., 64, 345-359, 1991.\"\>", "Text", StripOnInput->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{ StyleBox["\<\"FeynHelpers \"\>", "Text", StripOnInput->False, FontWeight->Bold], "\[InvisibleSpace]", StyleBox["\<\"1.0.0 loaded.\"\>", "Text", StripOnInput->False]}], SequenceForm[ Style["FeynHelpers ", "Text", Bold], Style["1.0.0 loaded.", "Text"]], Editable->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{ StyleBox["\<\"Have a look at the supplied \"\>", "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox[ RowBox[{"examples", "."}], BaseStyle->"Hyperlink", ButtonFunction:>SystemOpen[ FileNameJoin[{FeynCalc`$FeynHelpersDirectory, "Examples"}]], Evaluator->Automatic, Method->"Preemptive"], DisplayForm], "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox["\<\" If you use FeynHelpers in your research, please cite\"\>", "Text", StripOnInput->False]}], SequenceForm[ Style["Have a look at the supplied ", "Text"], Style[ DisplayForm[ ButtonBox[ "examples.", BaseStyle -> "Hyperlink", ButtonFunction :> SystemOpen[ FileNameJoin[{FeynCalc`$FeynHelpersDirectory, "Examples"}]], Evaluator -> Automatic, Method -> "Preemptive"]], "Text"], Style[" If you use FeynHelpers in your research, please cite", "Text"]], Editable->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ StyleBox["\<\" \[Bullet] V. Shtabovenko, \\\"FeynHelpers: Connecting \ FeynCalc to FIRE and Package-X\\\", TUM-EFT 75/15, arXiv:1611.06793\"\>", "Text", StripOnInput->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ StyleBox["\<\"Furthermore, remember to cite the authors of the tools that \ you are calling from FeynHelpers, which are\"\>", "Text", StripOnInput->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"\<\" \[Bullet] \"\>", "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox["FIRE", BaseStyle->"Hyperlink", ButtonData:>{ URL["http://science.sander.su/FIRE.htm"], None}, ButtonNote->"http://science.sander.su/FIRE.htm"], DisplayForm], "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox["\<\" by A. Smirnov, if you are using the function \ FIREBurn.\"\>", "Text", StripOnInput->False]}], SequenceForm[ Style[" \[Bullet] "], Style[ DisplayForm[ ButtonBox["FIRE", ButtonData :> { URL["http://science.sander.su/FIRE.htm"], None}, BaseStyle -> "Hyperlink", ButtonNote -> "http://science.sander.su/FIRE.htm"]], "Text"], Style[" by A. Smirnov, if you are using the function FIREBurn.", "Text"]], Editable->False], TraditionalForm]], "Print"], Cell[BoxData[ FormBox[ InterpretationBox[ RowBox[{"\<\" \[Bullet] \"\>", "\[InvisibleSpace]", StyleBox[ TagBox[ ButtonBox[ RowBox[{"Package", "-", "X"}], BaseStyle->"Hyperlink", ButtonData:>{ URL["https://packagex.hepforge.org"], None}, ButtonNote->"https://packagex.hepforge.org"], DisplayForm], "Text", StripOnInput->False], "\[InvisibleSpace]", StyleBox["\<\" by H. Patel, if you are using the function \ PaXEvaluate.\"\>", "Text", StripOnInput->False]}], SequenceForm[ Style[" \[Bullet] "], Style[ DisplayForm[ ButtonBox["Package-X", ButtonData :> { URL["https://packagex.hepforge.org"], None}, BaseStyle -> "Hyperlink", ButtonNote -> "https://packagex.hepforge.org"]], "Text"], Style[" by H. Patel, if you are using the function PaXEvaluate.", "Text"]], Editable->False], TraditionalForm]], "Print"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"int10", "=", RowBox[{ RowBox[{"FAD", "[", RowBox[{ RowBox[{"{", RowBox[{"q", ",", "0", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"q", "+", "p"}], ",", "0", ",", "3"}], "}"}]}], "]"}], "/", RowBox[{"(", RowBox[{"I", " ", RowBox[{"Pi", "^", "2"}]}], ")"}]}]}]], "Input"], Cell[BoxData[ FormBox[ RowBox[{"-", FractionBox[ RowBox[{"\[ImaginaryI]", " ", FormBox[ FractionBox["1", RowBox[{ SuperscriptBox[ RowBox[{"(", InterpretationBox[ RowBox[{"\<\"[\"\>", "\[InvisibleSpace]", SuperscriptBox["q", "2"], "\[InvisibleSpace]", "\<\"]\"\>"}], SequenceForm["[", $CellContext`q^2, "]"], Editable->False], ")"}], "3"], ".", SuperscriptBox[ RowBox[{"(", InterpretationBox[ RowBox[{"\<\"[\"\>", "\[InvisibleSpace]", SuperscriptBox[ RowBox[{"(", RowBox[{"p", "+", "q"}], ")"}], "2"], "\[InvisibleSpace]", "\<\"]\"\>"}], SequenceForm["[", ($CellContext`p + $CellContext`q)^2, "]"], Editable->False], ")"}], "3"]}]], TraditionalForm]}], SuperscriptBox["\[Pi]", "2"]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"int11", "=", RowBox[{"ToPaVe", "[", RowBox[{"int10", ",", "q"}], "]"}]}]], "Input"], Cell[BoxData[ FormBox[ RowBox[{ SubscriptBox["\<\"F\"\>", "\<\"0\"\>"], "(", RowBox[{"0", ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], ")"}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"int12", "=", RowBox[{"FIREBurn", "[", RowBox[{"int10", ",", RowBox[{"{", "q", "}"}], ",", RowBox[{"{", "p", "}"}]}], "]"}]}]], "Input"], Cell["\<\ FIREBurn: Processing integral 1 of 1; IBP-reduction done, timing: 2.045\ \>", "Print"], Cell[BoxData[ FormBox[ RowBox[{"-", FractionBox[ RowBox[{"\[ImaginaryI]", " ", RowBox[{"(", RowBox[{"D", "-", "10"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "8"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "5"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "3"}], ")"}]}], RowBox[{"4", " ", SuperscriptBox["\[Pi]", "2"], " ", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "8"], " ", RowBox[{ SuperscriptBox[ FormBox["q", TraditionalForm], "2"], ".", SuperscriptBox[ RowBox[{"(", RowBox[{ FormBox["p", TraditionalForm], "+", FormBox["q", TraditionalForm]}], ")"}], "2"]}]}]]}], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"int13", "=", RowBox[{"ToPaVe", "[", RowBox[{"int12", ",", "q"}], "]"}]}]], "Input"], Cell[BoxData[ FormBox[ FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"D", "-", "10"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "8"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "5"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "3"}], ")"}], " ", FormBox[ TagBox[ FormBox[ RowBox[{ SubscriptBox["\<\"B\"\>", "\<\"0\"\>"], "(", RowBox[{ SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", "0"}], ")"}], TraditionalForm], HoldForm], TraditionalForm]}], RowBox[{"4", " ", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "8"]}]], TraditionalForm]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"int11", "\[Equal]", "int13"}]], "Input"], Cell[BoxData[ FormBox[ RowBox[{ FormBox[ RowBox[{ SubscriptBox["\<\"F\"\>", "\<\"0\"\>"], "(", RowBox[{"0", ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], ")"}], TraditionalForm], "\[LongEqual]", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"D", "-", "10"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "8"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "5"}], ")"}], " ", RowBox[{"(", RowBox[{"D", "-", "3"}], ")"}], " ", FormBox[ TagBox[ FormBox[ RowBox[{ SubscriptBox["\<\"B\"\>", "\<\"0\"\>"], "(", RowBox[{ SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "2"], ",", "0", ",", "0"}], ")"}], TraditionalForm], HoldForm], TraditionalForm]}], RowBox[{"4", " ", SuperscriptBox[ FormBox[ FormBox["p", TraditionalForm], TraditionalForm], "8"]}]]}], TraditionalForm]], "Output"] }, Open ]] }, WindowSize->{808, 621}, WindowMargins->{{520, Automatic}, {Automatic, 108}}, FrontEndVersion->"11.0 for Linux x86 (64-bit) (July 28, 2016)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[580, 22, 178, 5, 52, "Input"], Cell[CellGroupData[{ Cell[783, 31, 2326, 63, 47, "Print"], Cell[3112, 96, 1067, 29, 26, "Print"], Cell[4182, 127, 223, 4, 46, "Print"], Cell[4408, 133, 208, 4, 26, "Print"], Cell[4619, 139, 393, 12, 23, "Print"], Cell[5015, 153, 1091, 29, 26, "Print"], Cell[6109, 184, 235, 5, 46, "Print"], Cell[6347, 191, 212, 4, 46, "Print"], Cell[6562, 197, 920, 26, 26, "Print"], Cell[7485, 225, 937, 26, 26, "Print"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[8471, 257, 362, 12, 32, "Input"], Cell[8836, 271, 945, 26, 93, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9818, 302, 114, 3, 32, "Input"], Cell[9935, 307, 1278, 50, 36, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[11250, 362, 176, 5, 32, "Input"], Cell[11429, 369, 96, 2, 23, "Print"], Cell[11528, 373, 834, 30, 64, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12399, 408, 114, 3, 32, "Input"], Cell[12516, 413, 815, 31, 68, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[13368, 449, 64, 1, 30, "Input"], Cell[13435, 452, 2233, 83, 96, "Output"] }, Open ]] } ] *) (* End of internal cache information *)