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:
|
---|
10 | NotebookFileLineBreakTest
|
---|
11 | NotebookFileLineBreakTest
|
---|
12 | NotebookDataPosition[ 158, 7]
|
---|
13 | NotebookDataLength[ 21976, 523]
|
---|
14 | NotebookOptionsPosition[ 20002, 489]
|
---|
15 | NotebookOutlinePosition[ 20342, 504]
|
---|
16 | CellTagsIndexPosition[ 20299, 501]
|
---|
17 | WindowFrame->Normal*)
|
---|
18 |
|
---|
19 | (* Beginning of Notebook Content *)
|
---|
20 | Notebook[{
|
---|
21 |
|
---|
22 | Cell[CellGroupData[{
|
---|
23 | Cell["NLO", "Section",
|
---|
24 | CellChangeTimes->{{3.783689867070311*^9, 3.783689868916458*^9},
|
---|
25 | 3.7836902568877707`*^9},ExpressionUUID->"208ed184-f7f3-4e8a-809e-\
|
---|
26 | d289ef792820"],
|
---|
27 |
|
---|
28 | Cell[BoxData[
|
---|
29 | RowBox[{"Quit", "[", "]"}]], "Input",
|
---|
30 | CellChangeTimes->{{3.7836902645715714`*^9, 3.7836902661140347`*^9}},
|
---|
31 | CellLabel->"In[1]:=",ExpressionUUID->"f9d88617-362b-48ac-b512-65895534dee1"],
|
---|
32 |
|
---|
33 | Cell[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-\
|
---|
86 | 1e3c8c43b534"],
|
---|
87 |
|
---|
88 | Cell[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 |
|
---|
106 | Cell[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 |
|
---|
160 | Cell[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 |
|
---|
223 | Cell[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 |
|
---|
234 | Cell[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 |
|
---|
262 | Cell[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 |
|
---|
280 | Cell[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 |
|
---|
286 | Cell[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-\
|
---|
305 | b9987539869f"],
|
---|
306 |
|
---|
307 | Cell[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 |
|
---|
341 | Cell[BoxData[
|
---|
342 | RowBox[{"Quit", "[", "]"}]], "Input",
|
---|
343 | CellChangeTimes->{{3.779639826390726*^9, 3.7796398270234957`*^9}},
|
---|
344 | CellLabel->"In[7]:=",ExpressionUUID->"ed21d954-0e8d-476e-8faa-22ff29a890dc"],
|
---|
345 |
|
---|
346 | Cell[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-\
|
---|
395 | 9047156e3c61"],
|
---|
396 |
|
---|
397 | Cell[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 |
|
---|
424 | Cell[CellGroupData[{
|
---|
425 |
|
---|
426 | Cell["LO", "Section",
|
---|
427 | CellChangeTimes->{{3.783689867070311*^9,
|
---|
428 | 3.783689868916458*^9}},ExpressionUUID->"c25536b3-78a0-4fa9-be3d-\
|
---|
429 | ef2e68af53f3"],
|
---|
430 |
|
---|
431 | Cell[BoxData[
|
---|
432 | RowBox[{"Quit", "[", "]"}]], "Input",
|
---|
433 | CellChangeTimes->{{3.783689874059099*^9, 3.783689875531411*^9}},
|
---|
434 | CellLabel->"In[1]:=",ExpressionUUID->"431ebc49-1852-4271-a973-569f8a35a959"],
|
---|
435 |
|
---|
436 | Cell[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-\
|
---|
487 | 852e883b05e3"]
|
---|
488 | }, Open ]]
|
---|
489 | },
|
---|
490 | WindowSize->{1092, 744},
|
---|
491 | WindowMargins->{{Automatic, 662}, {305, Automatic}},
|
---|
492 | FrontEndVersion->"12.0 for Mac OS X x86 (64-bit) (April 8, 2019)",
|
---|
493 | StyleDefinitions->"Default.nb"
|
---|
494 | ]
|
---|
495 | (* End of Notebook Content *)
|
---|
496 |
|
---|
497 | (* Internal cache information *)
|
---|
498 | (*CellTagsOutline
|
---|
499 | CellTagsIndex->{}
|
---|
500 | *)
|
---|
501 | (*CellTagsIndex
|
---|
502 | CellTagsIndex->{}
|
---|
503 | *)
|
---|
504 | (*NotebookFileOutline
|
---|
505 | Notebook[{
|
---|
506 | Cell[CellGroupData[{
|
---|
507 | Cell[580, 22, 173, 3, 67, "Section",ExpressionUUID->"208ed184-f7f3-4e8a-809e-d289ef792820"],
|
---|
508 | Cell[756, 27, 200, 3, 30, "Input",ExpressionUUID->"f9d88617-362b-48ac-b512-65895534dee1"],
|
---|
509 | Cell[959, 32, 2885, 53, 136, "Input",ExpressionUUID->"a41a6f64-aff6-490a-a0d8-1e3c8c43b534"],
|
---|
510 | Cell[3847, 87, 706, 16, 115, "Input",ExpressionUUID->"85900211-dbcd-4e7c-adc9-b0c3454ff9c5"],
|
---|
511 | Cell[4556, 105, 2241, 52, 283, "Input",ExpressionUUID->"09fec849-448a-49a6-9b9f-74909bc58ac7"],
|
---|
512 | Cell[6800, 159, 2531, 61, 241, "Input",ExpressionUUID->"b4d75f27-ad07-4041-8347-16469b72ae53"],
|
---|
513 | Cell[9334, 222, 524, 9, 30, "Input",ExpressionUUID->"19928e68-86cc-4534-8fca-91adca3c7aa9"],
|
---|
514 | Cell[9861, 233, 1204, 26, 220, "Input",ExpressionUUID->"64686b84-eb26-4f51-92c1-9655c67accb6"],
|
---|
515 | Cell[11068, 261, 789, 16, 52, "Input",ExpressionUUID->"2924914f-57ad-4c21-a2d2-0196a3defb04"],
|
---|
516 | Cell[11860, 279, 214, 4, 30, "Input",ExpressionUUID->"0e5e3761-6f79-4f6e-8b2a-f2114850b009"],
|
---|
517 | Cell[12077, 285, 989, 19, 115, "Input",ExpressionUUID->"98bc1033-ce6c-4e63-9595-b9987539869f"],
|
---|
518 | Cell[13069, 306, 1337, 32, 157, "Input",ExpressionUUID->"88620b5f-5d7b-4464-ab3b-e8ce766d1b54"],
|
---|
519 | Cell[14409, 340, 198, 3, 30, "Input",ExpressionUUID->"ed21d954-0e8d-476e-8faa-22ff29a890dc"],
|
---|
520 | Cell[14610, 345, 1960, 49, 241, "Input",ExpressionUUID->"0e3735fa-3c99-489e-a4f3-9047156e3c61"],
|
---|
521 | Cell[16573, 396, 1046, 24, 52, "Input",ExpressionUUID->"baa57a44-b9b0-4154-aa69-15fac54a3828"]
|
---|
522 | }, Open ]],
|
---|
523 | Cell[CellGroupData[{
|
---|
524 | Cell[17656, 425, 147, 3, 67, "Section",ExpressionUUID->"c25536b3-78a0-4fa9-be3d-ef2e68af53f3"],
|
---|
525 | Cell[17806, 430, 196, 3, 30, "Input",ExpressionUUID->"431ebc49-1852-4271-a973-569f8a35a959"],
|
---|
526 | Cell[18005, 435, 1981, 51, 262, "Input",ExpressionUUID->"63867beb-ca61-4047-bfc9-852e883b05e3"]
|
---|
527 | }, Open ]]
|
---|
528 | }
|
---|
529 | ]
|
---|
530 | *)
|
---|
531 |
|
---|