(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     50325,       1153]
NotebookOptionsPosition[     43210,       1053]
NotebookOutlinePosition[     43672,       1071]
CellTagsIndexPosition[     43629,       1068]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[{
 StyleBox["DsixTools", "Title"], "\[IndentingNewLine]", 
 StyleBox[
  RowBox[{"SMEFT", "-", 
   RowBox[{"Tools", " ", "2022"}]}], "Chapter"], "\[IndentingNewLine]", 
 StyleBox[
  RowBox[{"Avelino", " ", "Vicente"}], "Subtitle"]}], "Input",
 Evaluatable->False,
 CellChangeTimes->CompressedData["
1:eJwdzU8ow2Ecx/HNQZEQYmlEIWqZlXagbI/LVkqmISUNDW2yMdJYQqZwMH/a
AdnUDsvQjzUxFtNG/WymScmJchjPDraWA8Lv+xw+vepzeRd3a5qVSSwWi8sM
DJ/mTirGMMr7006DXf6RBbDyxmIGhW+RLbDfKbKCtenvh+Q/djvB2291EJxs
OCJyiqrNq4x3CiGxT2sqyTBitPNiLAUTqPFHzNiaMLIRI4sekpzMYWRnj0vB
4RBV5prHyLNZVwEe8sQTgkWMaH09sSrWhDVLTFf2TJRRFpWOcZ8uVIMqmoqt
mzCSf7qJKwf6r9xljMot+b9gp1XAz2MMtUuI7llhCmcFoxbbHdE+atuQf2D0
GvERDeY1XyIzisIz9iuQ+1AQAKWicBD07/HvQa9DQjQFXOfbOVE0ZddcgD2p
Pj8ojQ/SoPe4LSU5GEXU4ABxV3OrA2twhwFMkyouwSyexw/2Ohp+qccouo5n
Jx0wPnGD6WBMeZYD/gOuge5N
  
  "],ExpressionUUID->"1c85dbd5-1569-45ba-b218-76c77bec20e6"],

Cell[CellGroupData[{

Cell["Start DsixTools", "Section",
 Evaluatable->False,
 CellChangeTimes->{{3.686467940463894*^9, 3.686467960453517*^9}, 
   3.686469580779161*^9, {3.6936400185291033`*^9, 3.693640019013015*^9}, {
   3.6990824216357803`*^9, 3.699082443019319*^9}, {3.699085905044036*^9, 
   3.6990859076625643`*^9}},ExpressionUUID->"80af6746-384e-42a6-bed8-\
95c3d042fb0e"],

Cell[BoxData[
 RowBox[{"<<", "DsixTools`"}]], "Input",
 CellChangeTimes->{{3.699693283977923*^9, 3.699693296507635*^9}, {
   3.699693367270563*^9, 3.699693378529723*^9}, {3.699693421668963*^9, 
   3.6996934412593*^9}, {3.699693583161203*^9, 3.699693650426964*^9}, {
   3.699693805423753*^9, 3.699693805516436*^9}, {3.699695808538478*^9, 
   3.699695808649268*^9}, {3.6997056047442503`*^9, 3.699705604831457*^9}, {
   3.699706045784521*^9, 3.699706046184491*^9}, {3.69997368681741*^9, 
   3.699973691051989*^9}, {3.699973741718142*^9, 3.699973743947064*^9}, 
   3.70047437538731*^9, {3.700904696536241*^9, 3.700904707081143*^9}, {
   3.701282937902*^9, 3.70128293804503*^9}, {3.708248313689727*^9, 
   3.7082483142732773`*^9}, {3.70824837911511*^9, 3.70824841437922*^9}, {
   3.708248481610223*^9, 3.708248497463461*^9}, {3.708248583597683*^9, 
   3.708248611149929*^9}, 3.708248661654601*^9, {3.7082505905147247`*^9, 
   3.708250602304511*^9}, {3.708250639400168*^9, 3.708250701552355*^9}, {
   3.766999196371148*^9, 3.766999199237472*^9}, {3.766999418544003*^9, 
   3.766999418880344*^9}, {3.865588413030912*^9, 3.8655884154357224`*^9}, {
   3.86613028934282*^9, 3.866130291489286*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"863808b4-3d05-4f80-8afd-8b0a0ce06132"]
}, Open  ]],

Cell[CellGroupData[{

Cell["User-friendly SMEFT & LEFT information", "Section",
 CellChangeTimes->{{3.7669863297181997`*^9, 3.76698633331739*^9}, {
  3.766986395921605*^9, 3.76698639990829*^9}, {3.766994129581229*^9, 
  3.766994129998157*^9}, {3.768914926485252*^9, 
  3.768914965603054*^9}},ExpressionUUID->"55ce3f0e-de80-4682-ada3-\
da0da3a7660b"],

Cell[BoxData[
 RowBox[{"ObjectInfo", "[", "CHG", "]"}]], "Input",
 CellChangeTimes->{{3.866134595020805*^9, 3.866134597070744*^9}},
 CellLabel->"In[2]:=",ExpressionUUID->"4849569e-d53f-43b3-94ae-65a9c8310dc1"],

Cell[BoxData[
 RowBox[{"ObjectInfo", "[", "CHl1", "]"}]], "Input",
 CellChangeTimes->{{3.8655894852885838`*^9, 3.865589485762192*^9}, {
  3.86558953588983*^9, 3.865589539210677*^9}},
 CellLabel->"In[3]:=",ExpressionUUID->"303408dc-e200-40d9-aed8-f4b753e7f7c1"],

Cell[BoxData[
 RowBox[{"ObjectInfo", "[", "Clq1", "]"}]], "Input",
 CellChangeTimes->{{3.7689149674281187`*^9, 3.768914968450233*^9}, {
  3.768928322895307*^9, 3.768928336218364*^9}, {3.865588424209671*^9, 
  3.8655884247951727`*^9}, {3.8655887287163143`*^9, 3.865588730026779*^9}},
 CellLabel->"In[4]:=",ExpressionUUID->"d7615b79-fbf3-429a-b0a5-a5df6c52bafb"],

Cell[BoxData[
 RowBox[{"ObjectInfo", "[", "LG", "]"}]], "Input",
 CellChangeTimes->{{3.7689149674281187`*^9, 3.768914968450233*^9}, {
   3.768928322895307*^9, 3.768928349185602*^9}, {3.865588429151741*^9, 
   3.865588434712288*^9}, 3.8655887330254383`*^9, {3.865589466632187*^9, 
   3.865589467393239*^9}},
 CellLabel->"In[5]:=",ExpressionUUID->"30640da2-0782-4371-9b0a-4b595d13201d"],

Cell[BoxData[
 RowBox[{"ObjectInfo", "[", "L\[Nu]\[Nu]SLL", "]"}]], "Input",
 CellChangeTimes->{{3.8655895789703903`*^9, 3.865589581304185*^9}},
 CellLabel->"In[6]:=",ExpressionUUID->"12aa1448-b2ae-45f4-b52d-67d9e235142c"],

Cell[BoxData["SMEFTOperatorsGrid"], "Input",
 CellChangeTimes->{{3.866047683426553*^9, 3.866047696656088*^9}},
 CellLabel->"In[7]:=",ExpressionUUID->"859dc339-3316-49e7-a858-af1360209ee7"],

Cell[BoxData["LEFTOperatorsMenu"], "Input",
 CellChangeTimes->{{3.866047713151403*^9, 3.866047715526853*^9}, {
  3.866048021690219*^9, 3.866048022127625*^9}},
 CellLabel->"In[8]:=",ExpressionUUID->"0a4ede11-19d8-4fdb-833f-a7f9f48d97a4"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Introducing input values", "Section",
 CellChangeTimes->{{3.7669863297181997`*^9, 3.76698633331739*^9}, {
  3.766986395921605*^9, 3.76698639990829*^9}, {3.7689136229400797`*^9, 
  3.7689136246250887`*^9}},ExpressionUUID->"1f86db78-40b9-45ac-a891-\
6564b15bd187"],

Cell[TextData[{
 StyleBox["In ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["DsixTools",
  FontSize->18,
  FontColor->RGBColor[0, 0, 1],
  Background->None],
 StyleBox[", the input values for the parameters of the effective theory at \
work (SMEFT or LEFT) are stored as replacement rules in a dispatch variable \
called ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["Input Values",
  FontSize->18,
  FontWeight->"Bold",
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox[".",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None]
}], "Text",
 CellChangeTimes->{{3.766986458621125*^9, 3.766986480811357*^9}, {
  3.766986572646778*^9, 3.766986759367234*^9}, {3.7669871627960043`*^9, 
  3.766987165578465*^9}, {3.766998870952428*^9, 3.766998871156941*^9}, {
  3.768913786891047*^9, 3.768913787048026*^9}, {3.865588795882143*^9, 
  3.86558880266354*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"671992f2-d71f-4fe0-b4a5-f569e3a87b62"],

Cell[TextData[{
 "There are two methods to introduce input values in ",
 StyleBox["DsixTools",
  FontColor->RGBColor[0, 0, 1]],
 ": With the ",
 StyleBox["NewInput",
  FontWeight->"Bold"],
 " routine or from a file. Let us focus on the first case. In this case the \
user loads the input values directly in the notebook. Only the non-zero \
Wilson coefficients must be given. The rest will be assumed to vanish."
}], "Text",
 CellChangeTimes->{{3.766986911631728*^9, 3.7669869779437227`*^9}, {
   3.766987191827376*^9, 3.7669872353188477`*^9}, {3.7669872690801983`*^9, 
   3.76698745687743*^9}, 3.7669876724099407`*^9, 3.766987727142459*^9, {
   3.768914040106789*^9, 3.768914069754035*^9}, {3.8655896236698017`*^9, 
   3.86558962390898*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"a1950661-126e-42bc-95f9-c5831d758ca1"],

Cell[TextData[{
 "Let us show an example with ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    SubscriptBox["C", "lq"], 
    RowBox[{"(", "1", ")"}]], TraditionalForm]],ExpressionUUID->
  "52f53fc0-65fc-4596-93b0-e77eea47b50c"],
 "[1,1,1,2] = ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    SubscriptBox["C", "lq"], 
    RowBox[{"(", "1", ")"}]], TraditionalForm]],ExpressionUUID->
  "034e082d-d9fe-4984-8bfc-2e788f9c51d8"],
 "[1,1,2,1] = 1 and ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["C", "HBtilde"], TraditionalForm]],ExpressionUUID->
  "6679906e-3dba-475d-b9d9-ce05f89895f3"],
 " = -0.5"
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992104939149*^9, 3.7669921295660686`*^9}, {
   3.766992183796858*^9, 3.766992188627717*^9}, {3.76699233574375*^9, 
   3.766992352282154*^9}, 3.766992799382238*^9, {3.767344077837455*^9, 
   3.76734407845041*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"a2108170-8b7e-4e9a-a80b-6bd06f5a2b2d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"NewInput", "[", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"Clq1", "[", 
       RowBox[{"1", ",", "1", ",", "1", ",", "2"}], "]"}], "\[Rule]", "1"}], 
     ",", 
     RowBox[{
      RowBox[{"Clq1", "[", 
       RowBox[{"1", ",", "1", ",", "2", ",", "1"}], "]"}], "\[Rule]", "1"}], 
     ",", 
     RowBox[{"CHBtilde", "\[Rule]", 
      RowBox[{"-", "0.5"}]}]}], "}"}], "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.766992192309717*^9, 3.766992199297955*^9}, {
   3.76699225526026*^9, 3.76699230841219*^9}, {3.766992748425928*^9, 
   3.766992766853602*^9}, {3.7673440712621813`*^9, 3.767344075948963*^9}, {
   3.768914487111041*^9, 3.768914492238695*^9}, 3.865588827383791*^9, {
   3.8655896329146633`*^9, 3.86558963890382*^9}},
 CellLabel->"In[9]:=",ExpressionUUID->"23f4e37c-d8c5-4712-a3fd-ce95b743f14f"],

Cell["We can now see the result:", "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, {
  3.766987741441463*^9, 3.766987744827812*^9}, {3.7669899608855886`*^9, 
  3.766989973974433*^9}, {3.766993059810625*^9, 3.766993078700955*^9}, {
  3.7689140947739353`*^9, 3.7689141013072557`*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"3f87407d-dc19-4d82-ac3f-6e2bc58df6bb"],

Cell[TextData[Cell[BoxData[
 FormBox[
  SubscriptBox["C", "HBtilde"], 
  TraditionalForm]],ExpressionUUID->"cfe3c9bc-2e39-49b6-ac3c-42ec6c23f57f"]], \
"Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, {
  3.766987741441463*^9, 3.766987744827812*^9}, {3.7669899608855886`*^9, 
  3.766989973974433*^9}, {3.766990811165653*^9, 3.7669908431034603`*^9}, {
  3.767344050598279*^9, 3.767344051449019*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"d4cf7798-d6be-4517-972e-180900e1fdbd"],

Cell[BoxData[
 RowBox[{"CHBtilde", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{{3.759145845236823*^9, 3.759145873159203*^9}, 
   3.759145910244474*^9, {3.7645062505392857`*^9, 3.76450625386369*^9}, {
   3.766987748980042*^9, 3.76698774921404*^9}, {3.767344045536512*^9, 
   3.767344046063035*^9}, {3.8655888306636133`*^9, 3.8655888353668756`*^9}},
 CellLabel->"In[10]:=",ExpressionUUID->"616b004c-2a59-4ffa-82fb-7a842bbdb75f"],

Cell[TextData[Cell[BoxData[
 FormBox[
  SuperscriptBox[
   SubscriptBox["C", "lq"], 
   RowBox[{"(", "1", ")"}]], 
  TraditionalForm]],ExpressionUUID->"5aa99d0e-cadf-4eec-9919-61c6b2bb7c22"]], \
"Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, {
  3.766987741441463*^9, 3.766987744827812*^9}, {3.7669899608855886`*^9, 
  3.766989973974433*^9}, {3.766990811165653*^9, 3.7669908431034603`*^9}, {
  3.766990927899529*^9, 3.76699093531253*^9}, {3.7669910145972013`*^9, 
  3.76699102371996*^9}, {3.766991210411605*^9, 3.7669912139326773`*^9}, {
  3.7669912636361427`*^9, 3.766991264256855*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"2bef411e-3a7c-4c3d-b193-4badf9cb16fa"],

Cell[BoxData[
 RowBox[{"MClq1", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{3.865588841313339*^9, 3.8655896969401007`*^9},
 CellLabel->"In[11]:=",ExpressionUUID->"29a68159-926b-4b67-b1ae-9eb27db1f425"],

Cell[TextData[{
 "One can also check individual elements in Wilson coefficients with flavor \
indices: ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    SubscriptBox["C", "lq"], 
    RowBox[{"(", "1", ")"}]], TraditionalForm]],ExpressionUUID->
  "265ee0d9-6114-4e04-899c-899154238052"],
 "[1,1,1,2]"
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, {
  3.766987741441463*^9, 3.766987744827812*^9}, {3.7669899608855886`*^9, 
  3.766989973974433*^9}, {3.766990811165653*^9, 3.7669908431034603`*^9}, {
  3.766990927899529*^9, 3.76699093531253*^9}, {3.7669910145972013`*^9, 
  3.76699102371996*^9}, {3.766991210411605*^9, 3.7669912139326773`*^9}, {
  3.7669912636361427`*^9, 3.766991264256855*^9}, {3.76699142512612*^9, 
  3.766991505021515*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"24178520-ea32-49c7-8817-dc90de97ff7f"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Clq1", "[", 
   RowBox[{"1", ",", "1", ",", "1", ",", "2"}], "]"}], "/.", 
  "InputValues"}]], "Input",
 CellChangeTimes->{{3.764503006592862*^9, 3.764503015762192*^9}, {
   3.764504791232254*^9, 3.764504795832423*^9}, {3.764506209933177*^9, 
   3.7645062126237907`*^9}, {3.766991492568638*^9, 3.766991495311778*^9}, {
   3.766998621309928*^9, 3.7669986220325327`*^9}, 3.767344066991839*^9, {
   3.8655888424782867`*^9, 3.865588846012586*^9}},
 CellLabel->"In[12]:=",ExpressionUUID->"5a003047-e227-4c1c-81c1-108383418dd2"],

Cell["\<\
We can also check that the rest of Wilson coefficients vanish.\
\>", "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"38a0890b-9191-4b4c-aced-c44f0149a578"],

Cell[BoxData[
 RowBox[{"MCllHH", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{{3.767344114402183*^9, 3.7673441158907137`*^9}, 
   3.865589335928197*^9, 3.8655898902660837`*^9},
 CellLabel->"In[13]:=",ExpressionUUID->"ac43a0f7-b880-4632-84cf-fd5af18bac8a"],

Cell[BoxData[
 RowBox[{"MCdd", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{{3.7669925061267443`*^9, 3.766992535436698*^9}, 
   3.768914132850678*^9, {3.768914221539098*^9, 3.7689142216744003`*^9}, 
   3.865589336789352*^9, 3.865589893134688*^9},
 CellLabel->"In[14]:=",ExpressionUUID->"9ee7c61c-064c-4074-95f5-3160b5fa134c"],

Cell[TextData[{
 "The user may also give an invalid input using ",
 StyleBox["NewInput",
  FontWeight->"Bold"],
 ". In this case ",
 StyleBox["DsixTools",
  FontColor->RGBColor[0, 0, 1]],
 " will correct the input and save a valid set of input values."
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.766992606449501*^9, 
   3.7669926408808603`*^9}, {3.766992672913631*^9, 3.766992693700796*^9}, {
   3.767029138729056*^9, 3.767029139061654*^9}, 3.768914030848466*^9},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"9f2397a8-5000-4900-bf47-adf3aa4697a4"],

Cell[BoxData[
 RowBox[{
  RowBox[{"NewInput", "[", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      RowBox[{"Clq1", "[", 
       RowBox[{"1", ",", "1", ",", "1", ",", "2"}], "]"}], "\[Rule]", "1"}], 
     ",", 
     RowBox[{"CHBtilde", "\[Rule]", 
      RowBox[{"-", "0.5"}]}]}], "}"}], "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.766992726638359*^9, 3.7669927428275414`*^9}, {
   3.766992793794608*^9, 3.7669927939255037`*^9}, {3.767344120276413*^9, 
   3.767344123055035*^9}, 3.865588863816255*^9, {3.8655897229202833`*^9, 
   3.865589723387813*^9}},
 CellLabel->"In[15]:=",ExpressionUUID->"1e746bb2-d286-4428-b823-e217332026cf"],

Cell[TextData[{
 "We see that a warning message has been produced by ",
 StyleBox["DsixTools",
  FontColor->RGBColor[0, 0, 1]],
 ". This is because the Wilson coefficients provided by the user lead to an \
invalid set of input values. There are two possible reasons for this:\n\n1) \
",
 StyleBox["Non-Hermiticity errors",
  FontVariations->{"Underline"->True}],
 ": Some Wilson coefficients are related due to the Hermiticity of the \
Lagrangian. For instance ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    SubscriptBox["C", "lq"], 
    RowBox[{"(", "1", ")"}]], TraditionalForm]],ExpressionUUID->
  "4fa6ab81-346b-4877-92dc-43d3fa465ff4"],
 "[1,1,1,2] = ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    SubscriptBox["C", "lq"], 
    RowBox[{"(", "1", ")"}]], TraditionalForm]],ExpressionUUID->
  "9990aad1-1da4-4e48-9a69-78a557b77511"],
 "[1,1,2,1] * must necessarily hold.\n2) ",
 StyleBox["Antisymmetry errors",
  FontVariations->{"Underline"->True}],
 ": Some Wilson coefficients are antisymmetric under the exchange of two \
flavor indices. For instance ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["L", "\[Nu]\[Gamma]"], TraditionalForm]],ExpressionUUID->
  "c14f5262-0baf-4810-9230-0c2ca024bf00"],
 "[1,1] = 0 must necessarily hold.\n\nWhen the user\[CloseCurlyQuote]s input \
is not consistent with any of these restrictions, a warning is issued and ",
 StyleBox["DsixTools",
  FontColor->RGBColor[0, 0, 1]],
 " corrects the input by replacing it by a new one that ensures a complete \
consistency of the Lagrangian. The list of invalid input values can be seen \
by clicking on the button ",
 StyleBox["Input errors",
  FontWeight->"Bold"],
 ". We note however that in some cases other Wilson coefficients, related to \
these by the two reasons given above, are also modified."
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, {
   3.766993001880392*^9, 3.766993002074834*^9}, {3.766993139780293*^9, 
   3.766993221981073*^9}, {3.766993316123217*^9, 3.766993422538176*^9}, {
   3.7669934888241796`*^9, 3.766993523482161*^9}, {3.766993565074419*^9, 
   3.766993657205092*^9}, {3.766993692784401*^9, 3.7669939410515127`*^9}, {
   3.766998944467461*^9, 3.766998983266027*^9}, {3.7670290480927343`*^9, 
   3.767029048555543*^9}, {3.7689335900179996`*^9, 3.768933590084455*^9}, 
   3.8655888797240868`*^9},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"a5453a64-5a91-4f64-98a3-4dd9baa50013"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"Clq1", "[", 
   RowBox[{"1", ",", "1", ",", "1", ",", "2"}], "]"}], "/.", 
  "InputValues"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"Clq1", "[", 
   RowBox[{"1", ",", "1", ",", "2", ",", "1"}], "]"}], "/.", 
  "InputValues"}], "\[IndentingNewLine]", 
 RowBox[{"CHBtilde", "/.", "InputValues"}]}], "Input",
 CellChangeTimes->{{3.7669923683328047`*^9, 3.7669923778733664`*^9}, {
  3.7669924164000607`*^9, 3.76699241723977*^9}, {3.7673441249357147`*^9, 
  3.767344128851818*^9}, {3.865588894040049*^9, 3.865588899701076*^9}},
 CellLabel->"In[16]:=",ExpressionUUID->"873a682e-1d2d-43b3-b0fb-96f4f2d91d9c"]
}, Open  ]],

Cell[CellGroupData[{

Cell["How to change input values", "Section",
 CellChangeTimes->{{3.7669863297181997`*^9, 3.76698633331739*^9}, {
  3.766986395921605*^9, 3.76698639990829*^9}, {3.766994129581229*^9, 
  3.766994129998157*^9}},ExpressionUUID->"35776110-bc1d-4005-8640-\
3deec2ea4b3d"],

Cell[TextData[{
 "Once the input values have been set, the user can change them individually \
at any moment in the notebook. This is done with the ",
 StyleBox["ChangeInput",
  FontWeight->"Bold"],
 " routine."
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.7670294439771023`*^9, 3.7670294462100973`*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"ea5ac39d-ff54-4c6c-8f3c-b2a3067e7703"],

Cell["We can see some examples:", "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.766994453501418*^9, 3.766994456442659*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"e81de9aa-6b43-46da-bf5f-77436c4db0aa"],

Cell[BoxData[
 RowBox[{"ChangeInput", "[", 
  RowBox[{"{", 
   RowBox[{"CHBtilde", "\[Rule]", "0.6"}], "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.766994475461074*^9, 3.7669944908024178`*^9}, {
  3.767344135025202*^9, 3.76734413549509*^9}},
 CellLabel->"In[19]:=",ExpressionUUID->"241cf197-7511-45c4-8cab-dd27e84075f2"],

Cell[BoxData[
 RowBox[{"CHBtilde", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{{3.7669944978107758`*^9, 3.7669944988143263`*^9}, {
   3.767344137554194*^9, 3.767344138087924*^9}, 3.865588945675803*^9},
 CellLabel->"In[20]:=",ExpressionUUID->"6196ff50-1034-4b5d-97f3-016df9686963"],

Cell[BoxData[
 RowBox[{"ChangeInput", "[", 
  RowBox[{"{", 
   RowBox[{"CHBtilde", "\[Rule]", 
    RowBox[{"-", "0.1"}]}], "}"}], "]"}]], "Input",
 CellChangeTimes->{{3.7669945097391243`*^9, 3.7669945111100082`*^9}, {
  3.767344140041355*^9, 3.7673441405545397`*^9}},
 CellLabel->"In[21]:=",ExpressionUUID->"d12b0088-3d57-40b8-832c-cd0554a688e9"],

Cell[BoxData[
 RowBox[{"CHBtilde", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{3.767344143360857*^9, 3.865588946567721*^9},
 CellLabel->"In[22]:=",ExpressionUUID->"7d8080ba-bb50-46bc-bc26-5a8e4312bac5"]
}, Open  ]],

Cell[CellGroupData[{

Cell["RunDsixTools routine", "Section",
 CellChangeTimes->{{3.7669863297181997`*^9, 3.76698633331739*^9}, {
   3.766986395921605*^9, 3.76698639990829*^9}, {3.766994129581229*^9, 
   3.766994129998157*^9}, 
   3.768914434044003*^9},ExpressionUUID->"cbdcf641-28b2-462e-8599-\
7a28051fa0ea"],

Cell[TextData[{
 "We consider an example input with ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    SubscriptBox["C", "lq"], 
    RowBox[{"(", "1", ")"}]], TraditionalForm]],ExpressionUUID->
  "290a0170-e4a1-4223-9381-c6a7c9cdea9f"],
 "[2,2,3,3] = 1 / ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    SuperscriptBox["\[CapitalLambda]", "2"], ",", " ", 
    RowBox[{"given", " ", "at", " ", "\[CapitalLambda]"}], ",", " ", 
    RowBox[{
     RowBox[{"with", " ", "\[CapitalLambda]"}], " ", "=", " ", 
     RowBox[{"HIGHSCALE", " ", "=", " ", "10"}]}]}], TraditionalForm]],
  ExpressionUUID->"7655f755-3676-4fa6-bb66-4323f2d5ecf8"],
 " TeV. The rest of SMEFT WCs are assumed to vanish at ",
 StyleBox["HIGHSCALE",
  FontWeight->"Bold"],
 ". We must introduce the energy scales too.  ",
 StyleBox["EWSCALE",
  FontWeight->"Bold"],
 " and ",
 StyleBox["LOWSCALE",
  FontWeight->"Bold"],
 " are taken to be equal to ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["m", "W"], TraditionalForm]],ExpressionUUID->
  "761f51e4-ce18-47d4-89d7-550cbc6d7956"],
 " and 5 GeV by default, and then only ",
 StyleBox["HIGHSCALE",
  FontWeight->"Bold"],
 " must be provided. All scales must be given in units of GeV. ",
 StyleBox["NewInput",
  FontWeight->"Bold"],
 " can also be used to introduce energy scales."
}], "Text",
 CellChangeTimes->{{3.7669868520574217`*^9, 3.766986856873249*^9}, {
  3.768561762279228*^9, 3.768561846279765*^9}, {3.76884471274957*^9, 
  3.768844716283449*^9}, {3.8655891525087233`*^9, 3.865589244205975*^9}, {
  3.865589354506515*^9, 3.865589377567006*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"c0847da6-56d5-4f8e-91f0-f68f6d29c380"],

Cell[BoxData[
 RowBox[{
  RowBox[{"NewInput", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{
      RowBox[{"Clq1", "[", 
       RowBox[{"2", ",", "2", ",", "3", ",", "3"}], "]"}], "\[Rule]", 
      RowBox[{"1.0", "/", 
       RowBox[{"HIGHSCALE", "^", "2"}]}]}], "}"}], ",", 
    RowBox[{"HIGHSCALE", "\[Rule]", 
     RowBox[{"10", "^", "4"}]}]}], "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.766898889835154*^9, 3.766898889966345*^9}, 
   3.767343996069416*^9, 3.768043674174203*^9, {3.768539217528573*^9, 
   3.768539252925907*^9}, {3.768540692579809*^9, 3.768540705397846*^9}, 
   3.768550059859021*^9, {3.768558240942381*^9, 3.768558243774735*^9}, {
   3.865589135007798*^9, 3.865589144675005*^9}, {3.8655892482164173`*^9, 
   3.8655892510265293`*^9}},
 CellLabel->"In[23]:=",ExpressionUUID->"e8ba202c-5b53-43da-a415-6b4384d4094d"],

Cell[TextData[{
 "Now we are ready to use the ",
 StyleBox["RunDsixTools",
  FontWeight->"Bold"],
 " routine."
}], "Text",
 CellChangeTimes->{{3.766986911631728*^9, 3.7669869779437227`*^9}, {
   3.766987191827376*^9, 3.7669872353188477`*^9}, {3.7669872690801983`*^9, 
   3.76698745687743*^9}, 3.7669876724099407`*^9, 3.766987727142459*^9, {
   3.768562062595537*^9, 3.768562095067861*^9}, 3.871705900920609*^9},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"8917dce2-6773-40b8-8c59-3d748da45597"],

Cell[BoxData[
 RowBox[{"RunDsixTools", ";"}]], "Input",
 CellChangeTimes->{{3.768559516301092*^9, 3.768559519575841*^9}},
 CellLabel->"In[24]:=",ExpressionUUID->"7b9013bf-481d-4276-9c18-ab3118b7c7f2"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Results", "Section",
 CellChangeTimes->{{3.7669863297181997`*^9, 3.76698633331739*^9}, {
  3.766986395921605*^9, 3.76698639990829*^9}, {3.766994129581229*^9, 
  3.766994129998157*^9}, {3.7685621132681913`*^9, 
  3.768562113839582*^9}},ExpressionUUID->"91fb3985-753c-4d44-b7d2-\
bef46b5eac5b"],

Cell[TextData[{
 "The results of the running can be obtained by means of the ",
 StyleBox["D6run",
  FontWeight->"Bold"],
 " function, which returns interpolating functions that can be evaluated for \
any value of t = Log[10,\[Mu]]."
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.766994453501418*^9, 3.766994456442659*^9}, {3.7685621232321177`*^9, 
   3.76856213214377*^9}, {3.768562251106583*^9, 3.7685623494471903`*^9}, {
   3.8655889867987413`*^9, 3.8655889980803623`*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"c2455aed-dd95-4151-af1c-3a35345fe8d1"],

Cell["We can now see some examples of the results:", "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.766994453501418*^9, 3.766994456442659*^9}, {3.7685621232321177`*^9, 
   3.76856213214377*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"36dd012e-367c-4bbc-ab78-c44da18aca4c"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"D6run", "[", 
   RowBox[{"Clq1", "[", 
    RowBox[{"2", ",", "2", ",", "3", ",", "3"}], "]"}], "]"}], "/.", 
  RowBox[{"\[Mu]", "\[Rule]", "HIGHSCALE"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"D6run", "[", 
   RowBox[{"Clq1", "[", 
    RowBox[{"2", ",", "2", ",", "3", ",", "3"}], "]"}], "]"}], "/.", 
  RowBox[{"\[Mu]", "\[Rule]", "EWSCALE"}]}]}], "Input",
 CellChangeTimes->{{3.768553024052267*^9, 3.768553038346096*^9}, {
  3.7685534087141447`*^9, 3.768553413477788*^9}, {3.768553465400133*^9, 
  3.7685534709717703`*^9}, {3.768562365580114*^9, 3.768562368654619*^9}, {
  3.865589003305689*^9, 3.865589032000182*^9}},
 CellLabel->"In[25]:=",ExpressionUUID->"6d4b06cf-2909-4375-b86f-2cc8004d7bb7"],

Cell[BoxData[
 RowBox[{"Plot", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"D6run", "[", 
     RowBox[{
      RowBox[{
       RowBox[{"HIGHSCALE", "^", "2"}], 
       RowBox[{"Clq1", "[", 
        RowBox[{"2", ",", "2", ",", "3", ",", "3"}], "]"}]}], ",", 
      "\"\<log10\>\""}], "]"}], "/.", 
    RowBox[{"t", "\[Rule]", "x"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"x", ",", "tEW", ",", "tHIGH"}], "}"}], ",", 
   RowBox[{"Frame", "\[Rule]", "True"}], ",", 
   RowBox[{"Axes", "\[Rule]", "False"}], ",", 
   RowBox[{"PlotRange", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"tEW", ",", "tHIGH"}], "}"}], ",", "Automatic"}], "}"}]}], ",", 
   RowBox[{"FrameLabel", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{
     "\"\<Log[\[Mu]/GeV]\>\"", ",", 
      "\"\<\!\(\*SuperscriptBox[SubscriptBox[\(\[CapitalLambda]\), \(UV\)], \
\(2\)]\) (\!\(\*SuperscriptBox[SubscriptBox[\(C\), \(lq\)], \
\((1)\)]\)\!\(\*SubscriptBox[\()\), \(2233\)]\)\>\"", ",", "None", ",", 
      "None"}], "}"}]}], ",", 
   RowBox[{"LabelStyle", "\[Rule]", 
    RowBox[{"Directive", "[", "14", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.768562179038353*^9, 3.76856221304751*^9}, {
   3.76891470867982*^9, 3.768914712915185*^9}, {3.769359370517212*^9, 
   3.76935940144081*^9}, 3.769359478341374*^9, 3.7693642068277407`*^9, {
   3.8655890379123173`*^9, 3.865589039780513*^9}, {3.865590228260519*^9, 
   3.865590249700734*^9}, {3.86559035583508*^9, 3.865590357469864*^9}},
 CellLabel->"In[27]:=",ExpressionUUID->"4889941d-e753-4363-9363-50dcbd903bea"],

Cell[BoxData[
 RowBox[{"Plot", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"D6run", "[", 
     RowBox[{
      RowBox[{
       RowBox[{"EWSCALE", "^", "2"}], 
       RowBox[{"LeuVLL", "[", 
        RowBox[{"2", ",", "2", ",", "1", ",", "1"}], "]"}]}], ",", 
      "\"\<log10\>\""}], "]"}], "/.", 
    RowBox[{"t", "\[Rule]", "x"}]}], ",", 
   RowBox[{"{", 
    RowBox[{"x", ",", "tLOW", ",", "tEW"}], "}"}], ",", 
   RowBox[{"Frame", "\[Rule]", "True"}], ",", 
   RowBox[{"Axes", "\[Rule]", "False"}], ",", 
   RowBox[{"PlotRange", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"tLOW", ",", "tEW"}], "}"}], ",", "Automatic"}], "}"}]}], ",", 
   
   RowBox[{"FrameLabel", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{
     "\"\<Log[\[Mu]/GeV]\>\"", ",", 
      "\"\<\!\(\*SuperscriptBox[SubscriptBox[\(\[CapitalLambda]\), \(EW\)], \
\(2\)]\) (\!\(\*SuperscriptBox[SubscriptBox[\(L\), \(eu\)], \
\(VLL\)]\)\!\(\*SubscriptBox[\()\), \(2211\)]\)\>\"", ",", "None", ",", 
      "None"}], "}"}]}], ",", 
   RowBox[{"LabelStyle", "\[Rule]", 
    RowBox[{"Directive", "[", "14", "]"}]}]}], "]"}]], "Input",
 CellChangeTimes->CompressedData["
1:eJxTTMoPSmViYGCQAGIQXZJgJHOy/7Xju+m1YNr39gsLEK20usIORHvx3nYB
84teu4PoS28PKn+Y8Noxcst8dRC9ae3qSSBaReodmK5ZyrNpwaTXjnxno8F0
w1r9NyB6yezfYJpjYpV7Es8bxzvC6h4gesY5hc8guuK/Epj+N7PgN4juE/0A
phnv7rviLPzGMeCv1FUQfeb874wvQJoheHYRiH534XkdiJZe8wZMnwvOaAfR
LwQqwXSOHc9cEC0k+RNMn5lxdxWItiuVWgOiu3bf2ANWl3cHTFeE7Hf6BqTz
vp0F0yv+x6QsEnnjmBZ+JxVE++Qsn1At+sax4F/OJBDNW9t6uhZIC/QbnQXR
URU2V0C0z7y+qyCaT0DkDohWud8OptelTvJhP/vG0Wtbqh+IBgD+9crH
  "],
 CellLabel->"In[28]:=",ExpressionUUID->"3eae02e2-237a-4dc2-b0ef-aef985a82596"],

Cell[TextData[{
 "The user can also print the values of the LEFT parameters at the matching \
scale using the dispatch ",
 StyleBox["Match",
  FontWeight->"Bold"]
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.766994453501418*^9, 3.766994456442659*^9}, {3.7685621232321177`*^9, 
   3.76856213214377*^9}, {3.768562396094005*^9, 3.7685624402724247`*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"30c61f48-788a-4836-903b-439ffee23238"],

Cell[BoxData[
 RowBox[{
  RowBox[{"LeuVLL", "[", 
   RowBox[{"2", ",", "2", ",", "1", ",", "1"}], "]"}], "/.", 
  "Match"}]], "Input",
 CellChangeTimes->{{3.768562432805089*^9, 3.768562434195997*^9}, {
  3.86558974419138*^9, 3.865589744243868*^9}},
 CellLabel->"In[29]:=",ExpressionUUID->"4b94d367-9392-428c-a517-9005780c095e"],

Cell[TextData[{
 "One can also use the dispatch ",
 StyleBox["MatchAnalytical",
  FontWeight->"Bold"],
 " to print the analytical expressions used for the SMEFT-LEFT matching"
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.766994453501418*^9, 3.766994456442659*^9}, {3.7685621232321177`*^9, 
   3.76856213214377*^9}, {3.768562396094005*^9, 3.7685624402724247`*^9}, {
   3.7685624876096287`*^9, 3.7685625139159603`*^9}, 3.7688157341649523`*^9},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"c38ec940-412e-491e-90f2-7412463e371e"],

Cell[BoxData[
 RowBox[{
  RowBox[{"LeuVLL", "[", 
   RowBox[{"2", ",", "2", ",", "1", ",", "1"}], "]"}], "/.", 
  "MatchAnalytical"}]], "Input",
 CellChangeTimes->{{3.768562522449332*^9, 3.768562524047429*^9}, {
   3.8655897487647963`*^9, 3.865589748810523*^9}, {3.8723050079370813`*^9, 
   3.872305011878764*^9}, 
   3.8723127499273787`*^9},ExpressionUUID->"81b00e7d-1c77-41fc-8e3f-\
ce501e2edb5c"],

Cell[BoxData[
 RowBox[{"%", "/.", 
  RowBox[{"LoopParameter", "\[Rule]", "0"}]}]], "Input",
 CellChangeTimes->{{3.8655904310378838`*^9, 3.8655904597420273`*^9}},
 CellLabel->"In[31]:=",ExpressionUUID->"225bc8e3-dac5-419e-bfc8-27cd51a347d6"],

Cell["\<\
The analytical expressions for the beta functions of the SMEFT and LEFT \
parameters can also be shown\
\>", "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.76699248689631*^9, 
   3.766992503844933*^9}, {3.766994269645252*^9, 3.7669943213566103`*^9}, {
   3.766994453501418*^9, 3.766994456442659*^9}, {3.7685621232321177`*^9, 
   3.76856213214377*^9}, {3.768562396094005*^9, 3.7685624402724247`*^9}, {
   3.7685624876096287`*^9, 3.7685625139159603`*^9}, 3.7688157341649523`*^9, {
   3.768915178038769*^9, 3.768915202102087*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"35fae1ad-e96c-4504-99d7-65078b308291"],

Cell[BoxData[
 RowBox[{"\[Beta]", "[", "gs", "]"}]], "Input",
 CellChangeTimes->{{3.7689152046124363`*^9, 3.7689152241609488`*^9}, {
  3.768928963966257*^9, 3.768928981575693*^9}},
 CellLabel->"In[32]:=",ExpressionUUID->"79eef76e-76c3-4716-9100-0c69b10bddfb"],

Cell[BoxData[
 RowBox[{"\[Beta]", "[", 
  RowBox[{"LeuVLL", "[", 
   RowBox[{"1", ",", "1", ",", "1", ",", "2"}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.768915215987812*^9, 3.7689152163595533`*^9}, {
  3.768915257828067*^9, 3.768915260494692*^9}, {3.768928925521942*^9, 
  3.7689289464011707`*^9}, {3.865589756030505*^9, 3.865589758066493*^9}},
 CellLabel->"In[33]:=",ExpressionUUID->"76187a6f-ff0e-4841-99b3-fbc4ba4b413d"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Using MatchMakerEFT results", "Section",
 CellChangeTimes->{{3.86473291348685*^9, 3.864732917850452*^9}, {
  3.865335056380933*^9, 3.865335057116432*^9}, {3.871705633379623*^9, 
  3.871705637634995*^9}},ExpressionUUID->"2a5b747e-765e-4b21-997d-\
55593ae740f2"],

Cell[TextData[{
 "Since version 2.1, ",
 StyleBox["DsixTools",
  FontColor->RGBColor[0, 0, 1]],
 " admits input obtained with ",
 StyleBox["MatchMakerEFT",
  FontColor->RGBColor[0, 0, 1]],
 StyleBox[".",
  FontColor->GrayLevel[0]]
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.766992606449501*^9, 
   3.7669926408808603`*^9}, {3.766992672913631*^9, 3.766992693700796*^9}, {
   3.767029138729056*^9, 3.767029139061654*^9}, 3.768914030848466*^9, {
   3.865754095025012*^9, 3.8657541087113113`*^9}, {3.865871925032427*^9, 
   3.865871942488853*^9}, {3.871705846058887*^9, 3.8717058539442177`*^9}, {
   3.871705961752162*^9, 3.871705980631123*^9}, {3.871706023721072*^9, 
   3.871706073123845*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"7cc48dcf-61c8-4d99-afdc-2e31e3063629"],

Cell["\<\
If we are interested in a numerical application, we must introduce values for \
the parameters of the UV model.\
\>", "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.766992606449501*^9, 
   3.7669926408808603`*^9}, {3.766992672913631*^9, 3.766992693700796*^9}, {
   3.767029138729056*^9, 3.767029139061654*^9}, 3.768914030848466*^9, {
   3.865754547249771*^9, 3.8657546292690687`*^9}, {3.8657547891677427`*^9, 
   3.865754811226169*^9}, {3.871705909160701*^9, 3.871705945229892*^9}, {
   3.871706323422717*^9, 3.871706328001129*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"c2b2f61f-cfaa-48c8-aac0-76583ab38dbc"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"YNbar", "[", "a_", "]"}], ":=", 
   RowBox[{"Conjugate", "[", 
    RowBox[{"YN", "[", "a", "]"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"YSbar", "[", "a_", "]"}], ":=", 
   RowBox[{"Conjugate", "[", 
    RowBox[{"YS", "[", "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}, {
  3.8655939043871317`*^9, 3.8655939202830133`*^9}},
 CellLabel->"In[35]:=",ExpressionUUID->"0fff3e6b-b896-470b-8e3b-a7e3df959f1a"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"YNnum", "=", 
   RowBox[{"{", 
    RowBox[{"0.001", ",", "0.4", ",", 
     RowBox[{"-", "0.02"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"YSnum", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"-", "0.7"}], ",", "0.9", ",", 
     RowBox[{"-", "0.8"}]}], "}"}]}], ";"}]}], "Input",
 CellChangeTimes->{{3.865167333446282*^9, 3.865167380285378*^9}, {
   3.8655938274557753`*^9, 3.865593861807364*^9}, {3.865676676421221*^9, 
   3.8656767192419662`*^9}, {3.8657201653949633`*^9, 3.865720171070861*^9}, 
   3.865870704450222*^9},
 CellLabel->"In[40]:=",ExpressionUUID->"8ccf7235-8ac5-4aef-98b0-06d4e0fd8186"],

Cell[TextData[{
 "We load the results obtained with ",
 StyleBox["MatchMakerEFT",
  FontColor->RGBColor[0, 0, 1]],
 StyleBox[" and generate the input for ",
  FontColor->GrayLevel[0]],
 StyleBox["DsixTools",
  FontColor->RGBColor[0, 0, 1]],
 StyleBox[".",
  FontColor->GrayLevel[0]]
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.766992606449501*^9, 
   3.7669926408808603`*^9}, {3.766992672913631*^9, 3.766992693700796*^9}, {
   3.767029138729056*^9, 3.767029139061654*^9}, 3.768914030848466*^9, {
   3.865754095025012*^9, 3.8657541087113113`*^9}, {3.865871925032427*^9, 
   3.865871942488853*^9}, {3.871705846058887*^9, 3.8717058539442177`*^9}, {
   3.871705961752162*^9, 3.871705980631123*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"c6256145-6209-4f55-8610-e3d933abbfa5"],

Cell[BoxData[
 RowBox[{"NewInput", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"MMEfile", "\[Rule]", "\"\<SN_MM/MatchingResult.dat\>\""}], ",", 
     
     RowBox[{"MN", "\[Rule]", "1000"}], ",", 
     RowBox[{"MS", "\[Rule]", "1200"}], ",", 
     RowBox[{"lam2", "\[Rule]", "0.1"}], ",", 
     RowBox[{"lam3", "\[Rule]", "0.1"}], ",", 
     RowBox[{
      RowBox[{"YN", "[", "a_", "]"}], "\[RuleDelayed]", 
      RowBox[{"YNnum", "[", 
       RowBox[{"[", "a", "]"}], "]"}]}], ",", 
     RowBox[{
      RowBox[{"YS", "[", "a_", "]"}], "\[RuleDelayed]", 
      RowBox[{"YSnum", "[", 
       RowBox[{"[", "a", "]"}], "]"}]}]}], "}"}], ",", 
   RowBox[{"HIGHSCALE", "\[Rule]", 
    RowBox[{"10", "^", "4"}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.867817592307012*^9, 3.86781760481837*^9}, {
   3.86783456537636*^9, 3.867834570331736*^9}, 3.8678355302177467`*^9, {
   3.867838442179598*^9, 3.867838446306129*^9}, {3.867840830386902*^9, 
   3.867840831538336*^9}, 3.871705833046528*^9},
 CellLabel->"In[42]:=",ExpressionUUID->"20c67ce4-6d05-40bd-975a-ea77e3e575ab"],

Cell[TextData[{
 "We can now check some input values for the SMEFT WCs at \[CapitalLambda] = \
HIGHSCALE = 10 TeV. Their analytical expressions in terms of the parameters \
of the UV model can also be printed thanks to the dispatch ",
 StyleBox["MatchAnalyticalUV",
  FontWeight->"Bold"]
}], "Text",
 CellChangeTimes->{{3.766987637898347*^9, 3.766987646815774*^9}, 
   3.7669877208888607`*^9, {3.766992088811577*^9, 3.7669920976732397`*^9}, {
   3.766992448189595*^9, 3.76699245382122*^9}, {3.766992606449501*^9, 
   3.7669926408808603`*^9}, {3.766992672913631*^9, 3.766992693700796*^9}, {
   3.767029138729056*^9, 3.767029139061654*^9}, 3.768914030848466*^9, {
   3.865754989125771*^9, 3.865755091741397*^9}, 3.871705795756001*^9, {
   3.871706121357643*^9, 3.87170615384788*^9}, {3.871706305194716*^9, 
   3.871706344210475*^9}, {3.8717063762454357`*^9, 3.871706384559185*^9}},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"7712f7ac-a0ab-40e3-b9e1-c55a25d66668"],

Cell[BoxData[
 RowBox[{"CH", "/.", "MatchAnalyticalUV"}]], "Input",
 CellChangeTimes->{{3.8678320955046253`*^9, 3.867832099696124*^9}},
 CellLabel->"In[44]:=",ExpressionUUID->"1eed046b-a796-4028-a093-2e5fb3b888a4"],

Cell[BoxData[
 RowBox[{"CH", "/.", "InputValues"}]], "Input",
 CellChangeTimes->{{3.871706197484414*^9, 3.871706200107839*^9}},
 CellLabel->"In[43]:=",ExpressionUUID->"e3de58bf-2f16-42ad-b17a-e2f3b4d1891f"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Clq1", "[", 
   RowBox[{"1", ",", "1", ",", "1", ",", "1"}], "]"}], "/.", 
  "MatchAnalyticalUV"}]], "Input",
 CellChangeTimes->{{3.867839217355672*^9, 3.867839229306864*^9}, 
   3.871706231810347*^9},
 CellLabel->"In[45]:=",ExpressionUUID->"b2863bba-104b-42db-92f4-fabf57372c8d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"Clq1", "[", 
   RowBox[{"1", ",", "1", ",", "1", ",", "1"}], "]"}], "/.", 
  "InputValues"}]], "Input",
 CellChangeTimes->{{3.871706237869589*^9, 3.871706239811879*^9}},
 CellLabel->"In[46]:=",ExpressionUUID->"8ab0657e-2438-42a5-8ccc-86af162378f6"],

Cell[TextData[{
 "Now we are ready to use the ",
 StyleBox["RunDsixTools",
  FontWeight->"Bold"],
 " routine."
}], "Text",
 CellChangeTimes->{{3.766986911631728*^9, 3.7669869779437227`*^9}, {
   3.766987191827376*^9, 3.7669872353188477`*^9}, {3.7669872690801983`*^9, 
   3.76698745687743*^9}, 3.7669876724099407`*^9, 3.766987727142459*^9, {
   3.768562062595537*^9, 3.768562095067861*^9}, 3.8717058942694273`*^9},
 FontSize->18,
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"d1ac2a3f-f01a-4b1a-8199-4a9e34d7a312"]
}, Open  ]]
},
WindowSize->{1206., 739.5},
WindowMargins->{{0, Automatic}, {0, Automatic}},
TaggingRules->{"TryRealOnly" -> False},
Magnification:>1.5 Inherited,
FrontEndVersion->"12.1 for Linux x86 (64-bit) (June 19, 2020)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"91581a22-0ab5-4621-8093-05900b6be02e"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 889, 19, 170, "Input",ExpressionUUID->"1c85dbd5-1569-45ba-b218-76c77bec20e6",
 Evaluatable->False],
Cell[CellGroupData[{
Cell[1472, 43, 356, 6, 100, "Section",ExpressionUUID->"80af6746-384e-42a6-bed8-95c3d042fb0e",
 Evaluatable->False],
Cell[1831, 51, 1265, 18, 45, "Input",ExpressionUUID->"863808b4-3d05-4f80-8afd-8b0a0ce06132"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3133, 74, 327, 5, 100, "Section",ExpressionUUID->"55ce3f0e-de80-4682-ada3-da0da3a7660b"],
Cell[3463, 81, 209, 3, 45, "Input",ExpressionUUID->"4849569e-d53f-43b3-94ae-65a9c8310dc1"],
Cell[3675, 86, 260, 4, 45, "Input",ExpressionUUID->"303408dc-e200-40d9-aed8-f4b753e7f7c1"],
Cell[3938, 92, 360, 5, 45, "Input",ExpressionUUID->"d7615b79-fbf3-429a-b0a5-a5df6c52bafb"],
Cell[4301, 99, 384, 6, 45, "Input",ExpressionUUID->"30640da2-0782-4371-9b0a-4b595d13201d"],
Cell[4688, 107, 222, 3, 45, "Input",ExpressionUUID->"12aa1448-b2ae-45f4-b52d-67d9e235142c"],
Cell[4913, 112, 188, 2, 45, "Input",ExpressionUUID->"859dc339-3316-49e7-a858-af1360209ee7"],
Cell[5104, 116, 236, 3, 45, "Input",ExpressionUUID->"0a4ede11-19d8-4fdb-833f-a7f9f48d97a4"]
}, Open  ]],
Cell[CellGroupData[{
Cell[5377, 124, 268, 4, 100, "Section",ExpressionUUID->"1f86db78-40b9-45ac-a891-6564b15bd187"],
Cell[5648, 130, 1022, 31, 121, "Text",ExpressionUUID->"671992f2-d71f-4fe0-b4a5-f569e3a87b62"],
Cell[6673, 163, 850, 18, 200, "Text",ExpressionUUID->"a1950661-126e-42bc-95f9-c5831d758ca1"],
Cell[7526, 183, 1034, 29, 83, "Text",ExpressionUUID->"a2108170-8b7e-4e9a-a80b-6bd06f5a2b2d"],
Cell[8563, 214, 856, 20, 45, "Input",ExpressionUUID->"23f4e37c-d8c5-4712-a3fd-ce95b743f14f"],
Cell[9422, 236, 415, 7, 81, "Text",ExpressionUUID->"3f87407d-dc19-4d82-ac3f-6e2bc58df6bb"],
Cell[9840, 245, 529, 11, 81, "Text",ExpressionUUID->"d4cf7798-d6be-4517-972e-180900e1fdbd"],
Cell[10372, 258, 434, 6, 45, "Input",ExpressionUUID->"616b004c-2a59-4ffa-82fb-7a842bbdb75f"],
Cell[10809, 266, 721, 15, 83, "Text",ExpressionUUID->"2bef411e-3a7c-4c3d-b193-4badf9cb16fa"],
Cell[11533, 283, 209, 3, 45, "Input",ExpressionUUID->"29a68159-926b-4b67-b1ae-9eb27db1f425"],
Cell[11745, 288, 880, 20, 124, "Text",ExpressionUUID->"24178520-ea32-49c7-8817-dc90de97ff7f"],
Cell[12628, 310, 557, 10, 45, "Input",ExpressionUUID->"5a003047-e227-4c1c-81c1-108383418dd2"],
Cell[13188, 322, 434, 9, 81, "Text",ExpressionUUID->"38a0890b-9191-4b4c-aced-c44f0149a578"],
Cell[13625, 333, 262, 4, 45, "Input",ExpressionUUID->"ac43a0f7-b880-4632-84cf-fd5af18bac8a"],
Cell[13890, 339, 332, 5, 45, "Input",ExpressionUUID->"9ee7c61c-064c-4074-95f5-3160b5fa134c"],
Cell[14225, 346, 733, 16, 121, "Text",ExpressionUUID->"9f2397a8-5000-4900-bf47-adf3aa4697a4"],
Cell[14961, 364, 635, 15, 45, "Input",ExpressionUUID->"1e746bb2-d286-4428-b823-e217332026cf"],
Cell[15599, 381, 2455, 55, 598, "Text",ExpressionUUID->"a5453a64-5a91-4f64-98a3-4dd9baa50013"],
Cell[18057, 438, 643, 13, 109, "Input",ExpressionUUID->"873a682e-1d2d-43b3-b0fb-96f4f2d91d9c"]
}, Open  ]],
Cell[CellGroupData[{
Cell[18737, 456, 266, 4, 100, "Section",ExpressionUUID->"35776110-bc1d-4005-8640-3deec2ea4b3d"],
Cell[19006, 462, 673, 14, 121, "Text",ExpressionUUID->"ea5ac39d-ff54-4c6c-8f3c-b2a3067e7703"],
Cell[19682, 478, 487, 8, 81, "Text",ExpressionUUID->"e81de9aa-6b43-46da-bf5f-77436c4db0aa"],
Cell[20172, 488, 321, 6, 45, "Input",ExpressionUUID->"241cf197-7511-45c4-8cab-dd27e84075f2"],
Cell[20496, 496, 288, 4, 45, "Input",ExpressionUUID->"6196ff50-1034-4b5d-97f3-016df9686963"],
Cell[20787, 502, 346, 7, 45, "Input",ExpressionUUID->"d12b0088-3d57-40b8-832c-cd0554a688e9"],
Cell[21136, 511, 210, 3, 45, "Input",ExpressionUUID->"7d8080ba-bb50-46bc-bc26-5a8e4312bac5"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21383, 519, 288, 5, 100, "Section",ExpressionUUID->"cbdcf641-28b2-462e-8599-7a28051fa0ea"],
Cell[21674, 526, 1674, 46, 280, "Text",ExpressionUUID->"c0847da6-56d5-4f8e-91f0-f68f6d29c380"],
Cell[23351, 574, 839, 18, 45, "Input",ExpressionUUID->"e8ba202c-5b53-43da-a415-6b4384d4094d"],
Cell[24193, 594, 519, 12, 81, "Text",ExpressionUUID->"8917dce2-6773-40b8-8c59-3d748da45597"],
Cell[24715, 608, 200, 3, 45, "Input",ExpressionUUID->"7b9013bf-481d-4276-9c18-ab3118b7c7f2"]
}, Open  ]],
Cell[CellGroupData[{
Cell[24952, 616, 298, 5, 100, "Section",ExpressionUUID->"91fb3985-753c-4d44-b7d2-bef46b5eac5b"],
Cell[25253, 623, 844, 16, 121, "Text",ExpressionUUID->"c2455aed-dd95-4151-af1c-3a35345fe8d1"],
Cell[26100, 641, 557, 9, 81, "Text",ExpressionUUID->"36dd012e-367c-4bbc-ab78-c44da18aca4c"],
Cell[26660, 652, 743, 15, 77, "Input",ExpressionUUID->"6d4b06cf-2909-4375-b86f-2cc8004d7bb7"],
Cell[27406, 669, 1558, 36, 114, "Input",ExpressionUUID->"4889941d-e753-4363-9363-50dcbd903bea"],
Cell[28967, 707, 1670, 41, 114, "Input",ExpressionUUID->"3eae02e2-237a-4dc2-b0ef-aef985a82596"],
Cell[30640, 750, 719, 14, 121, "Text",ExpressionUUID->"30c61f48-788a-4836-903b-439ffee23238"],
Cell[31362, 766, 327, 7, 45, "Input",ExpressionUUID->"4b94d367-9392-428c-a517-9005780c095e"],
Cell[31692, 775, 810, 15, 121, "Text",ExpressionUUID->"c38ec940-412e-491e-90f2-7412463e371e"],
Cell[32505, 792, 399, 9, 45, "Input",ExpressionUUID->"81b00e7d-1c77-41fc-8e3f-ce501e2edb5c"],
Cell[32907, 803, 240, 4, 45, "Input",ExpressionUUID->"225bc8e3-dac5-419e-bfc8-27cd51a347d6"],
Cell[33150, 809, 799, 14, 121, "Text",ExpressionUUID->"35fae1ad-e96c-4504-99d7-65078b308291"],
Cell[33952, 825, 259, 4, 45, "Input",ExpressionUUID->"79eef76e-76c3-4716-9100-0c69b10bddfb"],
Cell[34214, 831, 430, 7, 45, "Input",ExpressionUUID->"76187a6f-ff0e-4841-99b3-fbc4ba4b413d"]
}, Open  ]],
Cell[CellGroupData[{
Cell[34681, 843, 266, 4, 100, "Section",ExpressionUUID->"2a5b747e-765e-4b21-997d-55593ae740f2"],
Cell[34950, 849, 961, 21, 81, "Text",ExpressionUUID->"7cc48dcf-61c8-4d99-afdc-2e31e3063629"],
Cell[35914, 872, 804, 14, 121, "Text",ExpressionUUID->"c2b2f61f-cfaa-48c8-aac0-76583ab38dbc"],
Cell[36721, 888, 1212, 34, 173, "Input",ExpressionUUID->"0fff3e6b-b896-470b-8e3b-a7e3df959f1a"],
Cell[37936, 924, 664, 16, 77, "Input",ExpressionUUID->"8ccf7235-8ac5-4aef-98b0-06d4e0fd8186"],
Cell[38603, 942, 963, 21, 81, "Text",ExpressionUUID->"c6256145-6209-4f55-8610-e3d933abbfa5"],
Cell[39569, 965, 1081, 25, 77, "Input",ExpressionUUID->"20c67ce4-6d05-40bd-975a-ea77e3e575ab"],
Cell[40653, 992, 987, 17, 160, "Text",ExpressionUUID->"7712f7ac-a0ab-40e3-b9e1-c55a25d66668"],
Cell[41643, 1011, 214, 3, 45, "Input",ExpressionUUID->"1eed046b-a796-4028-a093-2e5fb3b888a4"],
Cell[41860, 1016, 206, 3, 45, "Input",ExpressionUUID->"e3de58bf-2f16-42ad-b17a-e2f3b4d1891f"],
Cell[42069, 1021, 315, 7, 45, "Input",ExpressionUUID->"b2863bba-104b-42db-92f4-fabf57372c8d"],
Cell[42387, 1030, 283, 6, 45, "Input",ExpressionUUID->"8ab0657e-2438-42a5-8ccc-86af162378f6"],
Cell[42673, 1038, 521, 12, 81, "Text",ExpressionUUID->"d1ac2a3f-f01a-4b1a-8199-4a9e34d7a312"]
}, Open  ]]
}
]
*)