(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 12.1' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 49139, 1289] NotebookOptionsPosition[ 44614, 1215] NotebookOutlinePosition[ 45043, 1232] CellTagsIndexPosition[ 45000, 1229] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[BoxData[{ StyleBox[ RowBox[{"Scotogenic", " ", "model"}], "Title"], "\[IndentingNewLine]", StyleBox[ RowBox[{ RowBox[{"SMEFT", "'"}], "2022", " ", "Physics", " ", "School"}], "Subtitle"]}], "Input", Evaluatable->False, CellChangeTimes->CompressedData[" 1:eJwdzU0ow3Ecx/GhpklI2qQRhSiZlXag2M9lKyVjSEnzlMe2eUpjLWQrHMyw AzJqh+Wp2ZpmWkz7O/yZrcmd2mH8dkDLYYT/93f49KrP5V3Uq2oZSGaxWHxm YPiSq1PMYMT7Uy+APdTUClh5ZzGDotfoHjjkrN8HazPeHOR3e5zgw/doANQ1 nhNzC6vNG4whhYg4qDYWZ+oxOnzRl4Bx1PQjZmyP65MQI4sel1wYMLIlzUrB iaC91LWMkXe3rhx0VIjnhKsY0ZoGYtVHM1atMV3ZM1Fmt4xMMp7SBaPgCG3/ 2DZiJP/yEE1nmgR3HaMyS94v2L0vFPAYg50SomdJxMk1YdRmDRFt09Yd+TtG kaifqDVv+uNZMRRetN2C/Kf8e1BaHw6A1IngEfQdSYjGe9fVQU4MzdtU12Bf mp8CpZ9KGvS5OzjsQAzZlWPEY9XDJFiDu7RgulRxA2ZXeCnQ2p8+l8pooLaI ichwciIYQ60Gdgr4D4O77Fo= "],ExpressionUUID->"2297935e-bfaa-4d42-9baa-5de369eceb1c"], Cell[CellGroupData[{ Cell["Load MME results", "Section", CellChangeTimes->{{3.86473291348685*^9, 3.864732917850452*^9}, { 3.865335056380933*^9, 3.865335057116432*^9}},ExpressionUUID->"45410912-ad03-485f-a941-\ c49128c2cab2"], Cell[BoxData[ RowBox[{ RowBox[{"<<", "\"\\""}], ";"}]], "Input",\ CellChangeTimes->{{3.864732563656657*^9, 3.8647325872401876`*^9}, 3.864741740199359*^9, {3.864749644297028*^9, 3.864749663962264*^9}, { 3.864764650624681*^9, 3.864764653801111*^9}, {3.8648397865223913`*^9, 3.864839786905417*^9}, {3.8649857189076843`*^9, 3.864985721086437*^9}, { 3.8649979415134583`*^9, 3.864997941898837*^9}, {3.864999423475325*^9, 3.864999424058571*^9}}, CellLabel->"In[1]:=",ExpressionUUID->"a8d1ede7-7c84-4aa9-914e-c763cfee10c3"], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"Matching", " ", "in", " ", "the", " ", "physical", " ", "basis"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"matching", "=", RowBox[{"MatchingResult", "[", RowBox[{"[", "3", "]"}], "]"}]}], ";"}]}]], "Input", CellChangeTimes->{{3.8647325888102818`*^9, 3.8647325903812943`*^9}, { 3.8647327082976847`*^9, 3.864732723135426*^9}, {3.864732922555519*^9, 3.864732925921604*^9}, {3.864732959727169*^9, 3.8647329644766827`*^9}, { 3.86474174165378*^9, 3.864741743113317*^9}}, CellLabel->"In[2]:=",ExpressionUUID->"40f22ef1-5416-48a8-8fe7-ecbf4192f57e"] }, Open ]], Cell[CellGroupData[{ Cell["Convert MME results to DsixTools format", "Section", CellChangeTimes->{{3.86473297263975*^9, 3.864732978229352*^9}, { 3.8651764495819902`*^9, 3.86517645902461*^9}},ExpressionUUID->"cb7292b9-219a-4ef1-ad13-\ ac2857255b3b"], Cell[CellGroupData[{ Cell["Start DsixTools", "Subsection", CellChangeTimes->{{3.865176283275*^9, 3.8651762890947113`*^9}, { 3.8671360873388443`*^9, 3.867136088123362*^9}},ExpressionUUID->"dcc78c97-9c9d-479a-a970-\ 48ff8ffdccc4"], Cell[BoxData[ RowBox[{"<<", "DsixTools`"}]], "Input", CellChangeTimes->{{3.8651626982811937`*^9, 3.86516270321132*^9}, { 3.8651923842140827`*^9, 3.865192386675009*^9}, {3.8660508398166943`*^9, 3.866050841453045*^9}, {3.867136034828142*^9, 3.8671360354518967`*^9}}, CellLabel->"In[3]:=",ExpressionUUID->"8e5e19ef-3487-4cff-9cb8-2e4aa676a4fb"] }, Open ]], Cell[CellGroupData[{ Cell["Routines", "Subsection", CellChangeTimes->{{3.8651762984249077`*^9, 3.8651763027309113`*^9}},ExpressionUUID->"bb4681e9-7482-4d04-9e59-\ 1ba583bc78c4"], Cell[BoxData[ RowBox[{ RowBox[{"MMEtoD6", "[", "a_", "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", "MMEname", "}"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CG"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaO3G"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CGtilde"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaO3Gt"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CW"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaO3W"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CWtilde"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaO3Wt"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CH"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOH"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHbox"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHBox"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHD"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHD"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHG"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHG"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHB"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHB"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHW"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHW"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHWB"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHWB"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHGtilde"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHGt"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHBtilde"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHBt"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHWtilde"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHWt"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", "CHWtildeB"}], "]"}], ",", RowBox[{"MMEname", "=", "alphaOHWBt"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CuH", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOuH", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CdH", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOdH", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CeH", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOeH", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CeW", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOeW", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CeB", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOeB", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CuG", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOuG", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CuW", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOuW", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CuB", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOuB", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CdG", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOdG", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CdW", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOdW", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CdB", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOdB", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHl1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHl1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHl3", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHl3", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHe", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHe", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHq1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHq1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHq3", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHq3", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHu", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHu", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHd", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHd", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CHud", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOHud", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cll", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOll", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqq1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqq1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqq3", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqq3", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Clq1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOlq1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Clq3", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOlq3", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cee", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOee", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cuu", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOuu", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cdd", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOdd", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Ceu", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOeu", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Ced", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOed", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cud1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOud1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cud8", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOud8", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cle", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOle", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Clu", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOlu", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cld", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOld", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqe", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqe", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqu1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqu1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqu8", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqu8", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqd1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqd1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqd8", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqd8", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cledq", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOledq", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cquqd1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOquqd1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cquqd8", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOquqd8", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Clequ1", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOlequ1", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Clequ3", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOlequ3", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"(*", " ", RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cduql", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOduql", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqque", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqque", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqqql", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOqqql", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cduue", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaOduue", "@@", "a"}]}]}], "]"}], ";"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cduql", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqque", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cqqql", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"Cduue", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", "0"}]}], "]"}], ";", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"MatchQ", "[", RowBox[{"a", ",", RowBox[{"CllHH", "[", "__", "]"}]}], "]"}], ",", RowBox[{"MMEname", "=", RowBox[{"alphaWeinberg", "@@", "a"}]}]}], "]"}], ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Return", "[", RowBox[{"MMEname", "/.", "matching"}], " ", "]"}]}]}], "\[IndentingNewLine]", "]"}]}]], "Input", CellChangeTimes->{{3.865162837974642*^9, 3.865162857788509*^9}, { 3.865162923690195*^9, 3.865162981611768*^9}, {3.865163021421595*^9, 3.865163028186305*^9}, {3.8651631913923798`*^9, 3.865163259457172*^9}, { 3.865163466269079*^9, 3.8651635627351713`*^9}, 3.8651636655020447`*^9, { 3.8651637073343973`*^9, 3.865163721577402*^9}, {3.865163935203793*^9, 3.865163939108307*^9}, {3.865163973093357*^9, 3.865163999908972*^9}, { 3.865164055123708*^9, 3.8651640600231524`*^9}, {3.865164097407146*^9, 3.8651641952906322`*^9}, {3.865164593909193*^9, 3.8651647220390577`*^9}, 3.865164831060796*^9, {3.865164998302363*^9, 3.865165008527438*^9}, 3.865165067622883*^9, 3.8651651860228167`*^9, {3.865165226697044*^9, 3.8651653661693687`*^9}, {3.865165423087351*^9, 3.865165568151991*^9}, { 3.865165612972127*^9, 3.8651657762628593`*^9}, {3.865165810492889*^9, 3.865165817701201*^9}, {3.865166320709004*^9, 3.865166628363051*^9}, { 3.865166773706481*^9, 3.8651667918791237`*^9}, {3.865179547360721*^9, 3.8651795498083057`*^9}}, CellLabel->"In[4]:=",ExpressionUUID->"2b421e9c-94b6-425e-90de-d39c72607d2f"], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{ "Routine", " ", "to", " ", "sum", " ", "over", " ", "repeated", " ", "indices"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SumRepeated", "[", "x_", "]"}], ":=", RowBox[{"Block", "[", RowBox[{ RowBox[{"{", RowBox[{"indices", ",", "list", ",", "res"}], "}"}], ",", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{ RowBox[{"indices", "=", RowBox[{"{", "}"}]}], ";", "\[IndentingNewLine]", RowBox[{"list", "=", RowBox[{"{", RowBox[{ "MIF1", ",", "MIF2", ",", "MIF3", ",", "MIF4", ",", "MIF5", ",", "fl1", ",", "fl2", ",", "fl3", ",", "fl93", ",", "fl95", ",", "fl97", ",", "fl99", ",", "mif1", ",", "mif2", ",", "mif3", ",", "mif4", ",", "mif5"}], "}"}]}], ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Do", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"MemberQ", "[", RowBox[{"x", ",", RowBox[{"list", "[", RowBox[{"[", "k", "]"}], "]"}], ",", "Infinity"}], "]"}], ",", RowBox[{"AppendTo", "[", RowBox[{"indices", ",", RowBox[{"{", RowBox[{ RowBox[{"list", "[", RowBox[{"[", "k", "]"}], "]"}], ",", "3"}], "}"}]}], "]"}]}], "]"}], ";"}], "\[IndentingNewLine]", ",", RowBox[{"{", RowBox[{"k", ",", RowBox[{"Length", "[", "list", "]"}]}], "}"}]}], "]"}], ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{"indices", "\[Equal]", RowBox[{"{", "}"}]}], ",", RowBox[{"res", "=", "x"}], ",", RowBox[{"res", "=", RowBox[{ RowBox[{ RowBox[{"Sum", "[", RowBox[{"x", ",", "##"}], "]"}], "&"}], "@@", "indices"}]}]}], "]"}], ";", "\[IndentingNewLine]", "\[IndentingNewLine]", RowBox[{"Return", "[", "res", "]"}], ";"}]}], "\[IndentingNewLine]", "]"}]}]}]], "Input", CellChangeTimes->{{3.865171646642919*^9, 3.865171701175543*^9}, { 3.865171822268341*^9, 3.86517195531339*^9}, {3.865172017648079*^9, 3.865172136749132*^9}, {3.8651731524268103`*^9, 3.8651732040648603`*^9}, { 3.8655940714304028`*^9, 3.865594123883115*^9}, {3.865594161231694*^9, 3.8655943108941803`*^9}, {3.865594345618102*^9, 3.865594427587492*^9}, { 3.8655952336447773`*^9, 3.8655952413528233`*^9}, {3.865754751232602*^9, 3.865754759555966*^9}, {3.8666502701439667`*^9, 3.866650271946602*^9}, { 3.8666510098099127`*^9, 3.8666510276039658`*^9}, {3.8666514891100883`*^9, 3.8666516662827806`*^9}, {3.866651769687827*^9, 3.8666517889569798`*^9}, { 3.866652210503859*^9, 3.866652210611136*^9}, 3.866652420403789*^9}, CellLabel->"In[5]:=",ExpressionUUID->"f2bac26a-44fa-4f2c-864b-1ee2e7db9bb6"], Cell[BoxData[{ RowBox[{ RowBox[{"lam5bar", ":=", RowBox[{"Conjugate", "[", "lam5", "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Ynu1bar", "[", "a_", "]"}], ":=", RowBox[{"Conjugate", "[", RowBox[{"Ynu1", "[", "a", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Ynu2bar", "[", "a_", "]"}], ":=", RowBox[{"Conjugate", "[", RowBox[{"Ynu2", "[", "a", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Ynu3bar", "[", "a_", "]"}], ":=", RowBox[{"Conjugate", "[", RowBox[{"Ynu3", "[", "a", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"ylbar", "[", RowBox[{"a_", ",", "b_"}], "]"}], ":=", RowBox[{"Conjugate", "[", RowBox[{"yl", "[", RowBox[{"a", ",", "b"}], "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"yubar", "[", RowBox[{"a_", ",", "b_"}], "]"}], ":=", RowBox[{"Conjugate", "[", RowBox[{"yu", "[", RowBox[{"a", ",", "b"}], "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"ydbar", "[", RowBox[{"a_", ",", "b_"}], "]"}], ":=", RowBox[{"Conjugate", "[", RowBox[{"yd", "[", RowBox[{"a", ",", "b"}], "]"}], "]"}]}], ";"}]}], "Input", CellChangeTimes->{{3.8651766851958323`*^9, 3.865176723969427*^9}}, CellLabel->"In[6]:=",ExpressionUUID->"b2cb0490-b7b7-4660-96c1-32c2f9f03251"], Cell[BoxData[ RowBox[{ RowBox[{"Ynu", "=", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0.1", ",", RowBox[{"-", "0.5"}], ",", "0.2"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "0.06"}], ",", "0.2", ",", "0.1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"-", "0.6"}], ",", "0.8", ",", "0.02"}], "}"}]}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.865167333446282*^9, 3.865167380285378*^9}}, CellLabel->"In[13]:=",ExpressionUUID->"50ec3360-75fa-47fa-bca3-1f0914cb7b0a"], Cell[BoxData[ RowBox[{ RowBox[{"Num", "=", RowBox[{"{", RowBox[{ RowBox[{"MN1", "\[Rule]", "10000"}], ",", RowBox[{"MN2", "\[Rule]", "10100"}], ",", RowBox[{"MN3", "\[Rule]", "10200"}], ",", RowBox[{"muEta", "\[Rule]", "10500"}], ",", RowBox[{"lam2", "\[Rule]", "0.1"}], ",", RowBox[{"lam3", "\[Rule]", "0.1"}], ",", RowBox[{"lam4", "\[Rule]", "0.1"}], ",", RowBox[{"lam5", "\[Rule]", RowBox[{"10", "^", RowBox[{"(", RowBox[{"-", "7"}], ")"}]}]}], ",", RowBox[{ RowBox[{"Ynu1", "[", "a_", "]"}], "\[RuleDelayed]", RowBox[{"Ynu", "[", RowBox[{"[", RowBox[{"1", ",", "a"}], "]"}], "]"}]}], ",", RowBox[{ RowBox[{"Ynu2", "[", "a_", "]"}], "\[RuleDelayed]", RowBox[{"Ynu", "[", RowBox[{"[", RowBox[{"2", ",", "a"}], "]"}], "]"}]}], ",", RowBox[{ RowBox[{"Ynu3", "[", "a_", "]"}], "\[RuleDelayed]", RowBox[{"Ynu", "[", RowBox[{"[", RowBox[{"3", ",", "a"}], "]"}], "]"}]}]}], "}"}]}], ";"}]], "Input", CellChangeTimes->{{3.865167189193462*^9, 3.865167322156209*^9}, { 3.8651673853330317`*^9, 3.865167457659737*^9}, {3.865173885822228*^9, 3.865173899980102*^9}, {3.86517476118401*^9, 3.865174830555339*^9}, { 3.865174886860921*^9, 3.865174907547945*^9}, {3.8651749536089573`*^9, 3.865175014131815*^9}, {3.8651765981011457`*^9, 3.865176598940761*^9}, { 3.865177732612644*^9, 3.8651777499943523`*^9}}, CellLabel->"In[14]:=",ExpressionUUID->"27592d9f-48df-4289-8302-af2ace73c61c"] }, Open ]], Cell[CellGroupData[{ Cell["SM values", "Subsection", CellChangeTimes->{{3.865176263592925*^9, 3.8651762680273733`*^9}},ExpressionUUID->"19352708-f2bc-4173-9891-\ 573faacc31dc"], Cell[BoxData[ RowBox[{ RowBox[{"NewInput", "[", RowBox[{ RowBox[{"{", RowBox[{"CG", "\[Rule]", "0"}], "}"}], ",", RowBox[{"HIGHSCALE", "\[Rule]", "10000"}]}], "]"}], ";"}]], "Input", CellChangeTimes->{ 3.865176048255146*^9, {3.865176220006909*^9, 3.865176221160625*^9}}, CellLabel->"In[15]:=",ExpressionUUID->"cee542a6-1c68-401c-ba0f-8c391a87c2f2"], Cell[BoxData[ RowBox[{"SMEFTRunRGEs", ";"}]], "Input", CellChangeTimes->{{3.8651760347071323`*^9, 3.865176036750306*^9}, 3.865176616881301*^9}, CellLabel->"In[16]:=",ExpressionUUID->"b1ff77dc-6e60-428b-94cf-2021b4e033e0"], Cell[BoxData[{ RowBox[{ RowBox[{"SMgauge", "=", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"g1", "\[Rule]", RowBox[{"D6run", "[", "gp", "]"}]}], ",", RowBox[{"g2", "\[Rule]", RowBox[{"D6run", "[", "g", "]"}]}], ",", RowBox[{"g3", "\[Rule]", RowBox[{"D6run", "[", "gs", "]"}]}], ",", RowBox[{"muH", "\[Rule]", RowBox[{"Sqrt", "[", RowBox[{"D6run", "[", "m2", "]"}], "]"}]}], ",", RowBox[{"lam", "\[Rule]", RowBox[{"D6run", "[", "\[Lambda]", "]"}]}]}], "}"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "HIGHSCALE"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SMHiggs", "=", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"muH", "\[Rule]", RowBox[{"Sqrt", "[", RowBox[{"D6run", "[", "m2", "]"}], "]"}]}], ",", RowBox[{"lam", "\[Rule]", RowBox[{"D6run", "[", "\[Lambda]", "]"}]}]}], "}"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "HIGHSCALE"}]}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SMGe", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"yl", "[", RowBox[{"i", ",", "j"}], "]"}], "\[Rule]", RowBox[{"D6run", "[", RowBox[{"Ge", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}]}], "/.", RowBox[{"\[Mu]", "\[Rule]", "HIGHSCALE"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "3"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SMGu", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"yu", "[", RowBox[{"i", ",", "j"}], "]"}], "\[Rule]", RowBox[{"D6run", "[", RowBox[{"Gu", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}]}], "/.", RowBox[{"\[Mu]", "\[Rule]", "HIGHSCALE"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "3"}], "}"}]}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"SMGd", "=", RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"yd", "[", RowBox[{"i", ",", "j"}], "]"}], "\[Rule]", RowBox[{"D6run", "[", RowBox[{"Gd", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}]}], "/.", RowBox[{"\[Mu]", "\[Rule]", "HIGHSCALE"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "3"}], "}"}]}], "]"}]}], ";"}]}], "Input", CellChangeTimes->{{3.8651765666588078`*^9, 3.865176569325646*^9}, { 3.865176635918028*^9, 3.8651766771496277`*^9}, {3.865176733824823*^9, 3.865176770447345*^9}, {3.865176824269361*^9, 3.86517683084725*^9}, { 3.865176894647572*^9, 3.8651769094438057`*^9}, 3.865176963750136*^9, 3.865176994795474*^9, {3.865177045722086*^9, 3.865177183852172*^9}}, CellLabel->"In[17]:=",ExpressionUUID->"b7256320-c61b-459f-8f4d-ea564a06ab83"], Cell[BoxData[ RowBox[{ RowBox[{"SM", "=", RowBox[{ RowBox[{"Join", "[", RowBox[{ "SMgauge", ",", "SMHiggs", ",", "SMGe", ",", "SMGu", ",", "SMGd"}], "]"}], "//", "Flatten"}]}], ";"}]], "Input", CellChangeTimes->{{3.865177193279845*^9, 3.865177233625766*^9}, 3.865177283668189*^9}, CellLabel->"In[22]:=",ExpressionUUID->"6012923d-65b1-4e19-91c3-3e70e2ab0b73"] }, Open ]], Cell[CellGroupData[{ Cell["Conversion", "Subsection", CellChangeTimes->{{3.8651763226478662`*^9, 3.865176325919717*^9}},ExpressionUUID->"de019577-1bf9-443e-a2c7-\ 55bf233a3d21"], Cell[BoxData[ RowBox[{ RowBox[{"tol", "=", "20"}], ";"}]], "Input", CellChangeTimes->{{3.865178352895679*^9, 3.8651783554192457`*^9}, { 3.8651784490762577`*^9, 3.8651784493389397`*^9}, {3.865178567868187*^9, 3.865178568108416*^9}, {3.865178603955702*^9, 3.865178604034943*^9}, { 3.865179575611588*^9, 3.865179575880843*^9}, 3.865195331749256*^9, { 3.865195402412125*^9, 3.8651954024405327`*^9}}, CellLabel->"In[23]:=",ExpressionUUID->"6e5febcf-90b0-4167-95fc-18b9d2729212"], Cell[BoxData[ RowBox[{ RowBox[{"D6Input", "=", RowBox[{"Chop", "[", RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"#", "\[Rule]", RowBox[{"SumRepeated", "[", RowBox[{"MMEtoD6", "[", "#", "]"}], "]"}]}], ")"}], "&"}], "/@", RowBox[{"SMEFTParametersTotal", "[", RowBox[{"[", RowBox[{"36", ";;", RowBox[{"-", "1"}]}], "]"}], "]"}]}], "/.", RowBox[{"onelooporder", "\[Rule]", "1"}]}], "/.", "Num"}], "/.", "SM"}], "]"}], ",", RowBox[{"10", "^", RowBox[{"(", RowBox[{"-", "tol"}], ")"}]}]}], "]"}]}], ";"}]], "Input", CellChangeTimes->{3.865179242896779*^9}, CellLabel->"In[24]:=",ExpressionUUID->"59f4a485-0d2c-40a4-8861-f12be2191396"], Cell[BoxData[ RowBox[{ RowBox[{"CHe", "[", RowBox[{"1", ",", "2"}], "]"}], "/.", "D6Input"}]], "Input", CellChangeTimes->{{3.8651734783721647`*^9, 3.8651734828148527`*^9}, 3.865174265723817*^9, 3.865175163299285*^9, 3.865176665252186*^9, 3.86517764957815*^9}, CellLabel->"In[25]:=",ExpressionUUID->"39ee72e5-074a-4d3e-aedb-491303bac692"], Cell[BoxData[ RowBox[{ RowBox[{"CeB", "[", RowBox[{"1", ",", "2"}], "]"}], "/.", "D6Input"}]], "Input", CellChangeTimes->{{3.865175144152709*^9, 3.8651751448772593`*^9}, { 3.8651751749155893`*^9, 3.865175179828848*^9}, 3.8651773423568087`*^9}, CellLabel->"In[26]:=",ExpressionUUID->"fb80cf5c-6023-42cf-9c6c-8057b5a746f9"], Cell[BoxData[ RowBox[{"MCllHH", "/.", "D6Input"}]], "Input", CellChangeTimes->{{3.8651784808424*^9, 3.865178491481365*^9}}, CellLabel->"In[27]:=",ExpressionUUID->"14a960ee-7f61-46aa-81ef-89a6f97eb07a"], Cell[BoxData[ RowBox[{"MCll", "/.", "D6Input"}]], "Input", CellChangeTimes->{{3.865179340040464*^9, 3.865179343842482*^9}}, CellLabel->"In[28]:=",ExpressionUUID->"c62d09b8-f28b-4184-83c1-e0e878d8a3ab"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Run DsixTools", "Section", CellChangeTimes->{{3.86473297263975*^9, 3.864732978229352*^9}, { 3.8651764495819902`*^9, 3.86517645902461*^9}, {3.8651787217338877`*^9, 3.865178722127441*^9}, {3.865335074996114*^9, 3.8653350751028547`*^9}},ExpressionUUID->"eb536bf5-25ec-401e-90ba-\ c64bde3c16aa"], Cell[BoxData[ RowBox[{"NewInput", "[", "D6Input", "]"}]], "Input", CellChangeTimes->{{3.86517874394508*^9, 3.865178747240033*^9}}, CellLabel->"In[29]:=",ExpressionUUID->"661d139b-12a2-41df-972c-dd3f3df1cf45"], Cell[BoxData[ RowBox[{"(*", " ", RowBox[{"The", " ", "error", " ", "messages", " ", "can", " ", "be", " ", RowBox[{"ignored", ":", " ", RowBox[{ "they", " ", "are", " ", "due", " ", "to", " ", "tiny", " ", "numerical", " ", "errors"}]}]}], " ", "*)"}]], "Input", CellChangeTimes->{{3.865190756557621*^9, 3.865190773527183*^9}}, CellLabel->"In[30]:=",ExpressionUUID->"973ed8d8-45f6-4a58-8a9f-4a3498bfb9bd"], Cell[BoxData[ RowBox[{"MCllHH", "/.", "InputValues"}]], "Input", CellChangeTimes->{{3.865178775251525*^9, 3.8651787792315283`*^9}}, CellLabel->"In[31]:=",ExpressionUUID->"63a19055-3ae0-497b-adec-1d6e64341313"], Cell[BoxData[ RowBox[{"MCll", "/.", "InputValues"}]], "Input", CellChangeTimes->{ 3.865179354330729*^9, {3.865180906466769*^9, 3.865180906702092*^9}, { 3.865190753329214*^9, 3.865190753899446*^9}}, CellLabel->"In[32]:=",ExpressionUUID->"d96d69f5-45fa-4e4b-ae78-30ff2858dc01"], Cell[BoxData["RunDsixTools"], "Input", CellChangeTimes->{{3.865179440546835*^9, 3.8651794473327103`*^9}, { 3.8651950519733047`*^9, 3.865195055496375*^9}, 3.865195185161148*^9, { 3.865196208904614*^9, 3.86519621136034*^9}, {3.865246364621724*^9, 3.865246369538718*^9}, {3.866036191219718*^9, 3.8660361920301857`*^9}}, CellLabel->"In[33]:=",ExpressionUUID->"bf05067f-d6d1-446f-bb51-4a53e7144864"], Cell[BoxData[{ RowBox[{ RowBox[{"D6run", "[", RowBox[{"CeB", "[", RowBox[{"1", ",", "2"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "EWSCALE"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"D6run", "[", RowBox[{"CeW", "[", RowBox[{"1", ",", "2"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "EWSCALE"}]}]}], "Input", CellChangeTimes->{{3.865179677092238*^9, 3.865179690269449*^9}, { 3.865179917460359*^9, 3.865179919994643*^9}, {3.8651800617490683`*^9, 3.865180067145894*^9}}, CellLabel->"In[34]:=",ExpressionUUID->"7349a7de-2d21-4a07-882b-1e633b55fd01"], Cell[BoxData[ RowBox[{"Table", "[", RowBox[{ RowBox[{ RowBox[{"D6run", "[", RowBox[{"Le\[Gamma]", "[", RowBox[{"i", ",", "j"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], ",", RowBox[{"{", RowBox[{"i", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", "3"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.865191667193111*^9, 3.8651916862137737`*^9}}, CellLabel->"In[36]:=",ExpressionUUID->"f843538e-65c1-4b2e-9624-431ea05f65a7"], Cell[BoxData[{ RowBox[{ RowBox[{"D6run", "[", "eQED", "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"D6run", "[", "gQCD", "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"D6run", "[", RowBox[{"LeeVLL", "[", RowBox[{"1", ",", "1", ",", "1", ",", "1"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"D6run", "[", RowBox[{"LuuS1RR", "[", RowBox[{"1", ",", "1", ",", "1", ",", "1"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"D6run", "[", RowBox[{"Le\[Gamma]", "[", RowBox[{"2", ",", "2"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}]}], "Input", CellChangeTimes->{{3.865191270118556*^9, 3.865191270936863*^9}, { 3.8651916036534243`*^9, 3.865191647707333*^9}}, CellLabel->"In[37]:=",ExpressionUUID->"37b9b6ab-9a35-4dea-9e12-f9fef81350a4"], Cell[BoxData[ RowBox[{ RowBox[{"D6run", "[", "MM\[Nu]", "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE", " "}]}]], "Input", CellChangeTimes->{{3.865196359252306*^9, 3.865196373557097*^9}, { 3.8651965316279078`*^9, 3.865196536208356*^9}, 3.86524741733648*^9}, CellLabel->"In[42]:=",ExpressionUUID->"ec423a0a-d774-430f-a2c6-955f4eeaecc2"] }, Open ]], Cell[CellGroupData[{ Cell["Observables", "Section", CellChangeTimes->{{3.865180202519397*^9, 3.8651802076024523`*^9}},ExpressionUUID->"3f687ce7-b513-43e4-b40c-\ ff21ae9b2620"], Cell[BoxData[{ RowBox[{ RowBox[{"m\[Mu]", "=", RowBox[{"0.10566", " ", "GeV"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"\[Tau]\[Mu]", "=", RowBox[{"2.197", "*", RowBox[{"10", "^", RowBox[{"(", RowBox[{"-", "6"}], ")"}]}], "s"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"conv", "=", RowBox[{"6.58", "*", RowBox[{"10", "^", RowBox[{"(", RowBox[{"-", "25"}], ")"}]}], "s", " ", "GeV"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"\[CapitalGamma]\[Mu]", "=", RowBox[{ RowBox[{"1", "/", "\[Tau]\[Mu]"}], "*", "conv"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"L12", "=", RowBox[{ RowBox[{"Abs", "[", RowBox[{ RowBox[{"D6run", "[", RowBox[{"Le\[Gamma]", "[", RowBox[{"1", ",", "2"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], "]"}], "/", "GeV"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"L21", "=", RowBox[{ RowBox[{"Abs", "[", RowBox[{ RowBox[{"D6run", "[", RowBox[{"Le\[Gamma]", "[", RowBox[{"2", ",", "1"}], "]"}], "]"}], "/.", RowBox[{"\[Mu]", "\[Rule]", "LOWSCALE"}]}], "]"}], "/", "GeV"}]}], ";"}]}], "Input", CellChangeTimes->{{3.865180420787674*^9, 3.86518042102781*^9}, { 3.8651804906557713`*^9, 3.865180500658853*^9}, {3.865180750349464*^9, 3.865180760717971*^9}, {3.865180835439288*^9, 3.86518084120532*^9}, { 3.86518113981544*^9, 3.865181201808784*^9}, {3.865181394130911*^9, 3.865181395039653*^9}, {3.86518155427094*^9, 3.865181567755674*^9}, { 3.86519104191261*^9, 3.8651911114275227`*^9}, {3.865195082466715*^9, 3.865195090126296*^9}}, CellLabel->"In[43]:=",ExpressionUUID->"4fc62825-7dd0-4a5a-a649-2163a516e97c"], Cell[BoxData[{"L12", "\[IndentingNewLine]", "L21"}], "Input", CellChangeTimes->{{3.8653471845699778`*^9, 3.865347188010221*^9}}, CellLabel->"In[49]:=",ExpressionUUID->"bdb17bfc-a72e-420e-bddc-0a62bcfbd84b"], Cell[BoxData[ RowBox[{"BRMEG", "=", RowBox[{ RowBox[{ RowBox[{"m\[Mu]", "^", "3"}], "/", RowBox[{"(", RowBox[{"4", "Pi", " ", "\[CapitalGamma]\[Mu]"}], ")"}]}], RowBox[{"(", RowBox[{ RowBox[{"L12", "^", "2"}], "+", RowBox[{"L21", "^", "2"}]}], ")"}]}]}]], "Input", CellChangeTimes->{{3.865180210868349*^9, 3.86518021442143*^9}, { 3.8651802569585333`*^9, 3.865180322571829*^9}, {3.865180419675194*^9, 3.865180422802207*^9}, 3.8651910541905537`*^9, 3.865191124473591*^9}, CellLabel->"In[51]:=",ExpressionUUID->"aa41fa2e-4873-43d8-8b5c-c06c3c1f57a2"], Cell[CellGroupData[{ Cell["Export to WCxf output file", "Subsection", CellChangeTimes->{{3.867136158541206*^9, 3.867136168365425*^9}},ExpressionUUID->"306b3f60-c777-474d-b717-\ 6d56be6add77"], Cell[BoxData[ RowBox[{"LEFTrunnerExport", "[", RowBox[{"\"\\"", ",", "\"\\""}], "]"}]], "Input", CellChangeTimes->{{3.8653542362959833`*^9, 3.865354245870448*^9}, { 3.8653543937858963`*^9, 3.865354401783852*^9}, {3.8653548734578037`*^9, 3.865354877727689*^9}, 3.865355354209396*^9, {3.865355899177661*^9, 3.865355899640559*^9}, {3.8655255077469797`*^9, 3.8655255080222187`*^9}, { 3.8655261633921328`*^9, 3.86552616440738*^9}}, CellLabel->"In[52]:=",ExpressionUUID->"5d8444fb-486d-4962-97b5-ae13a75d957b"] }, Open ]] }, Open ]] }, WindowSize->{1386, 762}, WindowMargins->{{Automatic, 0}, {0, Automatic}}, TaggingRules->{"TryRealOnly" -> False}, FrontEndVersion->"12.1 for Linux x86 (64-bit) (June 19, 2020)", StyleDefinitions->"Default.nb", ExpressionUUID->"4270c9f0-7074-4d80-86d7-f5a493463513" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[558, 20, 851, 19, 87, "Input",ExpressionUUID->"2297935e-bfaa-4d42-9baa-5de369eceb1c", Evaluatable->False], Cell[CellGroupData[{ Cell[1434, 43, 209, 4, 68, "Section",ExpressionUUID->"45410912-ad03-485f-a941-c49128c2cab2"], Cell[1646, 49, 574, 10, 29, "Input",ExpressionUUID->"a8d1ede7-7c84-4aa9-914e-c763cfee10c3"], Cell[2223, 61, 643, 13, 51, "Input",ExpressionUUID->"40f22ef1-5416-48a8-8fe7-ecbf4192f57e"] }, Open ]], Cell[CellGroupData[{ Cell[2903, 79, 233, 4, 68, "Section",ExpressionUUID->"cb7292b9-219a-4ef1-ad13-ac2857255b3b"], Cell[CellGroupData[{ Cell[3161, 87, 213, 4, 54, "Subsection",ExpressionUUID->"dcc78c97-9c9d-479a-a970-48ff8ffdccc4"], Cell[3377, 93, 349, 5, 29, "Input",ExpressionUUID->"8e5e19ef-3487-4cff-9cb8-2e4aa676a4fb"] }, Open ]], Cell[CellGroupData[{ Cell[3763, 103, 160, 3, 54, "Subsection",ExpressionUUID->"bb4681e9-7482-4d04-9e59-1ba583bc78c4"], Cell[3926, 108, 19196, 533, 1494, "Input",ExpressionUUID->"2b421e9c-94b6-425e-90de-d39c72607d2f"], Cell[23125, 643, 3013, 67, 298, "Input",ExpressionUUID->"f2bac26a-44fa-4f2c-864b-1ee2e7db9bb6"], Cell[26141, 712, 1456, 41, 154, "Input",ExpressionUUID->"b2cb0490-b7b7-4660-96c1-32c2f9f03251"], Cell[27600, 755, 554, 16, 29, "Input",ExpressionUUID->"50ec3360-75fa-47fa-bca3-1f0914cb7b0a"], Cell[28157, 773, 1575, 37, 51, "Input",ExpressionUUID->"27592d9f-48df-4289-8302-af2ace73c61c"] }, Open ]], Cell[CellGroupData[{ Cell[29769, 815, 159, 3, 54, "Subsection",ExpressionUUID->"19352708-f2bc-4173-9891-573faacc31dc"], Cell[29931, 820, 374, 9, 29, "Input",ExpressionUUID->"cee542a6-1c68-401c-ba0f-8c391a87c2f2"], Cell[30308, 831, 228, 4, 29, "Input",ExpressionUUID->"b1ff77dc-6e60-428b-94cf-2021b4e033e0"], Cell[30539, 837, 3003, 84, 113, "Input",ExpressionUUID->"b7256320-c61b-459f-8f4d-ea564a06ab83"], Cell[33545, 923, 392, 10, 29, "Input",ExpressionUUID->"6012923d-65b1-4e19-91c3-3e70e2ab0b73"] }, Open ]], Cell[CellGroupData[{ Cell[33974, 938, 160, 3, 54, "Subsection",ExpressionUUID->"de019577-1bf9-443e-a2c7-55bf233a3d21"], Cell[34137, 943, 491, 8, 29, "Input",ExpressionUUID->"6e5febcf-90b0-4167-95fc-18b9d2729212"], Cell[34631, 953, 887, 25, 29, "Input",ExpressionUUID->"59f4a485-0d2c-40a4-8861-f12be2191396"], Cell[35521, 980, 354, 7, 29, "Input",ExpressionUUID->"39ee72e5-074a-4d3e-aedb-491303bac692"], Cell[35878, 989, 333, 6, 29, "Input",ExpressionUUID->"fb80cf5c-6023-42cf-9c6c-8057b5a746f9"], Cell[36214, 997, 204, 3, 29, "Input",ExpressionUUID->"14a960ee-7f61-46aa-81ef-89a6f97eb07a"], Cell[36421, 1002, 204, 3, 29, "Input",ExpressionUUID->"c62d09b8-f28b-4184-83c1-e0e878d8a3ab"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[36674, 1011, 306, 5, 68, "Section",ExpressionUUID->"eb536bf5-25ec-401e-90ba-c64bde3c16aa"], Cell[36983, 1018, 211, 3, 29, "Input",ExpressionUUID->"661d139b-12a2-41df-972c-dd3f3df1cf45"], Cell[37197, 1023, 430, 8, 29, "Input",ExpressionUUID->"973ed8d8-45f6-4a58-8a9f-4a3498bfb9bd"], Cell[37630, 1033, 212, 3, 29, "Input",ExpressionUUID->"63a19055-3ae0-497b-adec-1d6e64341313"], Cell[37845, 1038, 283, 5, 29, "Input",ExpressionUUID->"d96d69f5-45fa-4e4b-ae78-30ff2858dc01"], Cell[38131, 1045, 406, 5, 29, "Input",ExpressionUUID->"bf05067f-d6d1-446f-bb51-4a53e7144864"], Cell[38540, 1052, 602, 14, 51, "Input",ExpressionUUID->"7349a7de-2d21-4a07-882b-1e633b55fd01"], Cell[39145, 1068, 504, 13, 29, "Input",ExpressionUUID->"f843538e-65c1-4b2e-9624-431ea05f65a7"], Cell[39652, 1083, 1040, 24, 113, "Input",ExpressionUUID->"37b9b6ab-9a35-4dea-9e12-f9fef81350a4"], Cell[40695, 1109, 351, 6, 29, "Input",ExpressionUUID->"ec423a0a-d774-430f-a2c6-955f4eeaecc2"] }, Open ]], Cell[CellGroupData[{ Cell[41083, 1120, 158, 3, 68, "Section",ExpressionUUID->"3f687ce7-b513-43e4-b40c-ff21ae9b2620"], Cell[41244, 1125, 1784, 49, 133, "Input",ExpressionUUID->"4fc62825-7dd0-4a5a-a649-2163a516e97c"], Cell[43031, 1176, 208, 2, 51, "Input",ExpressionUUID->"bdb17bfc-a72e-420e-bddc-0a62bcfbd84b"], Cell[43242, 1180, 598, 14, 31, "Input",ExpressionUUID->"aa41fa2e-4873-43d8-8b5c-c06c3c1f57a2"], Cell[CellGroupData[{ Cell[43865, 1198, 174, 3, 54, "Subsection",ExpressionUUID->"306b3f60-c777-474d-b717-6d56be6add77"], Cell[44042, 1203, 544, 8, 29, "Input",ExpressionUUID->"5d8444fb-486d-4962-97b5-ae13a75d957b"] }, Open ]] }, Open ]] } ] *)