TypeIISeesaw: TypeIIFR_NLO.nb

File TypeIIFR_NLO.nb, 21.4 KB (added by MihaNemevsek, 9 months ago)

Mathematica steering notebook for Type II Seesaw model file with internal mD0

Line 
1(* Content-type: application/vnd.wolfram.mathematica *)
2
3(*** Wolfram Notebook File ***)
4(* http://www.wolfram.com/nb *)
5
6(* CreatedBy='Mathematica 11.3' *)
7
8(*CacheID: 234*)
9(* Internal cache information:
10NotebookFileLineBreakTest
11NotebookFileLineBreakTest
12NotebookDataPosition[       158,          7]
13NotebookDataLength[     21772,        518]
14NotebookOptionsPosition[     19783,        483]
15NotebookOutlinePosition[     20138,        499]
16CellTagsIndexPosition[     20095,        496]
17WindowFrame->Normal*)
18
19(* Beginning of Notebook Content *)
20Notebook[{
21
22Cell[CellGroupData[{
23Cell["NLO", "Section",
24 CellChangeTimes->{{3.783689867070311*^9, 3.783689868916458*^9},
25   3.7836902568877707`*^9},ExpressionUUID->"208ed184-f7f3-4e8a-809e-\
26d289ef792820"],
27
28Cell[BoxData[
29 RowBox[{"Quit", "[", "]"}]], "Input",
30 CellChangeTimes->{{3.7836902645715714`*^9, 3.7836902661140347`*^9}},
31 CellLabel->"In[1]:=",ExpressionUUID->"f9d88617-362b-48ac-b512-65895534dee1"],
32
33Cell[BoxData[{
34 RowBox[{
35  RowBox[{"$FeynRulesPath", "=",
36   RowBox[{"SetDirectory", "[", "\"\<<path to FeynRules>\>\"", "]"}]}],
37  ";"}], "\[IndentingNewLine]",
38 RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
39 RowBox[{
40  RowBox[{"SetDirectory", "[",
41   RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
42  ";"}], "\[IndentingNewLine]",
43 RowBox[{
44  RowBox[{"LoadModel", "[",
45   RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii_v1.3.fr\>\""}], "]"}],
46  ";"}], "\[IndentingNewLine]",
47 RowBox[{
48  RowBox[{"LoadRestriction", "[",
49   RowBox[{
50    RowBox[{"NotebookDirectory", "[", "]"}], "<>",
51    "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
52 RowBox[{
53  RowBox[{"LoadRestriction", "[",
54   RowBox[{
55    RowBox[{"NotebookDirectory", "[", "]"}], "<>",
56    "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}]}], "Input",
57 CellChangeTimes->{{3.715342142509688*^9, 3.715342163031452*^9}, {
58   3.715344057238492*^9, 3.715344058291609*^9}, {3.7178506900799713`*^9,
59   3.717850690973333*^9}, {3.7180002809816017`*^9, 3.718000300883692*^9}, {
60   3.718000394980835*^9, 3.7180003951009827`*^9}, {3.745153113604156*^9,
61   3.745153113886346*^9}, {3.757403422964182*^9, 3.757403423697225*^9}, {
62   3.758251145793989*^9, 3.7582511468706083`*^9}, 3.7582513470889874`*^9, {
63   3.76335111930016*^9, 3.763351139093457*^9}, {3.7633511693483973`*^9,
64   3.763351173687544*^9}, {3.763886545633397*^9, 3.763886571907737*^9},
65   3.767099220292862*^9, {3.767374514400957*^9, 3.767374515454331*^9}, {
66   3.767375022418717*^9, 3.76737502255937*^9}, {3.7674580186709423`*^9,
67   3.767458019546134*^9}, {3.767610478088133*^9, 3.767610507175609*^9}, {
68   3.767610538533186*^9, 3.76761053951677*^9}, {3.767610603703107*^9,
69   3.7676106297846937`*^9}, {3.7676900131323767`*^9,
70   3.7676900151887627`*^9}, {3.76858524470041*^9, 3.768585245204138*^9}, {
71   3.77027747721585*^9, 3.7702775056436033`*^9}, {3.7711262488766813`*^9,
72   3.771126253973398*^9}, {3.771126559639118*^9, 3.771126602632146*^9},
73   3.771139675031245*^9, {3.771139748794265*^9, 3.771139751639614*^9}, {
74   3.7711399153197002`*^9, 3.7711399456001577`*^9}, {3.771139981523079*^9,
75   3.771139981644162*^9}, {3.77857888321222*^9, 3.778578897476334*^9}, {
76   3.77857892985773*^9, 3.7785789375119877`*^9}, 3.7785789770568542`*^9, {
77   3.77857907445473*^9, 3.7785791018908577`*^9}, {3.779597422325054*^9,
78   3.779597426820354*^9}, {3.780921597734684*^9, 3.780921601148004*^9},
79   3.780942736968416*^9, {3.780998835004087*^9, 3.780998837598987*^9}, {
80   3.783657571383642*^9, 3.783657585695908*^9}, 3.783666267346821*^9, {
81   3.783675777945162*^9, 3.78367581535364*^9}, 3.783690275947172*^9, {
82   3.785743011634515*^9,
83   3.7857430211561747`*^9}},ExpressionUUID->"a41a6f64-aff6-490a-a0d8-\
841e3c8c43b534"],
85
86Cell[BoxData[{
87 RowBox[{
88  RowBox[{"SetDirectory", "[",
89   RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
90  ";"}], "\[IndentingNewLine]",
91 RowBox[{
92  RowBox[{"Begin", "[", "\"\<MoGRe`\>\"", "]"}], ";"}], "\[IndentingNewLine]",
93 RowBox[{
94  RowBox[{"<<", "MoGRe_v1.1.m"}], ";"}], "\[IndentingNewLine]",
95 RowBox[{
96  RowBox[{"End", "[", "]"}], ";"}], "\[IndentingNewLine]",
97 RowBox[{
98  RowBox[{"MoGRe`ClearRenormalizationScheme", "[", "]"}], ";"}]}], "Input",
99 CellChangeTimes->{{3.779621739750206*^9, 3.7796217508767843`*^9}, {
100  3.7796273631453953`*^9, 3.77962740535894*^9}, {3.78099943900846*^9,
101  3.780999439837109*^9}},
102 CellLabel->"In[7]:=",ExpressionUUID->"85900211-dbcd-4e7c-adc9-b0c3454ff9c5"],
103
104Cell[BoxData[
105 RowBox[{
106  RowBox[{"(*", " ",
107   RowBox[{"Calculation", " ", "of", " ", "the", " ", "Lagrangian", " ",
108    RowBox[{"(",
109     RowBox[{"once", " ", "and", " ", "for", " ", "all"}], ")"}], " ", "if",
110    " ", "not", " ", "done", " ", "already"}], " ", "*)"}], " ",
111  "\[IndentingNewLine]",
112  RowBox[{
113   RowBox[{
114    RowBox[{"If", "[",
115     RowBox[{
116      RowBox[{"!",
117       RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",",
118      "\[IndentingNewLine]",
119      RowBox[{
120       RowBox[{"lags", "=", " ",
121        RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";",
122       "\[IndentingNewLine]",
123       RowBox[{
124        RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ",
125        "lagrangian.dat"}]}], ",", "\[IndentingNewLine]",
126      RowBox[{
127       RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "]"}], ";"}],
128   "\[IndentingNewLine]",
129   RowBox[{"(*", " ",
130    RowBox[{
131     RowBox[{"To", " ", "get", " ", "more", " ", "print"}], "-",
132     RowBox[{"outs", " ", "to", " ", "the", " ", "screen"}]}], " ", "*)"}],
133   "\[IndentingNewLine]",
134   RowBox[{
135    RowBox[{"MoGRe$Debug", "=", "True"}], ";"}], "\[IndentingNewLine]",
136   RowBox[{"(*", " ",
137    RowBox[{
138    "Setting", " ", "the", " ", "options", " ", "of", " ", "the", " ", "main",
139      " ", "function"}], " ", "*)"}], "\[IndentingNewLine]",
140   RowBox[{
141    RowBox[{"SetOptions", "[",
142     RowBox[{"MoGRe$Renormalize", ",", " ", "\[IndentingNewLine]",
143      RowBox[{"Exclude4Scalars", "\[Rule]", "False"}], ",",
144      "\[IndentingNewLine]",
145      RowBox[{"FlavorMixing", "\[Rule]", "False"}], ",",
146      "\[IndentingNewLine]",
147      RowBox[{"CouplingOrders", "\[Rule]",
148       RowBox[{"{", "QCD", "}"}]}], ",", "\[IndentingNewLine]",
149      RowBox[{"CanonicalTwoPoints", "\[Rule]", "True"}]}], "]"}],
150    ";"}]}]}]], "Input",
151 CellChangeTimes->{{3.771263641132224*^9, 3.7712636559080553`*^9}, {
152  3.7796218121813602`*^9, 3.7796218127058563`*^9}, {3.7796229843052807`*^9,
153  3.779622984874784*^9}, {3.780979808313796*^9, 3.7809798160041103`*^9}, {
154  3.7836576738553047`*^9, 3.783657677982736*^9}, {3.783941676984709*^9,
155  3.783941677261827*^9}},
156 CellLabel->"In[12]:=",ExpressionUUID->"09fec849-448a-49a6-9b9f-74909bc58ac7"],
157
158Cell[BoxData[
159 RowBox[{
160  RowBox[{"(*", " ",
161   RowBox[{"Unrenormalized", " ", "parameters"}], " ", "*)"}],
162  "\[IndentingNewLine]",
163  RowBox[{
164   RowBox[{
165    RowBox[{"MoGRe`DefineUnrenormalizedParameters", "[",
166     RowBox[{"{", "\[IndentingNewLine]",
167      RowBox[{
168      "Gf", ",", "aEWM1", ",", "MZ", ",", "delCP", ",", "dmsq31", ",",
169       "dmsq21", ",", "th12", ",", "th13", ",", "th23", ",", "phiM1", ",",
170       "\[IndentingNewLine]", "phiM2", ",", "vevD", ",", "lamHD1", ",",
171       "lamD1", ",", "lamD2"}], "}"}], "]"}], ";"}], "\[IndentingNewLine]",
172   RowBox[{"(*", " ", "Fields", " ", "*)"}], "\[IndentingNewLine]",
173   RowBox[{
174    RowBox[{"MoGRe`DeclareUnrenormalizedFields", "[",
175     RowBox[{"W", ",", "A", ",", "Z"}], "]"}], ";"}], "\[IndentingNewLine]",
176   RowBox[{
177    RowBox[{"MoGRe`RealFieldRenormalization", "[", "]"}], " ", ";"}],
178   "\[IndentingNewLine]",
179   RowBox[{"(*", " ",
180    RowBox[{"Removing", " ", "some", " ", "parameters", " ",
181     RowBox[{"(",
182      RowBox[{
183       RowBox[{"cf", ".", " ", "the"}], " ", "way", " ", "NLOCT", " ",
184       "works"}], ")"}]}], " ", "*)"}], "\[IndentingNewLine]",
185   RowBox[{
186    RowBox[{
187     RowBox[{
188      RowBox[{"MoGRe`RemovingInternalCst", "[", "#", "]"}], "&"}], "/@",
189     RowBox[{"{",
190      RowBox[{"gs", ",", "\[IndentingNewLine]",
191       RowBox[{"Sequence", "@@",
192        RowBox[{"Flatten", "[",
193         RowBox[{"Table", "[",
194          RowBox[{
195           RowBox[{"{",
196            RowBox[{
197             RowBox[{"yu", "[",
198              RowBox[{"i", ",", "i"}], "]"}], ",",
199             RowBox[{"yd", "[",
200              RowBox[{"i", ",", "i"}], "]"}]}], "}"}], ",",
201           RowBox[{"{",
202            RowBox[{"i", ",", "1", ",", "3"}], "}"}]}], "]"}], "]"}]}], ",",
203       "\[IndentingNewLine]",
204       RowBox[{"Sequence", "@@",
205        RowBox[{"Flatten", "[",
206         RowBox[{"Table", "[",
207          RowBox[{
208           RowBox[{"{",
209            RowBox[{"CKM", "[",
210             RowBox[{"i", ",", "j"}], "]"}], "}"}], ",",
211           RowBox[{"{",
212            RowBox[{"i", ",", "1", ",", "3"}], "}"}], ",",
213           RowBox[{"{",
214            RowBox[{"j", ",", "1", ",", "3"}], "}"}]}], "]"}], "]"}]}]}],
215      "}"}]}], ";"}]}]}]], "Input",
216 CellChangeTimes->{{3.771264625204327*^9, 3.771264640138379*^9},
217   3.779622343993898*^9, {3.783941695184012*^9, 3.7839416993404083`*^9}, {
218   3.78394296649778*^9, 3.783942967329603*^9}},
219 CellLabel->"In[15]:=",ExpressionUUID->"b4d75f27-ad07-4041-8347-16469b72ae53"],
220
221Cell[BoxData[
222 RowBox[{
223  RowBox[{"LReno", " ", "=",
224   RowBox[{"MoGRe$Renormalize", "[",
225    RowBox[{"Plus", "@@", "lags"}], "]"}]}], ";"}]], "Input",
226 CellChangeTimes->{{3.771264750774624*^9, 3.771264754345985*^9}, {
227   3.779622437680065*^9, 3.7796224387360353`*^9}, 3.779624783600335*^9, {
228   3.7796274220329533`*^9, 3.779627429379524*^9}, {3.7796294251206827`*^9,
229   3.779629444949071*^9}, {3.779629548413604*^9, 3.7796295518915253`*^9}},
230 CellLabel->"In[19]:=",ExpressionUUID->"19928e68-86cc-4534-8fca-91adca3c7aa9"],
231
232Cell[BoxData[
233 RowBox[{
234  RowBox[{"(*",
235   RowBox[{"The", " ", "renormalization", " ", "conditions", " ",
236    RowBox[{"(",
237     RowBox[{"this", " ", "is", " ", "an", " ", "input"}], ")"}]}], " ",
238   "*)"}], "\[IndentingNewLine]",
239  RowBox[{"MoGRe`SchemeRules", "\[IndentingNewLine]",
240   RowBox[{"(*", " ", "Masses", " ", "*)"}], "\[IndentingNewLine]",
241   RowBox[{"RenormalizationRules", "[", "\"\<Masses\>\"", "]"}],
242   "\[IndentingNewLine]",
243   RowBox[{"(*", " ",
244    RowBox[{"External", " ", "parameters"}], " ", "*)"}],
245   "\[IndentingNewLine]",
246   RowBox[{"RenormalizationRules", "[", "\"\<Externals\>\"", "]"}],
247   "\[IndentingNewLine]",
248   RowBox[{"(*", " ",
249    RowBox[{"Internal", " ", "parameters"}], " ", "*)"}],
250   "\[IndentingNewLine]",
251   RowBox[{"RenormalizationRules", "[", "\"\<Internals\>\"", "]"}],
252   "\[IndentingNewLine]",
253   RowBox[{"(*", " ", "Fields", " ", "*)"}], "\[IndentingNewLine]",
254   RowBox[{"RenormalizationRules", "[", "\"\<Fields\>\"", "]"}]}]}]], "Input",\
255
256 CellChangeTimes->{{3.771265755382235*^9, 3.771265786258514*^9}, {
257  3.783690373862105*^9, 3.78369037421682*^9}},
258 CellLabel->"In[20]:=",ExpressionUUID->"64686b84-eb26-4f51-92c1-9655c67accb6"],
259
260Cell[BoxData[{
261 RowBox[{
262  RowBox[{"SetDirectory", "[",
263   RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
264  ";"}], "\[IndentingNewLine]",
265 RowBox[{
266  RowBox[{"WriteFeynArtsOutput", "[",
267   RowBox[{"LReno", ",",
268    RowBox[{"Output", "\[Rule]", "\"\<typeII_v1_3_FA\>\""}]}], "]"}],
269  ";"}]}], "Input",
270 CellChangeTimes->{{3.779597577798992*^9, 3.779597584199922*^9}, {
271  3.779597680344357*^9, 3.779597685565913*^9}, {3.77959779313251*^9,
272  3.779597803082788*^9}, {3.779632511026588*^9, 3.77963252396973*^9}, {
273  3.779632589533596*^9, 3.779632594866434*^9}, {3.780944772665889*^9,
274  3.780944773643894*^9}, {3.7809989929665813`*^9, 3.780998995191955*^9}, {
275  3.783690388414618*^9, 3.783690388485291*^9}},
276 CellLabel->"In[25]:=",ExpressionUUID->"2924914f-57ad-4c21-a2d2-0196a3defb04"],
277
278Cell[BoxData[
279 RowBox[{
280  RowBox[{"Quit", "[", "]"}], ";"}]], "Input",
281 CellChangeTimes->{{3.779636370018443*^9, 3.779636371598173*^9}},
282 CellLabel->"In[1]:=",ExpressionUUID->"0e5e3761-6f79-4f6e-8b2a-f2114850b009"],
283
284Cell[BoxData[{
285 RowBox[{
286  RowBox[{"SetDirectory", "[", "\"\<<path to FeynArts 3.9>\>\"", "]"}],
287  ";"}], "\[IndentingNewLine]",
288 RowBox[{"<<", " ", "FeynArts`"}], "\[IndentingNewLine]",
289 RowBox[{
290  RowBox[{"SetDirectory", "[", "\"\<<path to FeynRules/NLOCT>\>\"", "]"}],
291  ";"}], "\[IndentingNewLine]",
292 RowBox[{"<<", " ", "NLOCT`"}], "\[IndentingNewLine]",
293 RowBox[{
294  RowBox[{"SetDirectory", "[",
295   RowBox[{"NotebookDirectory", "[", "]"}], "]"}], ";"}]}], "Input",
296 CellChangeTimes->{{3.7796363829653883`*^9, 3.779636429912023*^9}, {
297  3.780999051176557*^9, 3.780999062807684*^9}, {3.7809991888797283`*^9,
298  3.7809991906985292`*^9}, {3.783666715410285*^9, 3.7836667830468483`*^9}, {
299  3.783666837843645*^9, 3.7836668379020767`*^9}, {3.783675863628983*^9,
300  3.78367586429869*^9}, {3.7836830056644*^9, 3.783683021227706*^9}, {
301  3.783683207946851*^9, 3.783683216510889*^9}, {3.78574304239785*^9,
302  3.7857430588397427`*^9}},ExpressionUUID->"98bc1033-ce6c-4e63-9595-\
303b9987539869f"],
304
305Cell[BoxData[
306 RowBox[{
307  RowBox[{"WriteCT", "[", "\[IndentingNewLine]",
308   RowBox[{
309   "\"\<./typeII_v1_3_FA/typeII_v1_3_FA\>\"", ",", "\[IndentingNewLine]",
310    "\"\<./typeII_v1_3_FA/typeII_v1_3_FA\>\"", ",", "\[IndentingNewLine]",
311    " ",
312    RowBox[{"Output", "->", "\"\<typeII_4FNS_v1_3\>\""}], ",",
313    "\[IndentingNewLine]",
314    RowBox[{"LabelInternal", "\[Rule]", "True"}], ",",
315    RowBox[{"QCDOnly", "\[Rule]", "True"}], ",",
316    RowBox[{"KeptIndices", "\[Rule]",
317     RowBox[{"{", "}"}]}], ",",
318    RowBox[{"ZeroMom", "\[Rule]",
319     RowBox[{"{",
320      RowBox[{"{",
321       RowBox[{"aS", ",",
322        RowBox[{"{",
323         RowBox[{
324          RowBox[{"F", "[", "7", "]"}], ",",
325          RowBox[{"V", "[", "4", "]"}], ",",
326          RowBox[{"-",
327           RowBox[{"F", "[", "7", "]"}]}]}], "}"}], ",", "0"}], "}"}],
328      "}"}]}], ",", "\[IndentingNewLine]",
329    RowBox[{"Assumptions", "->",
330     RowBox[{"{",
331      RowBox[{
332       RowBox[{"MT", ">", "0"}], ",",
333       RowBox[{"MB", ">", "0"}]}], "}"}]}], ",", "\[IndentingNewLine]",
334    RowBox[{"CTparameters", "\[Rule]", "True"}]}], "]"}], ";"}]], "Input",
335 CellChangeTimes->{{3.783683167612175*^9, 3.783683180859993*^9}, {
336  3.783690410598928*^9, 3.783690414708645*^9}},
337 CellLabel->"In[6]:=",ExpressionUUID->"88620b5f-5d7b-4464-ab3b-e8ce766d1b54"],
338
339Cell[BoxData[
340 RowBox[{"Quit", "[", "]"}]], "Input",
341 CellChangeTimes->{{3.779639826390726*^9, 3.7796398270234957`*^9}},
342 CellLabel->"In[7]:=",ExpressionUUID->"ed21d954-0e8d-476e-8faa-22ff29a890dc"],
343
344Cell[BoxData[{
345 RowBox[{
346  RowBox[{"$FeynRulesPath", "=",
347   RowBox[{"SetDirectory", "[", "\"\<<path to FeynRules>\>\"", "]"}]}],
348  ";"}], "\[IndentingNewLine]",
349 RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
350 RowBox[{
351  RowBox[{"SetDirectory", "[",
352   RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
353  ";"}], "\[IndentingNewLine]",
354 RowBox[{
355  RowBox[{"LoadModel", "[",
356   RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii_v1.3.fr\>\""}], "]"}],
357  ";"}], "\[IndentingNewLine]",
358 RowBox[{
359  RowBox[{"LoadRestriction", "[",
360   RowBox[{
361    RowBox[{"NotebookDirectory", "[", "]"}], "<>",
362    "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
363 RowBox[{
364  RowBox[{"LoadRestriction", "[",
365   RowBox[{
366    RowBox[{"NotebookDirectory", "[", "]"}], "<>",
367    "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
368 RowBox[{
369  RowBox[{"Get", "[", "\"\<typeII_4FNS_v1_3.nlo\>\"", "]"}],
370  ";"}], "\[IndentingNewLine]",
371 RowBox[{
372  RowBox[{"If", "[",
373   RowBox[{
374    RowBox[{"!",
375     RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",",
376    "\[IndentingNewLine]",
377    RowBox[{
378     RowBox[{"lags", "=", " ",
379      RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", "\[IndentingNewLine]",
380     RowBox[{
381      RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ",
382      "lagrangian.dat"}]}], ",", "\[IndentingNewLine]",
383    RowBox[{
384     RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "]"}], ";"}]}], "Input",
385 CellChangeTimes->{{3.7796397898851013`*^9, 3.779639824714785*^9}, {
386   3.780999092284133*^9, 3.780999094749385*^9}, {3.7836678960469713`*^9,
387   3.783667901509082*^9}, {3.783686022716382*^9, 3.783686063398385*^9}, {
388   3.783741038031934*^9, 3.783741053196666*^9}, 3.7839338270663137`*^9,
389   3.783934024792015*^9, {3.78394413622283*^9, 3.7839441580079813`*^9},
390   3.785743064388726*^9},ExpressionUUID->"0e3735fa-3c99-489e-a4f3-\
3919047156e3c61"],
392
393Cell[BoxData[
394 RowBox[{
395  RowBox[{"WriteUFO", "[",
396   RowBox[{"lags", ",",
397    RowBox[{"UVCounterterms", "\[Rule]",
398     RowBox[{"(",
399      RowBox[{"UV$vertlist", "/.",
400       RowBox[{"{",
401        RowBox[{
402         RowBox[{"FR$IR", "\[Rule]", "1"}], ",",
403         RowBox[{"FR$IRLog", "\[Rule]", "1"}]}], "}"}]}], ")"}]}], " ", ",",
404    RowBox[{"R2Vertices", "\[Rule]", "R2$vertlist"}], ",", " ",
405    RowBox[{"CTParameters", "\[Rule]",
406     RowBox[{"(",
407      RowBox[{"FR$CTparam", "/.",
408       RowBox[{"{",
409        RowBox[{
410         RowBox[{"FR$IR", "\[Rule]", "1"}], ",",
411         RowBox[{"FR$IRLog", "\[Rule]", "1"}]}], "}"}]}], ")"}]}], ",",
412    RowBox[{"Output", "\[Rule]", "\"\<TypeII_NLO_v_1_3_UFO\>\""}]}], "]"}],
413  ";"}]], "Input",
414 CellChangeTimes->{{3.779639836439653*^9, 3.779639854005334*^9}, {
415   3.7809990847792883`*^9, 3.780999086952511*^9}, 3.7837410590366163`*^9,
416   3.78393402662431*^9, {3.783944132135982*^9, 3.783944132366199*^9}},
417 CellLabel->"In[9]:=",ExpressionUUID->"baa57a44-b9b0-4154-aa69-15fac54a3828"]
418}, Open  ]],
419
420Cell[CellGroupData[{
421
422Cell["LO", "Section",
423 CellChangeTimes->{{3.783689867070311*^9,
424  3.783689868916458*^9}},ExpressionUUID->"c25536b3-78a0-4fa9-be3d-\
425ef2e68af53f3"],
426
427Cell[BoxData[
428 RowBox[{"Quit", "[", "]"}]], "Input",
429 CellChangeTimes->{{3.783689874059099*^9, 3.783689875531411*^9}},
430 CellLabel->"In[1]:=",ExpressionUUID->"431ebc49-1852-4271-a973-569f8a35a959"],
431
432Cell[BoxData[{
433 RowBox[{
434  RowBox[{"$FeynRulesPath", "=",
435   RowBox[{"SetDirectory", "[", "\"\<<path to FeynRules>\>\"", "]"}]}],
436  ";"}], "\[IndentingNewLine]",
437 RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
438 RowBox[{
439  RowBox[{"SetDirectory", "[",
440   RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
441  ";"}], "\[IndentingNewLine]",
442 RowBox[{
443  RowBox[{"LoadModel", "[",
444   RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii_v1.3.fr\>\""}], "]"}],
445  ";"}], "\[IndentingNewLine]",
446 RowBox[{
447  RowBox[{"LoadRestriction", "[",
448   RowBox[{
449    RowBox[{"NotebookDirectory", "[", "]"}], "<>",
450    "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
451 RowBox[{
452  RowBox[{"LoadRestriction", "[",
453   RowBox[{
454    RowBox[{"NotebookDirectory", "[", "]"}], "<>",
455    "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
456 RowBox[{
457  RowBox[{"If", "[",
458   RowBox[{
459    RowBox[{"!",
460     RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",",
461    "\[IndentingNewLine]",
462    RowBox[{
463     RowBox[{"lags", "=", " ",
464      RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", "\[IndentingNewLine]",
465     RowBox[{
466      RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ",
467      "lagrangian.dat"}]}], ",", "\[IndentingNewLine]",
468    RowBox[{
469     RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}],
470  ";"}], "\[IndentingNewLine]",
471 RowBox[{
472  RowBox[{"WriteUFO", "[",
473   RowBox[{"lags", ",",
474    RowBox[{"Output", "\[Rule]", "\"\<TypeII_LO_v1_3_UFO\>\""}]}], "]"}],
475  ";"}]}], "Input",
476 CellChangeTimes->{{3.7796397898851013`*^9, 3.779639824714785*^9}, {
477   3.780975707166958*^9, 3.780975707338049*^9}, {3.780999012384077*^9,
478   3.780999012577855*^9}, 3.783686126148706*^9, {3.7836898979975758`*^9,
479   3.783689909028027*^9}, 3.783738191127874*^9,
480   3.785743077086484*^9},ExpressionUUID->"63867beb-ca61-4047-bfc9-\
481852e883b05e3"]
482}, Open  ]]
483},
484WindowSize->{1092, 744},
485WindowMargins->{{158, Automatic}, {Automatic, 0}},
486FrontEndVersion->"11.3 for Mac OS X x86 (32-bit, 64-bit Kernel) (March 5, \
4872018)",
488StyleDefinitions->"Default.nb"
489]
490(* End of Notebook Content *)
491
492(* Internal cache information *)
493(*CellTagsOutline
494CellTagsIndex->{}
495*)
496(*CellTagsIndex
497CellTagsIndex->{}
498*)
499(*NotebookFileOutline
500Notebook[{
501Cell[CellGroupData[{
502Cell[580, 22, 173, 3, 67, "Section",ExpressionUUID->"208ed184-f7f3-4e8a-809e-d289ef792820"],
503Cell[756, 27, 200, 3, 30, "Input",ExpressionUUID->"f9d88617-362b-48ac-b512-65895534dee1"],
504Cell[959, 32, 2771, 51, 136, "Input",ExpressionUUID->"a41a6f64-aff6-490a-a0d8-1e3c8c43b534"],
505Cell[3733, 85, 706, 16, 115, "Input",ExpressionUUID->"85900211-dbcd-4e7c-adc9-b0c3454ff9c5"],
506Cell[4442, 103, 2241, 52, 283, "Input",ExpressionUUID->"09fec849-448a-49a6-9b9f-74909bc58ac7"],
507Cell[6686, 157, 2531, 61, 241, "Input",ExpressionUUID->"b4d75f27-ad07-4041-8347-16469b72ae53"],
508Cell[9220, 220, 524, 9, 30, "Input",ExpressionUUID->"19928e68-86cc-4534-8fca-91adca3c7aa9"],
509Cell[9747, 231, 1204, 26, 220, "Input",ExpressionUUID->"64686b84-eb26-4f51-92c1-9655c67accb6"],
510Cell[10954, 259, 789, 16, 52, "Input",ExpressionUUID->"2924914f-57ad-4c21-a2d2-0196a3defb04"],
511Cell[11746, 277, 214, 4, 30, "Input",ExpressionUUID->"0e5e3761-6f79-4f6e-8b2a-f2114850b009"],
512Cell[11963, 283, 992, 19, 115, "Input",ExpressionUUID->"98bc1033-ce6c-4e63-9595-b9987539869f"],
513Cell[12958, 304, 1337, 32, 157, "Input",ExpressionUUID->"88620b5f-5d7b-4464-ab3b-e8ce766d1b54"],
514Cell[14298, 338, 198, 3, 30, "Input",ExpressionUUID->"ed21d954-0e8d-476e-8faa-22ff29a890dc"],
515Cell[14499, 343, 1920, 47, 241, "Input",ExpressionUUID->"0e3735fa-3c99-489e-a4f3-9047156e3c61"],
516Cell[16422, 392, 1046, 24, 52, "Input",ExpressionUUID->"baa57a44-b9b0-4154-aa69-15fac54a3828"]
517}, Open  ]],
518Cell[CellGroupData[{
519Cell[17505, 421, 147, 3, 67, "Section",ExpressionUUID->"c25536b3-78a0-4fa9-be3d-ef2e68af53f3"],
520Cell[17655, 426, 196, 3, 30, "Input",ExpressionUUID->"431ebc49-1852-4271-a973-569f8a35a959"],
521Cell[17854, 431, 1913, 49, 262, "Input",ExpressionUUID->"63867beb-ca61-4047-bfc9-852e883b05e3"]
522}, Open  ]]
523}
524]
525*)
526