TypeIISeesaw: use-MoGre_ih.nb

File use-MoGre_ih.nb, 26.4 KB (added by Benjamin Fuks, 5 years ago)
Line 
1(* Content-type: application/mathematica *)
2
3(*** Wolfram Notebook File ***)
4(* http://www.wolfram.com/nb *)
5
6(* CreatedBy='Mathematica 7.0' *)
7
8(*CacheID: 234*)
9(* Internal cache information:
10NotebookFileLineBreakTest
11NotebookFileLineBreakTest
12NotebookDataPosition[ 145, 7]
13NotebookDataLength[ 26848, 669]
14NotebookOptionsPosition[ 24961, 603]
15NotebookOutlinePosition[ 25339, 620]
16CellTagsIndexPosition[ 25296, 617]
17WindowFrame->Normal*)
18
19(* Beginning of Notebook Content *)
20Notebook[{
21Cell[BoxData[
22 RowBox[{"Quit", "[", "]"}]], "Input",
23 CellChangeTimes->{{3.7638865422974358`*^9, 3.763886542860983*^9}, {
24 3.767372147789777*^9, 3.7673721483716993`*^9}, {3.780996846995326*^9,
25 3.780996847734174*^9}}],
26
27Cell[CellGroupData[{
28
29Cell["Setup", "Section",
30 CellChangeTimes->{{3.518892288721245*^9, 3.518892291440427*^9}, {
31 3.648272586359296*^9, 3.648272589589151*^9}, {3.744951163067635*^9,
32 3.744951164882929*^9}}],
33
34Cell[BoxData[{
35 RowBox[{
36 RowBox[{"$FeynRulesPath", "=",
37 RowBox[{
38 "SetDirectory", "[",
39 "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}]}],
40 ";"}], "\[IndentingNewLine]",
41 RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
42 RowBox[{
43 RowBox[{"SetDirectory", "[",
44 RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
45 ";"}], "\[IndentingNewLine]",
46 RowBox[{
47 RowBox[{"LoadModel", "[",
48 RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii_ih.fr\>\""}], "]"}],
49 ";"}], "\[IndentingNewLine]",
50 RowBox[{
51 RowBox[{"LoadRestriction", "[",
52 RowBox[{
53 RowBox[{"NotebookDirectory", "[", "]"}], "<>",
54 "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
55 RowBox[{
56 RowBox[{"LoadRestriction", "[",
57 RowBox[{
58 RowBox[{"NotebookDirectory", "[", "]"}], "<>",
59 "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}]}], "Input",
60 CellChangeTimes->{{3.715342142509688*^9, 3.715342163031452*^9}, {
61 3.715344057238492*^9, 3.715344058291609*^9}, {3.7178506900799713`*^9,
62 3.717850690973333*^9}, {3.7180002809816017`*^9, 3.718000300883692*^9}, {
63 3.718000394980835*^9, 3.7180003951009827`*^9}, {3.745153113604156*^9,
64 3.745153113886346*^9}, {3.757403422964182*^9, 3.757403423697225*^9}, {
65 3.758251145793989*^9, 3.7582511468706083`*^9}, 3.7582513470889874`*^9, {
66 3.76335111930016*^9, 3.763351139093457*^9}, {3.7633511693483973`*^9,
67 3.763351173687544*^9}, {3.763886545633397*^9, 3.763886571907737*^9},
68 3.767099220292862*^9, {3.767374514400957*^9, 3.767374515454331*^9}, {
69 3.767375022418717*^9, 3.76737502255937*^9}, {3.7674580186709423`*^9,
70 3.767458019546134*^9}, {3.767610478088133*^9, 3.767610507175609*^9}, {
71 3.767610538533186*^9, 3.76761053951677*^9}, {3.767610603703107*^9,
72 3.7676106297846937`*^9}, {3.7676900131323767`*^9,
73 3.7676900151887627`*^9}, {3.76858524470041*^9, 3.768585245204138*^9}, {
74 3.77027747721585*^9, 3.7702775056436033`*^9}, {3.7711262488766813`*^9,
75 3.771126253973398*^9}, {3.771126559639118*^9, 3.771126602632146*^9},
76 3.771139675031245*^9, {3.771139748794265*^9, 3.771139751639614*^9}, {
77 3.7711399153197002`*^9, 3.7711399456001577`*^9}, {3.771139981523079*^9,
78 3.771139981644162*^9}, {3.77857888321222*^9, 3.778578897476334*^9}, {
79 3.77857892985773*^9, 3.7785789375119877`*^9}, 3.7785789770568542`*^9, {
80 3.77857907445473*^9, 3.7785791018908577`*^9}, {3.779597422325054*^9,
81 3.779597426820354*^9}, {3.780921597734684*^9, 3.780921601148004*^9},
82 3.780942736968416*^9, {3.7822144773378153`*^9, 3.782214477791381*^9}}]
83}, Open ]],
84
85Cell[CellGroupData[{
86
87Cell["NLO", "Section",
88 CellChangeTimes->{{3.7795974887503777`*^9, 3.779597489081195*^9}}],
89
90Cell[CellGroupData[{
91
92Cell["Setup", "Subsubsection",
93 CellChangeTimes->{{3.7712636194863377`*^9, 3.771263622434663*^9}}],
94
95Cell[BoxData[{
96 RowBox[{
97 RowBox[{"SetDirectory", "[",
98 RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
99 ";"}], "\[IndentingNewLine]",
100 RowBox[{
101 RowBox[{"Begin", "[", "\"\<MoGRe`\>\"", "]"}], ";"}], "\[IndentingNewLine]",
102 RowBox[{
103 RowBox[{"<<", "MoGRe_v1.1.m"}], ";"}], "\[IndentingNewLine]",
104 RowBox[{
105 RowBox[{"End", "[", "]"}], ";"}], "\[IndentingNewLine]",
106 RowBox[{
107 RowBox[{"MoGRe`ClearRenormalizationScheme", "[", "]"}], ";"}]}], "Input",
108 CellChangeTimes->{{3.779621739750206*^9, 3.7796217508767843`*^9}, {
109 3.7796273631453953`*^9, 3.77962740535894*^9}, {3.780999820096065*^9,
110 3.780999821023857*^9}}],
111
112Cell[BoxData[
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"}]}], ";", "\[IndentingNewLine]",
122 RowBox[{
123 RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ",
124 "lagrangian.dat"}]}], ",", "\[IndentingNewLine]",
125 RowBox[{
126 RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}],
127 ";"}]], "Input",
128 CellChangeTimes->{{3.779597667101206*^9, 3.7795976737764177`*^9}, {
129 3.779621768389236*^9, 3.7796217817142982`*^9}}],
130
131Cell[BoxData[
132 RowBox[{
133 RowBox[{"(*", " ",
134 RowBox[{
135 RowBox[{"To", " ", "get", " ", "more", " ", "print"}], "-",
136 RowBox[{"outs", " ", "to", " ", "the", " ", "screen"}]}], " ", "*)"}],
137 "\[IndentingNewLine]",
138 RowBox[{
139 RowBox[{"MoGRe$Debug", "=", "True"}], ";"}]}]], "Input",
140 CellChangeTimes->{{3.771263627141055*^9, 3.7712636335707293`*^9}}],
141
142Cell[BoxData[
143 RowBox[{
144 RowBox[{"(*", " ",
145 RowBox[{
146 "Setting", " ", "the", " ", "options", " ", "of", " ", "the", " ", "main",
147 " ", "function"}], " ", "*)"}], "\[IndentingNewLine]",
148 RowBox[{
149 RowBox[{"SetOptions", "[",
150 RowBox[{"MoGRe$Renormalize", ",", " ",
151 RowBox[{"Exclude4Scalars", "\[Rule]", "False"}], ",",
152 RowBox[{"FlavorMixing", "\[Rule]", "False"}], ",",
153 RowBox[{"CouplingOrders", "\[Rule]",
154 RowBox[{"{", "QCD", "}"}]}], ",",
155 RowBox[{"CanonicalTwoPoints", "\[Rule]", "True"}]}], "]"}],
156 ";"}]}]], "Input",
157 CellChangeTimes->{{3.771263641132224*^9, 3.7712636559080553`*^9}, {
158 3.7796218121813602`*^9, 3.7796218127058563`*^9}, {3.7796229843052807`*^9,
159 3.779622984874784*^9}, {3.780979808313796*^9, 3.7809798160041103`*^9}}]
160}, Open ]],
161
162Cell[CellGroupData[{
163
164Cell["OS renormalization", "Subsubsection",
165 CellChangeTimes->{{3.771264549679812*^9, 3.771264557709045*^9}, {
166 3.771264725891897*^9, 3.771264729628981*^9}, {3.779622421220426*^9,
167 3.779622424683118*^9}}],
168
169Cell[BoxData[
170 RowBox[{
171 RowBox[{"(*", " ",
172 RowBox[{"Unrenormalized", " ", "parameters"}], " ", "*)"}],
173 "\[IndentingNewLine]",
174 RowBox[{
175 RowBox[{"MoGRe`DefineUnrenormalizedParameters", "[",
176 RowBox[{"{", "\[IndentingNewLine]",
177 RowBox[{
178 "Gf", ",", "aEWM1", ",", "MZ", ",", "delCP", ",", "dmsq32", ",",
179 "dmsq21", ",", "th12", ",", "th13", ",", "th23", ",", "phiM1", ",",
180 "phiM2", ",", "vevD", ",", "lamHD1", ",", "lamD1"}], "}"}], "]"}],
181 ";"}]}]], "Input",
182 CellChangeTimes->{{3.771264570309547*^9, 3.771264574380278*^9}, {
183 3.779622328795891*^9, 3.779622332835644*^9}, {3.779623239502658*^9,
184 3.7796232588028*^9}, {3.779623369643303*^9, 3.7796233703313828`*^9}, {
185 3.779625801787382*^9, 3.779625812383876*^9}, {3.779625921812018*^9,
186 3.7796259254903584`*^9}, {3.779626038445567*^9, 3.779626041360046*^9}, {
187 3.779626348010645*^9, 3.779626365854025*^9}, {3.779626431993538*^9,
188 3.7796264326080313`*^9}, {3.7796265337645187`*^9, 3.779626563396529*^9}, {
189 3.780942696192215*^9, 3.780942696568851*^9}, {3.782214502433197*^9,
190 3.782214502546574*^9}}],
191
192Cell[BoxData[
193 RowBox[{
194 RowBox[{"(*", " ", "Fields", " ", "*)"}], "\[IndentingNewLine]",
195 RowBox[{
196 RowBox[{
197 RowBox[{"MoGRe`DeclareUnrenormalizedFields", "[",
198 RowBox[{"W", ",", "A", ",", "Z"}], "]"}], ";"}], "\[IndentingNewLine]",
199 RowBox[{
200 RowBox[{"MoGRe`RealFieldRenormalization", "[", "]"}], " ",
201 ";"}]}]}]], "Input",
202 CellChangeTimes->{{3.771264582333989*^9, 3.771264608943572*^9}}],
203
204Cell[BoxData[
205 RowBox[{
206 RowBox[{"(*", " ",
207 RowBox[{"Removing", " ", "some", " ", "parameters", " ",
208 RowBox[{"(",
209 RowBox[{
210 RowBox[{"cf", ".", " ", "the"}], " ", "way", " ", "NLOCT", " ",
211 "works"}], ")"}]}], " ", "*)"}], "\[IndentingNewLine]",
212 RowBox[{
213 RowBox[{
214 RowBox[{
215 RowBox[{"MoGRe`RemovingInternalCst", "[", "#", "]"}], "&"}], "/@",
216 RowBox[{"{", "\[IndentingNewLine]",
217 RowBox[{"gs", ",", "\[IndentingNewLine]",
218 RowBox[{"Sequence", "@@",
219 RowBox[{"Flatten", "[",
220 RowBox[{"Table", "[",
221 RowBox[{
222 RowBox[{"{",
223 RowBox[{
224 RowBox[{"yu", "[",
225 RowBox[{"i", ",", "i"}], "]"}], ",",
226 RowBox[{"yd", "[",
227 RowBox[{"i", ",", "i"}], "]"}]}], "}"}], ",",
228 RowBox[{"{",
229 RowBox[{"i", ",", "1", ",", "3"}], "}"}]}], "]"}], "]"}]}], ",",
230 "\[IndentingNewLine]",
231 RowBox[{"Sequence", "@@",
232 RowBox[{"Flatten", "[",
233 RowBox[{"Table", "[",
234 RowBox[{
235 RowBox[{"{",
236 RowBox[{"CKM", "[",
237 RowBox[{"i", ",", "j"}], "]"}], "}"}], ",",
238 RowBox[{"{",
239 RowBox[{"i", ",", "1", ",", "3"}], "}"}], ",",
240 RowBox[{"{",
241 RowBox[{"j", ",", "1", ",", "3"}], "}"}]}], "]"}], "]"}]}]}],
242 "\[IndentingNewLine]", "}"}]}], ";"}]}]], "Input",
243 CellChangeTimes->{{3.771264625204327*^9, 3.771264640138379*^9},
244 3.779622343993898*^9}]
245}, Open ]],
246
247Cell[CellGroupData[{
248
249Cell["Computation of the renormalised Lagrangian", "Subsubsection",
250 CellChangeTimes->{{3.771264736607092*^9, 3.771264744086411*^9}}],
251
252Cell[BoxData[
253 RowBox[{
254 RowBox[{"LReno", " ", "=",
255 RowBox[{"MoGRe$Renormalize", "[",
256 RowBox[{"Plus", "@@", "lags"}], "]"}]}], ";"}]], "Input",
257 CellChangeTimes->{{3.771264750774624*^9, 3.771264754345985*^9}, {
258 3.779622437680065*^9, 3.7796224387360353`*^9}, 3.779624783600335*^9, {
259 3.7796274220329533`*^9, 3.779627429379524*^9}, {3.7796294251206827`*^9,
260 3.779629444949071*^9}, {3.779629548413604*^9, 3.7796295518915253`*^9}}]
261}, Open ]],
262
263Cell[CellGroupData[{
264
265Cell["Check of the output", "Subsubsection",
266 CellChangeTimes->{{3.771265709950657*^9, 3.771265712926222*^9}}],
267
268Cell[BoxData[
269 RowBox[{
270 RowBox[{"(*",
271 RowBox[{"The", " ", "renormalization", " ", "conditions", " ",
272 RowBox[{"(",
273 RowBox[{"this", " ", "is", " ", "an", " ", "input"}], ")"}]}], " ",
274 "*)"}], "\[IndentingNewLine]", "MoGRe`SchemeRules"}]], "Input",
275 CellChangeTimes->{{3.771265755382235*^9, 3.771265786258514*^9}}],
276
277Cell[BoxData[
278 RowBox[{
279 RowBox[{"(*", " ", "Masses", " ", "*)"}], "\[IndentingNewLine]",
280 RowBox[{"RenormalizationRules", "[", "\"\<Masses\>\"", "]"}]}]], "Input",
281 CellChangeTimes->{{3.7451518713843946`*^9, 3.745151922162116*^9}, {
282 3.745164095936433*^9, 3.745164096200345*^9}, {3.745164380017013*^9,
283 3.745164380432691*^9}, {3.7451660736095877`*^9, 3.7451660750228863`*^9}, {
284 3.745213815312695*^9, 3.745213818856022*^9}, {3.74523151148385*^9,
285 3.7452315119531517`*^9}, {3.745303047472493*^9, 3.7453030478622513`*^9}, {
286 3.745303157313552*^9, 3.745303157889686*^9}, 3.745303406136817*^9, {
287 3.745574845804298*^9, 3.745574846145966*^9}, {3.745575407401681*^9,
288 3.7455754079116373`*^9}, {3.745578284288937*^9, 3.745578290465178*^9}, {
289 3.745582587034992*^9, 3.745582592977302*^9}, {3.7455826657703257`*^9,
290 3.7455826676585293`*^9}, {3.745582880576159*^9, 3.7455828928842697`*^9}, {
291 3.745583654476617*^9, 3.74558365461695*^9}, {3.7455837983158484`*^9,
292 3.745583798571127*^9}, 3.74564688658142*^9, {3.745647697834746*^9,
293 3.745647728311248*^9}, {3.745647806746401*^9, 3.745647810713956*^9}, {
294 3.7456480115435867`*^9, 3.7456481102599573`*^9}, {3.745663218654118*^9,
295 3.74566325795298*^9}, {3.745663711108547*^9, 3.745663711921837*^9}, {
296 3.745664612538536*^9, 3.7456646408908463`*^9}, 3.7456654013484077`*^9, {
297 3.745665650589293*^9, 3.7456656519560213`*^9}, {3.745665936303863*^9,
298 3.74566593728722*^9}, {3.7456688354046164`*^9, 3.7456688378674917`*^9}, {
299 3.745669024959618*^9, 3.745669030940509*^9}, {3.745669163428668*^9,
300 3.7456691987440863`*^9}, {3.745686812472076*^9, 3.74568681368325*^9}, {
301 3.745686880794334*^9, 3.74568688213133*^9}, {3.7456871775241747`*^9,
302 3.745687178863327*^9}, {3.745857725037485*^9, 3.745857735208394*^9}, {
303 3.7458586075203047`*^9, 3.745858613138812*^9}, {3.7458627781148767`*^9,
304 3.745862788627599*^9}, 3.745863379016315*^9, {3.745895772747778*^9,
305 3.7458957948440533`*^9}, {3.7458958293849087`*^9, 3.745895832308837*^9}, {
306 3.7463392933769217`*^9, 3.746339293953823*^9}, {3.746340958247019*^9,
307 3.746340980757111*^9}, {3.746446967049057*^9, 3.7464469672316236`*^9}, {
308 3.757309129229148*^9, 3.757309129577918*^9}, {3.757311847604082*^9,
309 3.757311850951976*^9}, {3.7573119060012207`*^9, 3.7573119133483257`*^9}, {
310 3.757400119485875*^9, 3.7574001368021793`*^9}, {3.757402948489932*^9,
311 3.757402960729457*^9}, {3.757403682464596*^9, 3.757403685895455*^9}, {
312 3.757406015321528*^9, 3.757406016888089*^9}, {3.75741526102887*^9,
313 3.757415265769416*^9}, {3.7574152965611763`*^9, 3.757415298314205*^9}, {
314 3.757416463439416*^9, 3.757416466010469*^9}, {3.757417500086125*^9,
315 3.757417523855345*^9}, {3.7574201860450373`*^9, 3.757420186670478*^9}, {
316 3.757448602343779*^9, 3.757448611302442*^9}, 3.757449335625184*^9, {
317 3.757449874383556*^9, 3.757449880587248*^9}, {3.757912547323681*^9,
318 3.757912548642529*^9}, {3.7580005002291107`*^9, 3.758000500760256*^9}, {
319 3.758005087249868*^9, 3.758005090807074*^9}, {3.758006435804907*^9,
320 3.758006444604958*^9}, {3.758161578806641*^9, 3.758161582999338*^9}, {
321 3.758164979635907*^9, 3.758164982381565*^9}, {3.758165013510289*^9,
322 3.758165029147532*^9}, {3.758165070730723*^9, 3.7581650858708963`*^9}, {
323 3.758165462675087*^9, 3.758165464347835*^9}, {3.758166197918043*^9,
324 3.7581662072139597`*^9}, {3.7581671637742367`*^9, 3.75816718202489*^9}, {
325 3.758177963109878*^9, 3.758177981847004*^9}, {3.758178134359646*^9,
326 3.758178159140918*^9}, {3.7582313015106*^9, 3.758231315264636*^9}, {
327 3.758248921123448*^9, 3.758248931762648*^9}, {3.758250734518733*^9,
328 3.758250783798354*^9}, {3.758250835228381*^9, 3.758250845550149*^9}, {
329 3.7582511056739693`*^9, 3.7582511090483103`*^9}, {3.75825131359096*^9,
330 3.758251325445635*^9}, {3.758251381280675*^9, 3.758251384116638*^9},
331 3.758251422640869*^9, {3.75825319671157*^9, 3.758253224083932*^9}, {
332 3.758257134438253*^9, 3.758257136759152*^9}, {3.758257209158524*^9,
333 3.7582572123266*^9}, {3.7582574013488417`*^9, 3.758257401749174*^9}, {
334 3.7582575392174883`*^9, 3.758257543960134*^9}, {3.758257710440304*^9,
335 3.758257731760181*^9}, {3.758257835439458*^9, 3.7582578864437447`*^9}, {
336 3.758258210240507*^9, 3.758258254261258*^9}, {3.758259393453458*^9,
337 3.7582594699190207`*^9}, {3.758259849130109*^9, 3.758259849496891*^9},
338 3.760938752558837*^9, {3.760938791593569*^9, 3.76093879283946*^9}, {
339 3.76094336376334*^9, 3.760943369090857*^9}, {3.760943562738961*^9,
340 3.760943588064082*^9}, 3.760944298912347*^9, {3.760952987831949*^9,
341 3.760952987979011*^9}, {3.760953226892173*^9, 3.760953236996063*^9}, {
342 3.76095348865825*^9, 3.760953489028057*^9}, {3.763457602937347*^9,
343 3.763457611310288*^9}, 3.763982907134116*^9, {3.763983088407049*^9,
344 3.763983089444828*^9}, {3.763983130719948*^9, 3.763983131117784*^9}, {
345 3.763983964034717*^9, 3.763983965670892*^9}, {3.763987056564139*^9,
346 3.763987059126238*^9}, {3.764005252103383*^9, 3.764005252336042*^9}, {
347 3.7640062913058977`*^9, 3.7640062939055023`*^9}, {3.7640073431045647`*^9,
348 3.764007410995483*^9}, {3.76452231518419*^9, 3.764522315471777*^9},
349 3.764522354075388*^9, {3.7645232675315247`*^9, 3.764523275689969*^9}, {
350 3.7645238003142233`*^9, 3.764523801367539*^9}, {3.764523872479026*^9,
351 3.764523881589555*^9}, {3.771263472262384*^9, 3.771263478300324*^9}, {
352 3.771263615037691*^9, 3.77126364922724*^9}, {3.771264545348506*^9,
353 3.771264606885642*^9}, 3.771264660161273*^9, 3.771264747418335*^9, {
354 3.771265717192766*^9, 3.771265723035942*^9}}],
355
356Cell[BoxData[
357 RowBox[{
358 RowBox[{"(*", " ",
359 RowBox[{"External", " ", "parameters"}], " ", "*)"}],
360 "\[IndentingNewLine]",
361 RowBox[{"RenormalizationRules", "[", "\"\<Externals\>\"", "]"}]}]], "Input",\
362
363 CellChangeTimes->{{3.771265730383052*^9, 3.771265734792964*^9}}],
364
365Cell[BoxData[
366 RowBox[{
367 RowBox[{"(*", " ",
368 RowBox[{"Internal", " ", "parameters"}], " ", "*)"}],
369 "\[IndentingNewLine]",
370 RowBox[{"RenormalizationRules", "[", "\"\<Internals\>\"", "]"}]}]], "Input",\
371
372 CellChangeTimes->{{3.758258382884212*^9, 3.758258384402162*^9}, {
373 3.7712657927013063`*^9, 3.77126579615121*^9}}],
374
375Cell[BoxData[
376 RowBox[{
377 RowBox[{"(*", " ", "Fields", " ", "*)"}], "\[IndentingNewLine]",
378 RowBox[{"RenormalizationRules", "[", "\"\<Fields\>\"", "]"}]}]], "Input",
379 CellChangeTimes->{{3.780998786973021*^9, 3.780998787517807*^9}, {
380 3.7809989754805193`*^9, 3.780998977358685*^9}}]
381}, Open ]],
382
383Cell[CellGroupData[{
384
385Cell["Writing the FA model", "Subsubsection",
386 CellChangeTimes->{{3.7796363600275784`*^9, 3.779636361893107*^9}}],
387
388Cell[BoxData[{
389 RowBox[{
390 RowBox[{"SetDirectory", "[",
391 RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
392 ";"}], "\[IndentingNewLine]",
393 RowBox[{
394 RowBox[{"WriteFeynArtsOutput", "[",
395 RowBox[{"LReno", ",",
396 RowBox[{"Output", "\[Rule]", "\"\<typeII_ih_v1_0_FA\>\""}]}], "]"}],
397 ";"}]}], "Input",
398 CellChangeTimes->{{3.779597577798992*^9, 3.779597584199922*^9}, {
399 3.779597680344357*^9, 3.779597685565913*^9}, {3.77959779313251*^9,
400 3.779597803082788*^9}, {3.779632511026588*^9, 3.77963252396973*^9}, {
401 3.779632589533596*^9, 3.779632594866434*^9}, {3.780944772665889*^9,
402 3.780944773643894*^9}, {3.7809986337490673`*^9, 3.780998634516259*^9}, {
403 3.782214543741765*^9, 3.782214545574505*^9}}]
404}, Open ]],
405
406Cell[CellGroupData[{
407
408Cell["NLOCT run", "Subsubsection",
409 CellChangeTimes->{{3.779636351041431*^9, 3.779636352006412*^9}}],
410
411Cell[BoxData[
412 RowBox[{
413 RowBox[{"Quit", "[", "]"}], ";"}]], "Input",
414 CellChangeTimes->{{3.779636370018443*^9, 3.779636371598173*^9}}],
415
416Cell[BoxData[{
417 RowBox[{"<<", " ", "FeynArts`"}], "\[IndentingNewLine]",
418 RowBox[{
419 RowBox[{
420 "SetDirectory", "[",
421 "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}],
422 ";"}], "\[IndentingNewLine]",
423 RowBox[{"<<", " ", "NLOCT`"}], "\[IndentingNewLine]",
424 RowBox[{
425 RowBox[{"SetDirectory", "[",
426 RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
427 ";"}], "\[IndentingNewLine]",
428 RowBox[{
429 RowBox[{"WriteCT", "[",
430 RowBox[{
431 "\"\<typeII_ih_v1_0_FA/typeII_ih_v1_0_FA\>\"", ",",
432 "\"\<typeII_ih_v1_0_FA/typeII_ih_v1_0_FA\>\"", ",", " ",
433 RowBox[{"Output", "->", "\"\<typeII_ih_4FNS_v1_0\>\""}], ",",
434 "\[IndentingNewLine]",
435 RowBox[{"LabelInternal", "\[Rule]", "True"}], ",",
436 RowBox[{"QCDOnly", "\[Rule]", "True"}], ",",
437 RowBox[{"KeptIndices", "\[Rule]",
438 RowBox[{"{", "}"}]}], ",",
439 RowBox[{"ZeroMom", "\[Rule]",
440 RowBox[{"{",
441 RowBox[{"{",
442 RowBox[{"aS", ",",
443 RowBox[{"{",
444 RowBox[{
445 RowBox[{"F", "[", "7", "]"}], ",",
446 RowBox[{"V", "[", "4", "]"}], ",",
447 RowBox[{"-",
448 RowBox[{"F", "[", "7", "]"}]}]}], "}"}], ",", "0"}], "}"}],
449 "}"}]}], ",", "\[IndentingNewLine]",
450 RowBox[{"Assumptions", "->",
451 RowBox[{"{",
452 RowBox[{
453 RowBox[{"MT", ">", "0"}], ",",
454 RowBox[{"MB", ">", "0"}]}], "}"}]}], ",", "\[IndentingNewLine]",
455 RowBox[{"CTparameters", "\[Rule]", "True"}], ",",
456 RowBox[{"MaxDim", "\[Rule]", "4"}], ",",
457 RowBox[{"EvenOnly", "\[Rule]", "False"}], ",",
458 RowBox[{"IsFeynmanGauge", "\[Rule]", "True"}]}], "]"}], ";"}]}], "Input",
459 CellChangeTimes->{{3.7796363829653883`*^9, 3.779636429912023*^9}, {
460 3.780999249505413*^9, 3.780999260364827*^9}, {3.782215229537178*^9,
461 3.782215245861569*^9}}]
462}, Open ]],
463
464Cell[CellGroupData[{
465
466Cell["NLO UFO", "Subsubsection",
467 CellChangeTimes->{{3.7796397724027576`*^9, 3.7796397744779*^9}}],
468
469Cell[BoxData[
470 RowBox[{"Quit", "[", "]"}]], "Input",
471 CellChangeTimes->{{3.779639826390726*^9, 3.7796398270234957`*^9}}],
472
473Cell[BoxData[{
474 RowBox[{
475 RowBox[{"$FeynRulesPath", "=",
476 RowBox[{
477 "SetDirectory", "[",
478 "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}]}],
479 ";"}], "\[IndentingNewLine]",
480 RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
481 RowBox[{
482 RowBox[{"SetDirectory", "[",
483 RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
484 ";"}], "\[IndentingNewLine]",
485 RowBox[{
486 RowBox[{"LoadModel", "[",
487 RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii_ih.fr\>\""}], "]"}],
488 ";"}], "\[IndentingNewLine]",
489 RowBox[{
490 RowBox[{"LoadRestriction", "[",
491 RowBox[{
492 RowBox[{"NotebookDirectory", "[", "]"}], "<>",
493 "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
494 RowBox[{
495 RowBox[{"LoadRestriction", "[",
496 RowBox[{
497 RowBox[{"NotebookDirectory", "[", "]"}], "<>",
498 "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
499 RowBox[{
500 RowBox[{"Get", "[", "\"\<typeII_ih_4FNS_v1_0.nlo\>\"", "]"}],
501 ";"}], "\[IndentingNewLine]",
502 RowBox[{
503 RowBox[{"If", "[",
504 RowBox[{
505 RowBox[{"!",
506 RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",",
507 "\[IndentingNewLine]",
508 RowBox[{
509 RowBox[{"lags", "=", " ",
510 RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", "\[IndentingNewLine]",
511 RowBox[{
512 RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ",
513 "lagrangian.dat"}]}], ",", "\[IndentingNewLine]",
514 RowBox[{
515 RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}],
516 ";"}], "\[IndentingNewLine]",
517 RowBox[{
518 RowBox[{"WriteUFO", "[",
519 RowBox[{"lags", ",",
520 RowBox[{"UVCounterterms", "\[Rule]",
521 RowBox[{"(",
522 RowBox[{"UV$vertlist", "/.",
523 RowBox[{"{",
524 RowBox[{
525 RowBox[{"FR$IR", "\[Rule]", "1"}], ",",
526 RowBox[{"FR$IRLog", "\[Rule]", "1"}]}], "}"}]}], ")"}]}], " ", ",",
527 RowBox[{"R2Vertices", "\[Rule]", "R2$vertlist"}], ",", " ",
528 RowBox[{"CTParameters", "\[Rule]",
529 RowBox[{"(",
530 RowBox[{"FR$CTparam", "/.",
531 RowBox[{"{",
532 RowBox[{
533 RowBox[{"FR$IR", "\[Rule]", "1"}], ",",
534 RowBox[{"FR$IRLog", "\[Rule]", "1"}]}], "}"}]}], ")"}]}], ",",
535 RowBox[{"Output", "\[Rule]", "\"\<TypeII_ih_NLO_v_1_0_UFO\>\""}]}], "]"}],
536 ";"}]}], "Input",
537 CellChangeTimes->{{3.7796397898851013`*^9, 3.779639824714785*^9}, {
538 3.7809993015566797`*^9, 3.7809993075014963`*^9}, {3.7810099956346083`*^9,
539 3.7810099982607403`*^9}, {3.7822435662746162`*^9, 3.7822435952673607`*^9}}]
540}, Open ]]
541}, Open ]],
542
543Cell[CellGroupData[{
544
545Cell["LO UFO", "Section",
546 CellChangeTimes->{{3.7796397724027576`*^9, 3.7796397744779*^9},
547 3.7809756787787046`*^9}],
548
549Cell[BoxData[
550 RowBox[{"Quit", "[", "]"}]], "Input",
551 CellChangeTimes->{{3.779639826390726*^9, 3.7796398270234957`*^9}}],
552
553Cell[BoxData[{
554 RowBox[{
555 RowBox[{"$FeynRulesPath", "=",
556 RowBox[{
557 "SetDirectory", "[",
558 "\"\<~/Work/tools/FeynRules/trunk/feynrules-development\>\"", "]"}]}],
559 ";"}], "\[IndentingNewLine]",
560 RowBox[{"<<", "FeynRules`"}], "\[IndentingNewLine]",
561 RowBox[{
562 RowBox[{"SetDirectory", "[",
563 RowBox[{"NotebookDirectory", "[", "]"}], "]"}],
564 ";"}], "\[IndentingNewLine]",
565 RowBox[{
566 RowBox[{"LoadModel", "[",
567 RowBox[{"\"\<sm_reduced.fr\>\"", ",", "\"\<type_ii_ih.fr\>\""}], "]"}],
568 ";"}], "\[IndentingNewLine]",
569 RowBox[{
570 RowBox[{"LoadRestriction", "[",
571 RowBox[{
572 RowBox[{"NotebookDirectory", "[", "]"}], "<>",
573 "\"\</Massless_4f.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
574 RowBox[{
575 RowBox[{"LoadRestriction", "[",
576 RowBox[{
577 RowBox[{"NotebookDirectory", "[", "]"}], "<>",
578 "\"\</DiagonalCKM.rst\>\""}], "]"}], ";"}], "\[IndentingNewLine]",
579 RowBox[{
580 RowBox[{"If", "[",
581 RowBox[{
582 RowBox[{"!",
583 RowBox[{"FileExistsQ", "[", "\"\<lagrangian.dat\>\"", "]"}]}], ",",
584 "\[IndentingNewLine]",
585 RowBox[{
586 RowBox[{"lags", "=", " ",
587 RowBox[{"ExpandIndices", "/@", "LType2"}]}], ";", "\[IndentingNewLine]",
588 RowBox[{
589 RowBox[{"Definition", "[", "lags", "]"}], " ", ">>", " ",
590 "lagrangian.dat"}]}], ",", "\[IndentingNewLine]",
591 RowBox[{
592 RowBox[{"<<", "lagrangian.dat"}], ";"}]}], "\[IndentingNewLine]", "]"}],
593 ";"}], "\[IndentingNewLine]",
594 RowBox[{
595 RowBox[{"WriteUFO", "[",
596 RowBox[{"lags", ",",
597 RowBox[{"Output", "\[Rule]", "\"\<TypeII_ih_LO_v1_0_UFO\>\""}]}], "]"}],
598 ";"}]}], "Input",
599 CellChangeTimes->{{3.7796397898851013`*^9, 3.779639824714785*^9}, {
600 3.780975707166958*^9, 3.780975707338049*^9}, {3.7809992294303713`*^9,
601 3.780999234867724*^9}, {3.782244668064073*^9, 3.782244673917873*^9}}]
602}, Open ]]
603},
604WindowSize->{855, 701},
605WindowMargins->{{112, Automatic}, {Automatic, 142}},
606ShowSelection->True,
607FrontEndVersion->"10.4 for Mac OS X x86 (32-bit, 64-bit Kernel) (April 11, \
6082016)",
609StyleDefinitions->"Default.nb"
610]
611(* End of Notebook Content *)
612
613(* Internal cache information *)
614(*CellTagsOutline
615CellTagsIndex->{}
616*)
617(*CellTagsIndex
618CellTagsIndex->{}
619*)
620(*NotebookFileOutline
621Notebook[{
622Cell[545, 20, 220, 4, 28, "Input"],
623Cell[CellGroupData[{
624Cell[790, 28, 188, 3, 64, "Section"],
625Cell[981, 33, 2555, 48, 114, "Input"]
626}, Open ]],
627Cell[CellGroupData[{
628Cell[3573, 86, 90, 1, 64, "Section"],
629Cell[CellGroupData[{
630Cell[3688, 91, 98, 1, 35, "Subsubsection"],
631Cell[3789, 94, 629, 15, 97, "Input"],
632Cell[4421, 111, 668, 17, 97, "Input"],
633Cell[5092, 130, 363, 9, 46, "Input"],
634Cell[5458, 141, 791, 17, 63, "Input"]
635}, Open ]],
636Cell[CellGroupData[{
637Cell[6286, 163, 207, 3, 35, "Subsubsection"],
638Cell[6496, 168, 1102, 21, 63, "Input"],
639Cell[7601, 191, 414, 10, 63, "Input"],
640Cell[8018, 203, 1490, 40, 114, "Input"]
641}, Open ]],
642Cell[CellGroupData[{
643Cell[9545, 248, 133, 1, 35, "Subsubsection"],
644Cell[9681, 251, 445, 8, 28, "Input"]
645}, Open ]],
646Cell[CellGroupData[{
647Cell[10163, 264, 110, 1, 35, "Subsubsection"],
648Cell[10276, 267, 332, 7, 46, "Input"],
649Cell[10611, 276, 5597, 77, 46, "Input"],
650Cell[16211, 355, 276, 7, 46, "Input"],
651Cell[16490, 364, 326, 8, 46, "Input"],
652Cell[16819, 374, 284, 5, 46, "Input"]
653}, Open ]],
654Cell[CellGroupData[{
655Cell[17140, 384, 113, 1, 35, "Subsubsection"],
656Cell[17256, 387, 713, 15, 46, "Input"]
657}, Open ]],
658Cell[CellGroupData[{
659Cell[18006, 407, 100, 1, 35, "Subsubsection"],
660Cell[18109, 410, 136, 3, 28, "Input"],
661Cell[18248, 415, 1797, 45, 182, "Input"]
662}, Open ]],
663Cell[CellGroupData[{
664Cell[20082, 465, 98, 1, 35, "Subsubsection"],
665Cell[20183, 468, 120, 2, 28, "Input"],
666Cell[20306, 472, 2524, 66, 267, "Input"]
667}, Open ]]
668}, Open ]],
669Cell[CellGroupData[{
670Cell[22879, 544, 119, 2, 64, "Section"],
671Cell[23001, 548, 120, 2, 28, "Input"],
672Cell[23124, 552, 1821, 48, 216, "Input"]
673}, Open ]]
674}
675]
676*)
677