TypeIISeesaw: TypeIIFR_NLO_PertSafeScheme.nb

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