(* 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[     22871,        565]
NotebookOptionsPosition[     19679,        505]
NotebookOutlinePosition[     20142,        523]
CellTagsIndexPosition[     20099,        520]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[{
 StyleBox[
  RowBox[{
   RowBox[{"Lecture", " ", "1"}], ":", " ", 
   RowBox[{"EFT", " ", "basis", " ", "derivation"}]}], 
  "Title"], "\[IndentingNewLine]", 
 StyleBox[
  RowBox[{
   RowBox[{"SMEFT", "'"}], "2022", " ", "Physics", " ", "School"}], 
  "Subtitle"]}], "Input",
 Evaluatable->False,
 CellChangeTimes->CompressedData["
1:eJwdzU0ow3Ecx/HNAdM8JJlkohC1sFpLFH4uWymhIaU1T9Fow0izJWQrHMzT
DsioqTWsmWgmeWh/hz9jTe6UhN8OaDkg/L6/w6dXfS7v7DZtfWcUh8MRkoGh
o9RR1TBGgr++cbCVGZwGCy9tVlD68rwGdu9VrINlCa8e+nt9e+D1d08AHK0+
oKZlSawLxKBKSu3qs+QkmjByPphywQiq+akkNkZMXETksP2yQzNGDu6IHBy4
ceftT2F0vFpeAHpElQbxDEasvopa/F6LtbOkW3dPrXPb1Dqii83sAdWs+33Z
gpHi00ed39V/pc5hlG9L/wWV6+IiAfGmWUb1TUp5afMYNdiDVMeQfUXxhtHj
s59qtC76I0lhFJpwXIAZd8IrUF4RCoDMTtEteLYlo1qu9k82UsJozKE9Bdvj
/Awo/9Cw4Jm3iRcdCCO3ppe6rb3WgaW4xQjy5apzMFl0zID2Dr4hhmhmlqib
pnhJLNGqvKW6Oo9KQCf7RP0HY+vzSg==
  
  "],ExpressionUUID->"0eaf1aea-89f9-4515-9031-02b86d5959fd"],

Cell[CellGroupData[{

Cell["Start Sym2Int", "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}, {3.866103006449945*^9, 
   3.866103007582076*^9}},ExpressionUUID->"9476feec-7f8b-44c1-9a93-\
7a1561d0de7a"],

Cell[BoxData[
 RowBox[{"<<", "Sym2Int`"}]], "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.866103010218301*^9, 3.8661030113093157`*^9}, {3.866130259264366*^9, 
   3.866130259537835*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"6acde536-93ac-48ba-9ca3-d81e69055917"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Define model", "Section",
 CellChangeTimes->{{3.86473291348685*^9, 3.864732917850452*^9}, {
  3.865590927759203*^9, 3.86559093065774*^9}, {3.865592268181902*^9, 
  3.8655922684494333`*^9}, {3.866103161806657*^9, 
  3.8661031627131042`*^9}},ExpressionUUID->"d35a5637-e2b5-4bce-a990-\
203d478272f1"],

Cell[TextData[{
 StyleBox["In ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["Sym2Int",
  FontSize->18,
  FontColor->RGBColor[0, 0, 1],
  Background->None],
 StyleBox[", a model is defined by the gauge group and field content.",
  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}, {3.865591248779585*^9, 3.8655912858286667`*^9}, {
   3.866103136017858*^9, 3.866103140519898*^9}, {3.866103211502962*^9, 
   3.866103225572857*^9}, {3.8661033327306137`*^9, 3.866103369561434*^9}, 
   3.866103862289281*^9},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"f1f22e9b-0eb1-44a6-ac52-dd62ababbea9"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"gaugeGroup", "[", "SMEFT", "]"}], "^=", 
   RowBox[{"{", 
    RowBox[{"SU3", ",", "SU2", ",", "U1"}], "}"}]}], ";"}]], "Input",
 CellChangeTimes->{
  3.86610335752245*^9, {3.8661054895142603`*^9, 3.86610548978542*^9}},
 CellLabel->"In[2]:=",ExpressionUUID->"6b9ec1f7-2d21-4f0c-9586-5ecb282670d1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"Number", " ", "of", " ", "flavors"}], " ", "*)"}], "\n", 
  RowBox[{
   RowBox[{"nF", "=", "3"}], ";"}]}]], "Input",
 CellChangeTimes->{{3.866103359653303*^9, 3.866103362592514*^9}},
 CellLabel->"In[3]:=",ExpressionUUID->"2fde3b17-54bd-4f4c-829c-266c0eb22ce0"],

Cell[BoxData[{
 RowBox[{
  RowBox[{"fld1", "=", 
   RowBox[{"{", 
    RowBox[{"\"\<u\>\"", ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "1", ",", 
       RowBox[{"2", "/", "3"}]}], "}"}], ",", "\"\<R\>\"", ",", "\"\<C\>\"", 
     ",", "nF"}], "}"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{"fld2", "=", 
   RowBox[{"{", 
    RowBox[{"\"\<d\>\"", ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "1", ",", 
       RowBox[{
        RowBox[{"-", "1"}], "/", "3"}]}], "}"}], ",", "\"\<R\>\"", ",", 
     "\"\<C\>\"", ",", "nF"}], "}"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{"fld3", "=", 
   RowBox[{"{", 
    RowBox[{"\"\<Q\>\"", ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "2", ",", 
       RowBox[{"1", "/", "6"}]}], "}"}], ",", "\"\<L\>\"", ",", "\"\<C\>\"", 
     ",", "nF"}], "}"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{"fld4", "=", 
   RowBox[{"{", 
    RowBox[{"\"\<e\>\"", ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "1", ",", 
       RowBox[{"-", "1"}]}], "}"}], ",", "\"\<R\>\"", ",", "\"\<C\>\"", ",", 
     "nF"}], "}"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{"fld5", "=", 
   RowBox[{"{", 
    RowBox[{"\"\<L\>\"", ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "2", ",", 
       RowBox[{
        RowBox[{"-", "1"}], "/", "2"}]}], "}"}], ",", "\"\<L\>\"", ",", 
     "\"\<C\>\"", ",", "nF"}], "}"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{"fld6", "=", 
   RowBox[{"{", 
    RowBox[{"\"\<H\>\"", ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "2", ",", 
       RowBox[{"1", "/", "2"}]}], "}"}], ",", "\"\<S\>\"", ",", "\"\<C\>\"", 
     ",", "1"}], "}"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{
   RowBox[{"fields", "[", "SMEFT", "]"}], "^=", 
   RowBox[{"{", 
    RowBox[{
    "fld1", ",", "fld2", ",", "fld3", ",", "fld4", ",", "fld5", ",", "fld6"}],
     "}"}]}], ";"}]}], "Input",
 CellChangeTimes->{3.866105498384695*^9},
 CellLabel->"In[4]:=",ExpressionUUID->"b0f17c2f-55e8-4994-9f96-160aee79a1ee"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Results I: Physical basis", "Section",
 CellChangeTimes->{{3.8661034491186247`*^9, 3.866103453150304*^9}, {
  3.866108287036268*^9, 
  3.866108294888513*^9}},ExpressionUUID->"534c1b7e-ea3a-42be-a0b1-\
f955c0ca4e53"],

Cell[CellGroupData[{

Cell["Dimension - 6", "Subsection",
 CellChangeTimes->{{3.866108444845236*^9, 
  3.8661084510750847`*^9}},ExpressionUUID->"97fcced8-060d-4be4-81fe-\
4cd7566a2e0e"],

Cell[TextData[{
 StyleBox["The list of operators is obtained with the ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["GenerateListOfCouplings",
  FontSize->18,
  FontWeight->"Bold",
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox[" routine, which takes as input the maximal operator dimension to \
be considered.",
  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}, {3.865591248779585*^9, 3.8655912858286667`*^9}, {
   3.866103136017858*^9, 3.866103140519898*^9}, {3.866103211502962*^9, 
   3.866103225572857*^9}, {3.8661033327306137`*^9, 3.866103369561434*^9}, 
   3.866103862289281*^9, {3.866105532753087*^9, 3.866105572995854*^9}, {
   3.866105636643002*^9, 3.866105652378297*^9}, {3.866105798306753*^9, 
   3.8661057997989073`*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"8ca818b6-dd7d-4bed-a26c-9070f8dfef12"],

Cell[BoxData[
 RowBox[{
  RowBox[{"opsD6", "=", 
   RowBox[{"GenerateListOfCouplings", "[", 
    RowBox[{"SMEFT", ",", 
     RowBox[{"MaxOrder", "\[Rule]", "6"}]}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.866105496639429*^9, 3.866105512528*^9}, {
  3.86610832910822*^9, 3.866108332560565*^9}, {3.866121733393571*^9, 
  3.8661217427852983`*^9}},
 CellLabel->"In[11]:=",ExpressionUUID->"9e4b0b09-7194-43db-8404-df22aaf46a41"],

Cell[TextData[{
 StyleBox["Two comments to interpret the results:\[LineSeparator]\
\[LineSeparator]1) Notation used in ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["Sym2Int",
  FontSize->18,
  FontColor->RGBColor[0, 0, 1],
  Background->None],
 StyleBox[": F1 = G, F2 = W, F3 = B.\n2) The number of operators corresponds \
to the number of real parameters when the operator is self-conjugated and to \
the number of complex parameters otherwise.",
  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}, {3.865591248779585*^9, 3.8655912858286667`*^9}, {
   3.866103136017858*^9, 3.866103140519898*^9}, {3.866103211502962*^9, 
   3.866103225572857*^9}, {3.8661033327306137`*^9, 3.866103369561434*^9}, 
   3.866103862289281*^9, {3.866105532753087*^9, 3.866105572995854*^9}, {
   3.866105636643002*^9, 3.866105652378297*^9}, {3.866105798306753*^9, 
   3.8661057997989073`*^9}, {3.86610632080628*^9, 3.8661063585873413`*^9}, {
   3.866108892866832*^9, 3.866108899582389*^9}, {3.866109034727438*^9, 
   3.8661090379273853`*^9}, {3.866109071653804*^9, 3.866109084453765*^9}, {
   3.866121794030704*^9, 3.8661219109085093`*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"c72a7c7c-292c-4032-bc48-a963bdb4de0b"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Dimension - 8", "Subsection",
 CellChangeTimes->{{3.866108444845236*^9, 
  3.866108458767026*^9}},ExpressionUUID->"571e7886-2e6f-4f3b-824c-\
61d58b11bf17"],

Cell[BoxData[
 RowBox[{
  RowBox[{"opsD8", "=", 
   RowBox[{"GenerateListOfCouplings", "[", 
    RowBox[{"SMEFT", ",", 
     RowBox[{"MaxOrder", "\[Rule]", "8"}]}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.866105496639429*^9, 3.866105512528*^9}, {
  3.86610832910822*^9, 3.866108332560565*^9}, {3.866108492181222*^9, 
  3.866108495914403*^9}},
 CellLabel->"In[12]:=",ExpressionUUID->"f7fa2a25-6ac9-45a5-88eb-052ace875493"],

Cell[TextData[{
 StyleBox["The results were not printed because there are too many operators. \
However, the user can print specific operators with the ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["PickParticularOperators",
  FontSize->18,
  FontWeight->"Bold",
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox[" function.",
  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}, {3.865591248779585*^9, 3.8655912858286667`*^9}, {
   3.866103136017858*^9, 3.866103140519898*^9}, {3.866103211502962*^9, 
   3.866103225572857*^9}, {3.8661033327306137`*^9, 3.866103369561434*^9}, 
   3.866103862289281*^9, {3.866105532753087*^9, 3.866105572995854*^9}, {
   3.866105636643002*^9, 3.866105652378297*^9}, {3.866105798306753*^9, 
   3.8661057997989073`*^9}, {3.86610632080628*^9, 3.8661063585873413`*^9}, {
   3.866108892866832*^9, 3.866108899582389*^9}, {3.866109034727438*^9, 
   3.866109067464918*^9}, {3.8661091019282427`*^9, 3.866109121072706*^9}, {
   3.8661108417965117`*^9, 3.866110846998794*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"6bed64a8-dbae-4335-85ef-951cb1f2f9da"],

Cell[BoxData[{
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8", ",", "\"\<L L H H\>\""}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8", ",", "\"\<H* H F2 F2\>\""}], "]"}]}], "Input",\

 CellChangeTimes->{{3.8441698872989416`*^9, 3.844169892486376*^9}, {
  3.8441703665587816`*^9, 3.8441703951754875`*^9}, {3.844170857595247*^9, 
  3.8441708743271255`*^9}, {3.8661068905231943`*^9, 3.866106893404179*^9}, {
  3.866108465789303*^9, 3.866108467728202*^9}, {3.8661088680913143`*^9, 
  3.866108868853237*^9}, {3.866108977449902*^9, 3.866108979432787*^9}, {
  3.866109128617756*^9, 3.866109136469996*^9}, {3.866128787711567*^9, 
  3.866128846944626*^9}, {3.86612923985707*^9, 3.866129290553076*^9}},
 CellLabel->"In[13]:=",ExpressionUUID->"ea9c2195-47d3-4070-beef-d675f660833c"],

Cell[BoxData[
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8", ",", "\"\<D D F2 F2 H* H\>\""}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.866129295281761*^9, 3.866129308077873*^9}},
 CellLabel->"In[15]:=",ExpressionUUID->"89bc7f33-5528-48a2-a703-fe9d55abec3b"],

Cell[BoxData[
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8", ",", "\"\<L* L Q* Q H* H\>\""}], 
  "]"}]], "Input",
 CellChangeTimes->{3.866129301582819*^9},
 CellLabel->"In[16]:=",ExpressionUUID->"ca43d17a-5e9f-4dbb-9921-64f9d1223360"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Results II: Green basis", "Section",
 CellChangeTimes->{{3.8661034491186247`*^9, 3.866103453150304*^9}, {
  3.866108287036268*^9, 3.866108294888513*^9}, {3.866110727828681*^9, 
  3.866110730137073*^9}},ExpressionUUID->"4eb4e2af-0d13-474c-80c9-\
5f8dd7050a5b"],

Cell[CellGroupData[{

Cell["Change default options", "Subsection",
 CellChangeTimes->{{3.86473291348685*^9, 3.864732917850452*^9}, {
  3.865590927759203*^9, 3.86559093065774*^9}, {3.865592268181902*^9, 
  3.8655922684494333`*^9}, {3.866103161806657*^9, 3.8661031627131042`*^9}, {
  3.866103236507997*^9, 3.8661032372937727`*^9}, {3.866108235464221*^9, 
  3.86610823668223*^9}},ExpressionUUID->"a81871fa-cfa5-4772-9981-\
77738e5be33d"],

Cell[TextData[{
 StyleBox["We can now change some ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["Sym2Int",
  FontSize->18,
  FontColor->RGBColor[0, 0, 1],
  Background->None],
 StyleBox[" options and obtain new results. For instance, we can set ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["$Sym2IntUseEOM",
  FontSize->18,
  FontWeight->"Bold",
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox[" to ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["False",
  FontSize->18,
  FontWeight->"Bold",
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox[" so that ",
  FontSize->18,
  FontColor->GrayLevel[0],
  Background->None],
 StyleBox["Sym2Int",
  FontSize->18,
  FontColor->RGBColor[0, 0, 1],
  Background->None],
 StyleBox[" does not apply the equations of motion to remove redundant \
operators. This will allow us to determine the operators in the Green basis, \
of interest for off-shell computations.",
  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}, {3.865591248779585*^9, 3.8655912858286667`*^9}, {
  3.866103136017858*^9, 3.866103140519898*^9}, {3.866103211502962*^9, 
  3.866103225572857*^9}, {3.866103311050332*^9, 3.866103313879266*^9}, {
  3.8661082513845673`*^9, 3.8661082657843027`*^9}, {3.8661085183427467`*^9, 
  3.866108549076874*^9}, {3.866108683266899*^9, 3.8661087329471684`*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"ded4dd86-1a47-4817-821e-f7e2993add79"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"Apply", " ", "EOMs", " ", 
    RowBox[{"redundancies", "?", " ", 
     RowBox[{"[", 
      RowBox[{"default", "=", "True"}], "]"}]}]}], " ", "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"$Sym2IntUseEOM", "=", "False"}], ";"}], "\[IndentingNewLine]", 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{"Apply", " ", "IBP", " ", 
     RowBox[{"redundancies", "?", " ", 
      RowBox[{"[", 
       RowBox[{"default", "=", "True"}], "]"}]}]}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"$Sym2IntUseIBP", "=", "True"}], ";"}]}]}]], "Input",
 CellChangeTimes->{
  3.866103151771494*^9, {3.866103240494419*^9, 3.866103248188393*^9}},
 CellLabel->"In[17]:=",ExpressionUUID->"705b5744-f7df-4621-8e9b-112f166c7517"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Obtain and print new results", "Subsection",
 CellChangeTimes->{{3.86473291348685*^9, 3.864732917850452*^9}, {
  3.865590927759203*^9, 3.86559093065774*^9}, {3.865592268181902*^9, 
  3.8655922684494333`*^9}, {3.866103161806657*^9, 3.8661031627131042`*^9}, {
  3.866103236507997*^9, 3.8661032372937727`*^9}, {3.866108235464221*^9, 
  3.86610823668223*^9}, {3.8661083158406477`*^9, 3.866108317845017*^9}, {
  3.8661107230024633`*^9, 
  3.866110723666375*^9}},ExpressionUUID->"a7094e03-6016-469a-8db0-\
8bcba4852594"],

Cell[BoxData[
 RowBox[{
  RowBox[{"opsD8Green", "=", 
   RowBox[{"GenerateListOfCouplings", "[", 
    RowBox[{"SMEFT", ",", 
     RowBox[{"MaxOrder", "\[Rule]", "8"}]}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.866105496639429*^9, 3.866105512528*^9}, {
  3.86610832910822*^9, 3.866108332560565*^9}, {3.866108508712707*^9, 
  3.8661085091437473`*^9}, {3.866110657507382*^9, 3.8661106632783546`*^9}},
 CellLabel->"In[19]:=",ExpressionUUID->"f4f2201b-cb69-4bd1-8ba3-d9953614e53f"],

Cell[BoxData[{
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8", ",", "\"\<D D D D D D H* H\>\""}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8Green", ",", "\"\<D D D D D D H* H\>\""}], 
  "]"}]}], "Input",
 CellChangeTimes->{{3.866110669163396*^9, 3.866110674775447*^9}},
 CellLabel->"In[20]:=",ExpressionUUID->"048514a0-d49e-42ef-bc01-5dcc807654fc"],

Cell[BoxData[{
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8", ",", "\"\<D D F3 F3 H* H\>\""}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"PickParticularOperators", "[", 
  RowBox[{"SMEFT", ",", "opsD8Green", ",", "\"\<D D F3 F3 H* H\>\""}], 
  "]"}]}], "Input",
 CellChangeTimes->{{3.866110745297233*^9, 3.866110748432065*^9}},
 CellLabel->"In[22]:=",ExpressionUUID->"a8ff563d-e015-42b6-88ee-3615673443ab"]
}, Open  ]]
}, Open  ]]
},
WindowSize->{1206., 739.5},
WindowMargins->{{0, Automatic}, {0, Automatic}},
TaggingRules->{"TryRealOnly" -> False},
Magnification:>1.25 Inherited,
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, 933, 22, 99, "Input",ExpressionUUID->"0eaf1aea-89f9-4515-9031-02b86d5959fd",
 Evaluatable->False],
Cell[CellGroupData[{
Cell[1516, 46, 404, 7, 83, "Section",ExpressionUUID->"9476feec-7f8b-44c1-9a93-7a1561d0de7a",
 Evaluatable->False],
Cell[1923, 55, 1316, 19, 36, "Input",ExpressionUUID->"6acde536-93ac-48ba-9ca3-d81e69055917"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3276, 79, 303, 5, 83, "Section",ExpressionUUID->"d35a5637-e2b5-4bce-a990-203d478272f1"],
Cell[3582, 86, 961, 23, 68, "Text",ExpressionUUID->"f1f22e9b-0eb1-44a6-ac52-dd62ababbea9"],
Cell[4546, 111, 343, 8, 36, "Input",ExpressionUUID->"6b9ec1f7-2d21-4f0c-9586-5ecb282670d1"],
Cell[4892, 121, 318, 7, 62, "Input",ExpressionUUID->"2fde3b17-54bd-4f4c-829c-266c0eb22ce0"],
Cell[5213, 130, 1917, 59, 189, "Input",ExpressionUUID->"b0f17c2f-55e8-4994-9f96-160aee79a1ee"]
}, Open  ]],
Cell[CellGroupData[{
Cell[7167, 194, 221, 4, 83, "Section",ExpressionUUID->"534c1b7e-ea3a-42be-a0b1-f955c0ca4e53"],
Cell[CellGroupData[{
Cell[7413, 202, 163, 3, 68, "Subsection",ExpressionUUID->"97fcced8-060d-4be4-81fe-4cd7566a2e0e"],
Cell[7579, 207, 1205, 27, 102, "Text",ExpressionUUID->"8ca818b6-dd7d-4bed-a26c-9070f8dfef12"],
Cell[8787, 236, 431, 9, 36, "Input",ExpressionUUID->"9e4b0b09-7194-43db-8404-df22aaf46a41"],
Cell[9221, 247, 1577, 31, 203, "Text",ExpressionUUID->"c72a7c7c-292c-4032-bc48-a963bdb4de0b"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10835, 283, 161, 3, 68, "Subsection",ExpressionUUID->"571e7886-2e6f-4f3b-824c-61d58b11bf17"],
Cell[10999, 288, 429, 9, 36, "Input",ExpressionUUID->"f7fa2a25-6ac9-45a5-88eb-052ace875493"],
Cell[11431, 299, 1463, 30, 102, "Text",ExpressionUUID->"6bed64a8-dbae-4335-85ef-951cb1f2f9da"],
Cell[12897, 331, 861, 14, 62, "Input",ExpressionUUID->"ea9c2195-47d3-4070-beef-d675f660833c"],
Cell[13761, 347, 286, 5, 36, "Input",ExpressionUUID->"89bc7f33-5528-48a2-a703-fe9d55abec3b"],
Cell[14050, 354, 262, 5, 36, "Input",ExpressionUUID->"ca43d17a-5e9f-4dbb-9921-64f9d1223360"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[14361, 365, 265, 4, 83, "Section",ExpressionUUID->"4eb4e2af-0d13-474c-80c9-5f8dd7050a5b"],
Cell[CellGroupData[{
Cell[14651, 373, 412, 6, 68, "Subsection",ExpressionUUID->"a81871fa-cfa5-4772-9981-77738e5be33d"],
Cell[15066, 381, 1835, 52, 136, "Text",ExpressionUUID->"ded4dd86-1a47-4817-821e-f7e2993add79"],
Cell[16904, 435, 823, 22, 138, "Input",ExpressionUUID->"705b5744-f7df-4621-8e9b-112f166c7517"]
}, Open  ]],
Cell[CellGroupData[{
Cell[17764, 462, 520, 8, 68, "Subsection",ExpressionUUID->"a7094e03-6016-469a-8db0-8bcba4852594"],
Cell[18287, 472, 484, 9, 36, "Input",ExpressionUUID->"f4f2201b-cb69-4bd1-8ba3-d9953614e53f"],
Cell[18774, 483, 439, 8, 62, "Input",ExpressionUUID->"048514a0-d49e-42ef-bc01-5dcc807654fc"],
Cell[19216, 493, 435, 8, 62, "Input",ExpressionUUID->"a8ff563d-e015-42b6-88ee-3615673443ab"]
}, Open  ]]
}, Open  ]]
}
]
*)