HepLib
Loading...
Searching...
No Matches
Init.cpp
Go to the documentation of this file.
1
6#include "BASIC.h"
7#include "HEP.h"
8#include "QGRAF.h"
9#include "QCD.h"
10#include "IBP.h"
11#include "SD.h"
12#include "DE.h"
13#include "AMF.h"
14#include <cstdlib>
15
16#include "cln/cln.h"
17#include <dlfcn.h>
18#include <string.h>
19#include <string>
20
21namespace HepLib {
22
23
24 namespace {
25 string install_prefix() {
26 static string wdir = "";
27 if(wdir == "") {
28 string path;
29 Dl_info dl_info;
30 dladdr((void*)install_prefix, &dl_info);
31 path = dl_info.dli_fname;
32 wdir = path.substr(0, path.find_last_of('/'));
33 path = wdir;
34 wdir = path.substr(0, path.find_last_of('/'));
35 }
36 return wdir;
37 }
38 }
39
40 // Initialization Unit
41 // to make sure the initialization order is correct,
42 // i.e., ordered in one compilation unit
43
44 // FROM class
45
46 // similar to GINAC_DECLARE_UNARCHIVER/GINAC_IMPLEMENT_REGISTERED_CLASS_OPT
47 GiNaC::registered_class_info Symbol::reg_info =
48 GiNaC::registered_class_info(GiNaC::registered_class_options("Symbol", "symbol", typeid(Symbol)));
49
50 GiNaC::registered_class_info iSymbol::reg_info =
51 GiNaC::registered_class_info(GiNaC::registered_class_options("iSymbol", "symbol", typeid(iSymbol)));
52
53 GiNaC::registered_class_info XIntegral::reg_info =
54 GiNaC::registered_class_info(GiNaC::registered_class_options("XIntegral", "basic", typeid(XIntegral)).print_func<print_dflt>(&XIntegral::print));
55
56 GiNaC::registered_class_info Index::reg_info =
57 GiNaC::registered_class_info(GiNaC::registered_class_options("Index", "basic", typeid(Index)).print_func<print_context>(&Index::print));
58
59 GiNaC::registered_class_info Vector::reg_info =
60 GiNaC::registered_class_info(GiNaC::registered_class_options("Vector", "basic", typeid(Vector)).print_func<print_context>(&Vector::print));
61
62 GiNaC::registered_class_info SUNT::reg_info =
63 GiNaC::registered_class_info(GiNaC::registered_class_options("SUNT", "basic", typeid(SUNT)).print_func<print_dflt>(&SUNT::print).print_func<FormFormat>(&SUNT::form_print).print_func<FCFormat>(&SUNT::fc_print));
64
65 GiNaC::registered_class_info SUNF::reg_info =
66 GiNaC::registered_class_info(GiNaC::registered_class_options("SUNF", "basic", typeid(SUNF)).print_func<print_dflt>(&SUNF::print).print_func<FormFormat>(&SUNF::form_print).print_func<FCFormat>(&SUNF::fc_print));
67
68 GiNaC::registered_class_info SUNF4::reg_info =
69 GiNaC::registered_class_info(GiNaC::registered_class_options("SUNF4", "basic", typeid(SUNF4)).print_func<print_dflt>(&SUNF4::print).print_func<FormFormat>(&SUNF4::form_print).print_func<FCFormat>(&SUNF4::fc_print));
70
71 GiNaC::registered_class_info DGamma::reg_info =
72 GiNaC::registered_class_info(GiNaC::registered_class_options("DGamma", "basic", typeid(DGamma)).print_func<print_dflt>(&DGamma::print).print_func<FormFormat>(&DGamma::form_print).print_func<FCFormat>(&DGamma::fc_print));
73
74 GiNaC::registered_class_info AsGamma::reg_info =
75 GiNaC::registered_class_info(GiNaC::registered_class_options("AsGamma", "basic", typeid(AsGamma)).print_func<print_dflt>(&AsGamma::print).print_func<FormFormat>(&AsGamma::form_print).print_func<FCFormat>(&AsGamma::fc_print));
76
77 GiNaC::registered_class_info Eps::reg_info =
78 GiNaC::registered_class_info(GiNaC::registered_class_options("Eps", "basic", typeid(Eps)).print_func<print_dflt>(&Eps::print).print_func<FormFormat>(&Eps::form_print).print_func<FCFormat>(&Eps::fc_print));
79
80 GiNaC::registered_class_info Pair::reg_info =
81 GiNaC::registered_class_info(GiNaC::registered_class_options("Pair", "basic", typeid(Pair)).print_func<print_dflt>(&Pair::print).print_func<FormFormat>(&Pair::form_print).print_func<FCFormat>(&Pair::fc_print));
82
83 // FROM BASIC
84
85 string Version = "1.5 @2024-04-28";
86 exmap Symbol::vmap;
87 std::map<std::string, ex> Symbol::Table; // alias as symtab in parser
88 std::map<std::string, ex> iSymbol::Table; // alias as symtab in parser
89 GiNaC::exmap Index::Dimension; // default dimension is d, others specified here.
90
91 unsigned nopat = GiNaC::subs_options::no_pattern;
92
93 ex w = wild();
94 ex w0 = wild(0);
95 ex w1 = wild(1);
96 ex w2 = wild(2);
97 ex w3 = wild(3);
98 ex w4 = wild(4);
99 ex w5 = wild(5);
100 ex w6 = wild(6);
101 ex w7 = wild(7);
102 ex w8 = wild(8);
103 ex w9 = wild(9);
104
105 // normal/factor options
106 int _o_ = 0;
107 const int o_none = (_o_++);
108 const int o_normal = (_o_++);
109 const int o_fermat = (_o_++);
110 const int o_fermatfD = (_o_++);
111 const int o_fermatN = (_o_++);
112 const int o_form = (_o_++);
113 const int o_flint = (_o_++);
114 const int o_flintf = (_o_++);
115 const int o_flintfD = (_o_++);
116 const int o_normal_fermat = (_o_++);
117 const int o_normal_form = (_o_++);
118 const int o_fermat_form = (_o_++);
119
120 // Symbols
121 const Symbol NA("NA");
122 const Symbol NF("NF");
123 const Symbol TF("TF");
124 const Symbol CA("CA");
125 const Symbol CF("CF");
126 const Symbol gs("gs");
127 const Symbol as("as");
128 const Symbol mu("mu");
129 const Symbol nL("nL");
130 const Symbol nH("nH");
131 const Symbol eps("eps");
132 const Symbol vs("vs");
133 const Symbol vz("vz");
134 const Symbol epz("epz");
135 const Symbol NaN("NaN");
136 const Symbol ep("ep");
137 const Symbol d("d");
138 const Symbol iet("iet");
139 const iSymbol iEpsilon("iEpsilon");
140
141 const ex iEpsilonN = I*pow(ex(10), -50);
142 int Verbose = 0;
143 string PRE = " ";
144 bool Debug = false;
145 bool In_GiNaC_Parallel = false;
147 map<string, int> GiNaC_Parallel_NP;
148 map<string, int> GiNaC_Parallel_Verb;
150 map<string, int> GiNaC_Parallel_NB;
151 map<string, bool> GiNaC_Parallel_RM;
152 map<string, string> GiNaC_Parallel_PRE;
153 map<string, bool> GiNaC_Parallel_ReWR;
155 map<ex,long long,ex_is_less> fermat_weight;
156 bool using_cache = true;
157 long long cache_limit = -1;
158 int NNDigits = 100;
159
161
162 string InstallPrefix = install_prefix();
163 string INC_FLAGS = "-I'"+InstallPrefix+"/include' " + "@INC_FLAGS@";
164 string LIB_FLAGS = "-L'"+InstallPrefix+"/lib' -Wl,-rpath,'"+InstallPrefix+"'/lib " + "@LIB_FLAGS@";
165
166 int Fermat::buffer_size = 1024*128;
167 int Form::buffer_size = 1024*128;
168
169 bool SD::SecDec::use_dlclose = true;
170 string SD::SecDec::cpp = "g++ -w";
171
172 SD::CppFormat::_init::_init() {
173 set_print_func<numeric, CppFormat>(CppFormat::print_numeric);
174 }
175 SD::CppFormat::_init SD::CppFormat::CppFormat_init;
177 set_print_func<numeric, ExFormat>(ExFormat::print_numeric);
178 }
179 SD::ExFormat::_init SD::ExFormat::ExFormat_init;
181
182 exmap SP_map;
183 map<ex,string,ex_is_less> QGRAF::LineTeX; // key is the filed
184 map<ex,string,ex_is_less> QGRAF::VerTeX; // key is the fileds in vertex
185 map<ex,string,ex_is_less> QGRAF::InOutTeX; // key is the id, id<0
186
187 FCFormat::_init::_init() {
188 set_print_func<ncmul, FCFormat>(FCFormat::ncmul_print);
189 }
190 FCFormat::_init FCFormat::FCFormat_init;
191
192 FormFormat::_init::_init() {
193 set_print_func<power, FormFormat>(FormFormat::power_print);
194 }
195 FormFormat::_init FormFormat::FormFormat_init;
197
198 const int form_trace_auto = 0;
199 const int form_trace_all = 1;
200 const int form_trace_each_all = 2;
201 const int form_trace_each_each = 3;
203
204 const int form_expand_none = 0;
205 const int form_expand_tr = 1;
206 const int form_expand_ci = 2;
207 const int form_expand_li = 3;
208 const int form_expand_all = 4;
211 bool form_using_su3 = false;
212 bool form_using_dim4 = false;
213 bool form_using_gamma5 = false;
214
215 QGRAF::Process::_init::_init() {
216 auto A = Symbol("A");
217 auto q = Symbol("q");
218 auto qbar = Symbol("qbar");
219 auto l = Symbol("l");
220 auto lbar = Symbol("lbar");
221 auto gh = Symbol("gh");
222 auto ghbar = Symbol("ghbar");
223 auto g = Symbol("g");
224 auto Q = Symbol("Q");
225 auto Qbar = Symbol("Qbar");
226 auto C = Symbol("C");
227 auto Cbar = Symbol("Cbar");
228 auto B = Symbol("B");
229 auto Bbar = Symbol("Bbar");
230 auto n = Symbol("n");
231 auto nbar = Symbol("nbar");
232 auto e = Symbol("e");
233
234 LineTeX[q] = "fermion, edge label=$q$";
235 LineTeX[qbar] = "anti fermion, edge label=$q$";
236 LineTeX[l] = "fermion, edge label=$l$";
237 LineTeX[lbar] = "anti fermion, edge label=$l$";
238 LineTeX[gh] = "ghost, edge label=$\\chi$";
239 LineTeX[ghbar] = "ghost, edge label=$\\chi$";
240 LineTeX[g] = "gluon, edge label=$g$";
241 LineTeX[A] = "photon, edge label=$\\gamma$";
242 LineTeX[Q] = "fermion, edge label=$Q$";
243 LineTeX[Qbar] = "anti fermion, edge label=$Q$";
244 LineTeX[C] = "fermion, edge label=$c$";
245 LineTeX[Cbar] = "anti fermion, edge label=$c$";
246 LineTeX[B] = "fermion, edge label=$b$";
247 LineTeX[Bbar] = "anti fermion, edge label=$b$";
248 LineTeX[n] = "double distance=1.5pt";
249 LineTeX[nbar] = "double distance=1.5pt";
250 LineTeX[e] = "color=white";
251
252 VerTeX[lst{Qbar, e, nbar}] = "[crossed dot]";
253 VerTeX[lst{nbar, e, g}] = "[crossed dot]";
254
255 {
256 Symbol U("U"); // U-quark
257 Symbol Ubar("Ubar"); // anti U-quark
258 Symbol D("D"); // D-quark
259 Symbol Dbar("Dbar"); // anti D-quark
260 Symbol C("C"); // C-quark
261 Symbol Cbar("Cbar"); // anti C-quark
262 Symbol S("S"); // S-quark
263 Symbol Sbar("Sbar"); // anti S-quark
264 Symbol T("T"); // T-quark
265 Symbol Tbar("Tbar"); // anti T-quark
266 Symbol B("B"); // B-quark
267 Symbol Bbar("Bbar"); // anti B-quark
268
269 Symbol g("g"); // gluon
270 Symbol gh("gh"); // gluon ghost
271 Symbol ghbar("ghbar"); // anti gluon ghost
272
273 Symbol A("A"); // photon
274 Symbol Wm("Wm"); // W-
275 Symbol Wp("Wp"); // W+
276 Symbol Z("Z"); // Z
277
278 Symbol ghA("SW"); // photon ghost
279 Symbol ghAbar("ghAbar"); // anti photon ghost
280 Symbol ghWm("ghWm"); // W- ghost
281 Symbol ghWmbar("ghWmbar"); // anti W- ghost
282 Symbol ghWp("ghWp"); // W+ ghost
283 Symbol ghWpbar("ghWpbar"); // anti W+ ghost
284 Symbol ghZ("ghZ"); // Z ghost
285 Symbol ghZbar("ghZbar"); // anti Z ghost
286
287 Symbol em("em"); // e-
288 Symbol ep("ep"); // e+
289 Symbol ne("ne"); // e-neutrino
290 Symbol nebar("nebar"); // anti e-neutrino
291 Symbol mum("mum"); // mu-
292 Symbol mup("mup"); // mu+
293 Symbol nmu("nmu"); // mu-neutrino
294 Symbol nmubar("nmubar"); // anti mu-neutrino
295 Symbol taum("taum"); // tau-
296 Symbol taup("taup"); // tau+
297 Symbol ntau("ntau"); // tau-neutrino
298 Symbol ntaubar("ntaubar"); // anti tau-neutrino
299
300 Symbol chi("chi"); // Z goldstone
301 Symbol phim("phim"); // W- goldstone
302 Symbol phip("phip"); // W+ goldstone
303 Symbol H("H"); // higgs
304
305 lst fs = { U, D, C, S, T, B, em, mum, taum, ne, nmu, ntau};
306 lst fs2 = {Ubar, Dbar, Cbar, Sbar, Tbar, Bbar, ep, mup, taup, nebar, nmubar, ntaubar};
307 string fsi[] = { "$u$", "$d$", "$c$", "$s$", "$t$", "$b$", "$e$", "$\\mu$", "$\\tau$", "$\\nu_e$", "$\\nu_\\mu$", "$\\nu_\\tau$" };
308 for(int i=0; i<fs.nops(); i++) {
309 auto si = fsi[i];
310 LineTeX[fs.op(i)] = "fermion ,edge label="+si;
311 LineTeX[fs2.op(i)] = "anti fermion ,edge label="+si;
312 }
313
314 LineTeX[Wp] = "photon, edge label=$W$";
315 LineTeX[Wm] = "photon, edge label=$W$";
316 LineTeX[Z] = "photon, edge label=$Z$";
317
318 LineTeX[H]="scalar, edge label=$H$";
319 LineTeX[chi]="scalar, edge label=$\\chi$";
320 LineTeX[phim]="charged scalar, edge label=$\\phi$";
321 LineTeX[phip]="anti charged scalar, edge label=$\\phi$";
322
323 lst ghs = {gh, ghA, ghWm, ghWp, ghZ};
324 lst ghs2 = {ghbar, ghAbar, ghWmbar, ghWpbar, ghZbar};
325 string ghsi[] = {"$c$", "$c_\\gamma$", "$c_-$", "$c_+$", "$c_Z$"};
326
327 for(int i=0; i<ghs.nops(); i++) {
328 auto si = ghsi[i];
329 LineTeX[ghs.op(i)] = "ghost ,edge label="+si;
330 LineTeX[ghs2.op(i)] = "anti ghost ,edge label="+si;
331 }
332 }
333 }
334 QGRAF::Process::_init QGRAF::Process::Process_init;
335
336 // FROM IBP
337 int FIRE::Version = 6;
338 exmap MapPreSP;
339
340 string UKIRA::KArgs = "";
341 string KIRA::KArgs = "";
342
343 // FROM QCD
344 int QCD::FF::cur_mode = 0; // 0 - gluon, 1 - quark, 2 - anti-quark
345
346 // FROM DE
347 slong error_pass_dp = 100;
348
349 // FROM AMF
350 int DEX::Threads = 8;
351
352 // gamma matrix
353 ex DGamma::I = GAS(1);
354 ex DGamma::g5 = GAS(5);
355 ex DGamma::C = GAS(int('c'));
356
357 // global init
358 std::stack<cln::float_format_t> cln_prec_stack;
359 std::stack<long> digits_stack;
360 _global_init::_init::_init() {
361 ostringstream oss;
362 string path = InstallPrefix + "/bin";
363 if(dir_exists(path)) oss << path;
364
365 auto opath = getenv("PATH");
366 if(opath != NULL) oss << ":" << opath;
367 setenv("PATH", oss.str().c_str(), true);
368
369 // similar to GINAC_DECLARE_UNARCHIVER/GINAC_BIND_UNARCHIVER
370 GiNaC::unarchive_table_t table;
371 table.insert(std::string("Symbol"), []()->GiNaC::basic*{ return new Symbol(); });
372 table.insert(std::string("iSymbol"), []()->GiNaC::basic*{ return new iSymbol(); });
373 table.insert(std::string("XIntegral"), []()->GiNaC::basic*{ return new XIntegral(); });
374 table.insert(std::string("Index"), []()->GiNaC::basic*{ return new Index(); });
375 table.insert(std::string("Vector"), []()->GiNaC::basic*{ return new Vector(); });
376 table.insert(std::string("SUNT"), []()->GiNaC::basic*{ return new SUNT(); });
377 table.insert(std::string("SUNF"), []()->GiNaC::basic*{ return new SUNF(); });
378 table.insert(std::string("SUNF4"), []()->GiNaC::basic*{ return new SUNF4(); });
379 table.insert(std::string("DGamma"), []()->GiNaC::basic*{ return new DGamma(); });
380 table.insert(std::string("AsGamma"), []()->GiNaC::basic*{ return new AsGamma(); });
381 table.insert(std::string("Eps"), []()->GiNaC::basic*{ return new Eps(); });
382 table.insert(std::string("Pair"), []()->GiNaC::basic*{ return new Pair(); });
383
384 // CLN configurations
385 cln::cl_inhibit_floating_point_underflow = true;
386 Digits = 100;
387 set_precision(100);
388 }
389 _global_init::_init _global_init::init_object;
390
391}
392
393std::string HepLib::QGRAF::Process::Style = R"EOF(
394<prologue>
395
396<diagram>
397((<sign><symmetry_factor>)*
398<in_loop>InField(<field>,<field_index>,<momentum>)*
399<end>
400<back><out_loop>OutField(<field>,<field_index>,<momentum>)*
401<end>
402<back><propagator_loop>Propagator(
403<back>Field(<field>,<field_index>),
404<back>Field(<dual-field>,<dual-field_index>),
405<back><momentum>)*
406<end>
407<back><vertex_loop>Vertex(
408<back><ray_loop>Field(<field>,<field_index>,<momentum>),
409<back><end><back>)*
410<end><back><back>)
411,
412<epilogue>
413
414<exit>
415
416)EOF";
417
418std::string HepLib::QGRAF::Models::GluonFF = R"EOF(
419[ model = 'Gluon FF Model' ]
420[q, qbar, -]
421[Q, Qbar, -]
422[gh, ghbar, -]
423[g, g, +, notadpole]
424[e, e, +, external]
425[n, nbar, +]
426[qbar, q, g; QCD='+1']
427[Qbar, Q, g; QCD='+1']
428[g, g, g, g; QCD='+2']
429[g, g, g; QCD='+1']
430[ghbar, gh, g; QCD='+1']
431[nbar, n, g; QCD='+1']
432[nbar, e, g; QCD='+0']
433%[n, e, g; QCD='+0']
434)EOF";
435
436std::string HepLib::QGRAF::Models::QuarkFF = R"EOF(
437[ model = 'Quark FF Model' ]
438[q, qbar, -]
439[Q, Qbar, -]
440[e, ebar, -, external]
441[gh, ghbar, -]
442[g, g, +, notadpole]
443[n, nbar, +]
444[qbar, q, g; QCD='+1']
445[Qbar, Q, g; QCD='+1']
446[g, g, g, g; QCD='+2']
447[g, g, g; QCD='+1']
448[ghbar, gh, g; QCD='+1']
449[nbar, n, g; QCD='+1']
450[qbar, e, nbar; QCD='0']
451[ebar, q, nbar; QCD='0']
452[Qbar, e, nbar; QCD='0']
453[ebar, Q, nbar; QCD='0']
454)EOF";
455
456std::string HepLib::QGRAF::Models::SM = R"EOF(
457% From Boehm, Denner, Joos @ Feynman Gauge
458[ model = 'Standard Model' ]
459
460%------------------------------------
461% Propagators
462%------------------------------------
463
464% quarks
465[U, Ubar, -]
466[D, Dbar, -]
467[C, Cbar, -]
468[S, Sbar, -]
469[T, Tbar, -]
470[B, Bbar, -]
471
472% gluon and its ghost:
473[g, g, +, notadpole]
474[gh, ghbar, -]
475
476% V: EWSM gauge bosons
477[A, A, +, notadpole]
478[Wm, Wp, +]
479[Z, Z, +]
480
481% leptons
482[em, ep, -]
483[ne, nebar, -]
484[mum, mup, -]
485[nmu, nmubar, -]
486[taum, taup, -]
487[ntau, ntaubar, -]
488
489% G: Faddeev-Popov Ghosts
490[ghA, ghAbar, -]
491[ghZ, ghZbar, -]
492[ghWm, ghWmbar, -]
493[ghWp, ghWpbar, -]
494
495% S: scalars
496[H, H, +]
497[chi, chi, +]
498[phim, phip, +]
499
500%------------------------------------
501% Vertices
502%------------------------------------
503
504% QCD
505[Ubar, U, g; QCD='+1', QED='0']
506[Dbar, D, g; QCD='+1', QED='0']
507[Sbar, S, g; QCD='+1', QED='0']
508[Cbar, C, g; QCD='+1', QED='0']
509[Bbar, B, g; QCD='+1', QED='0']
510[Tbar, T, g; QCD='+1', QED='0']
511
512[g, g, g, g; QCD='+2', QED='0']
513[g, g, g; QCD='+1', QED='0']
514[ghbar, gh, g; QCD='+1', QED='0']
515
516% VVVV
517[Wp, Wm, Z, Z; QCD='0', QED='+2']
518[Wp, Wm, A, Z; QCD='0', QED='+2']
519[Wp, Wm, A, A; QCD='0', QED='+2']
520[Wp, Wp, Wm, Wm; QCD='0', QED='+2']
521
522% VVV
523[Wp, Wm, A; QCD='0', QED='+1']
524[Wp, Wm, Z; QCD='0', QED='+1']
525
526% SSSS
527[H, H, H, H; QCD='0', QED='+2']
528[chi, chi, chi, chi; QCD='0', QED='+2']
529[H, H, chi, chi; QCD='0', QED='+2']
530[H, H, phim, phip; QCD='0', QED='+2']
531[chi, chi, phim, phip; QCD='0', QED='+2']
532[phim, phip, phim, phip; QCD='0', QED='+2']
533
534% SSS
535[H, H, H; QCD='0', QED='+1']
536[H, chi, chi; QCD='0', QED='+1']
537[H, phim, phip; QCD='0', QED='+1']
538
539% VVSS
540[Z, Z, H, H; QCD='0', QED='+2']
541[Z, Z, chi, chi; QCD='0', QED='+2']
542[Wp, Wm, H, H; QCD='0', QED='+2']
543[Wp, Wm, chi, chi; QCD='0', QED='+2']
544[Wp, Wm, phip, phim; QCD='0', QED='+2']
545
546[A, A, phip, phim; QCD='0', QED='+2']
547[Z, A, phip, phim; QCD='0', QED='+2']
548[Z, Z, phip, phim; QCD='0', QED='+2']
549
550[Wp, A, phim, H; QCD='0', QED='+2']
551[Wm, A, phip, H; QCD='0', QED='+2']
552[Wp, A, phim, chi; QCD='0', QED='+2']
553[Wm, A, phip, chi; QCD='0', QED='+2']
554[Wp, Z, phim, H; QCD='0', QED='+2']
555[Wm, Z, phip, H; QCD='0', QED='+2']
556[Wp, Z, phim, chi; QCD='0', QED='+2']
557[Wm, Z, phip, chi; QCD='0', QED='+2']
558
559% VSS
560[Z, chi, H; QCD='0', QED='+1']
561[A, phip, phim; QCD='0', QED='+1']
562[Z, phip, phim; QCD='0', QED='+1']
563[Wp, phim, H; QCD='0', QED='+1']
564[Wm, phip, H; QCD='0', QED='+1']
565[Wp, phim, chi; QCD='0', QED='+1']
566[Wm, phip, chi; QCD='0', QED='+1']
567
568% SVV
569[H, Z, Z; QCD='0', QED='+1']
570[H, Wp, Wm; QCD='0', QED='+1']
571[phip, Wm, A; QCD='0', QED='+1']
572[phim, Wp, A; QCD='0', QED='+1']
573[phip, Wm, Z; QCD='0', QED='+1']
574[phim, Wp, Z; QCD='0', QED='+1']
575
576% ffV
577[Ubar, U, A; QCD='0', QED='+1']
578[Dbar, D, A; QCD='0', QED='+1']
579[Sbar, S, A; QCD='0', QED='+1']
580[Cbar, C, A; QCD='0', QED='+1']
581[Bbar, B, A; QCD='0', QED='+1']
582[Tbar, T, A; QCD='0', QED='+1']
583
584[ep, em, A; QCD='0', QED='+1']
585[mup, mum, A; QCD='0', QED='+1']
586[taup, taum, A; QCD='0', QED='+1']
587
588[Ubar, U, Z; QCD='0', QED='+1']
589[Dbar, D, Z; QCD='0', QED='+1']
590[Sbar, S, Z; QCD='0', QED='+1']
591[Cbar, C, Z; QCD='0', QED='+1']
592[Bbar, B, Z; QCD='0', QED='+1']
593[Tbar, T, Z; QCD='0', QED='+1']
594
595[ep, em, Z; QCD='0', QED='+1']
596[mup, mum, Z; QCD='0', QED='+1']
597[taup, taum, Z; QCD='0', QED='+1']
598
599[nebar, ne, Z; QCD='0', QED='+1']
600[nmubar, nmu, Z; QCD='0', QED='+1']
601[ntaubar, ntau, Z; QCD='0', QED='+1']
602
603[Dbar, U, Wm; QCD='0', QED='+1']
604[Dbar, C, Wm; QCD='0', QED='+1']
605[Dbar, T, Wm; QCD='0', QED='+1']
606
607[Sbar, U, Wm; QCD='0', QED='+1']
608[Sbar, C, Wm; QCD='0', QED='+1']
609[Sbar, T, Wm; QCD='0', QED='+1']
610
611[Bbar, U, Wm; QCD='0', QED='+1']
612[Bbar, C, Wm; QCD='0', QED='+1']
613[Bbar, T, Wm; QCD='0', QED='+1']
614
615[Ubar, D, Wp; QCD='0', QED='+1']
616[Ubar, S, Wp; QCD='0', QED='+1']
617[Ubar, B, Wp; QCD='0', QED='+1']
618
619[Cbar, D, Wp; QCD='0', QED='+1']
620[Cbar, S, Wp; QCD='0', QED='+1']
621[Cbar, B, Wp; QCD='0', QED='+1']
622
623[Tbar, D, Wp; QCD='0', QED='+1']
624[Tbar, S, Wp; QCD='0', QED='+1']
625[Tbar, B, Wp; QCD='0', QED='+1']
626
627[ep, ne, Wm; QCD='0', QED='+1']
628[mup, nmu, Wm; QCD='0', QED='+1']
629[taup, ntau, Wm; QCD='0', QED='+1']
630
631[nebar, em, Wp; QCD='0', QED='+1']
632[nmubar, mum, Wp; QCD='0', QED='+1']
633[ntaubar, taum, Wp; QCD='0', QED='+1']
634
635% Sff
636[Ubar, U, H; QCD='0', QED='+1']
637[Dbar, D, H; QCD='0', QED='+1']
638[Sbar, S, H; QCD='0', QED='+1']
639[Cbar, C, H; QCD='0', QED='+1']
640[Bbar, B, H; QCD='0', QED='+1']
641[Tbar, T, H; QCD='0', QED='+1']
642
643[ep, em, H; QCD='0', QED='+1']
644[mup, mum, H; QCD='0', QED='+1']
645[taup, taum, H; QCD='0', QED='+1']
646
647[Ubar, U, chi; QCD='0', QED='+1']
648[Dbar, D, chi; QCD='0', QED='+1']
649[Sbar, S, chi; QCD='0', QED='+1']
650[Cbar, C, chi; QCD='0', QED='+1']
651[Bbar, B, chi; QCD='0', QED='+1']
652[Tbar, T, chi; QCD='0', QED='+1']
653
654[ep, em, chi; QCD='0', QED='+1']
655[mup, mum, chi; QCD='0', QED='+1']
656[taup, taum, chi; QCD='0', QED='+1']
657
658[Dbar, U, phim; QCD='0', QED='+1']
659[Dbar, C, phim; QCD='0', QED='+1']
660[Dbar, T, phim; QCD='0', QED='+1']
661
662[Sbar, U, phim; QCD='0', QED='+1']
663[Sbar, C, phim; QCD='0', QED='+1']
664[Sbar, T, phim; QCD='0', QED='+1']
665
666[Bbar, U, phim; QCD='0', QED='+1']
667[Bbar, C, phim; QCD='0', QED='+1']
668[Bbar, T, phim; QCD='0', QED='+1']
669
670[Ubar, D, phip; QCD='0', QED='+1']
671[Ubar, S, phip; QCD='0', QED='+1']
672[Ubar, B, phip; QCD='0', QED='+1']
673
674[Cbar, D, phip; QCD='0', QED='+1']
675[Cbar, S, phip; QCD='0', QED='+1']
676[Cbar, B, phip; QCD='0', QED='+1']
677
678[Tbar, D, phip; QCD='0', QED='+1']
679[Tbar, S, phip; QCD='0', QED='+1']
680[Tbar, B, phip; QCD='0', QED='+1']
681
682[ep, ne, phim; QCD='0', QED='+1']
683[mup, nmu, phim; QCD='0', QED='+1']
684[taup, ntau, phim; QCD='0', QED='+1']
685
686[nebar, em, phip; QCD='0', QED='+1']
687[nmubar, mum, phip; QCD='0', QED='+1']
688[ntaubar, taum, phip; QCD='0', QED='+1']
689
690% VGG
691[ghWpbar, ghWp, A; QCD='0', QED='+1']
692[ghWmbar, ghWm, A; QCD='0', QED='+1']
693[ghAbar, ghWm, Wp; QCD='0', QED='+1']
694[ghAbar, ghWp, Wm; QCD='0', QED='+1']
695[ghWmbar, ghA, Wm; QCD='0', QED='+1']
696[ghWpbar, ghA, Wp; QCD='0', QED='+1']
697[ghWpbar, ghWp, Z; QCD='0', QED='+1']
698[ghWmbar, ghWm, Z; QCD='0', QED='+1']
699[ghZbar, ghWm, Wp; QCD='0', QED='+1']
700[ghZbar, ghWp, Wm; QCD='0', QED='+1']
701[ghWmbar, ghZ, Wm; QCD='0', QED='+1']
702[ghWpbar, ghZ, Wp; QCD='0', QED='+1']
703
704% SGG
705[ghZbar, ghZ, H; QCD='0', QED='+1']
706[ghWpbar, ghWp, H; QCD='0', QED='+1']
707[ghWmbar, ghWm, H; QCD='0', QED='+1']
708[ghWpbar, ghWp, chi; QCD='0', QED='+1']
709[ghWmbar, ghWm, chi; QCD='0', QED='+1']
710[ghWpbar, ghA, phip; QCD='0', QED='+1']
711[ghWmbar, ghA, phim; QCD='0', QED='+1']
712[ghWpbar, ghZ, phip; QCD='0', QED='+1']
713[ghWmbar, ghZ, phim; QCD='0', QED='+1']
714[ghZbar, ghWp, phim; QCD='0', QED='+1']
715[ghZbar, ghWm, phip; QCD='0', QED='+1']
716
717)EOF";
718
719std::string HepLib::QGRAF::Models::QCD = R"EOF(
720[ model = 'qcd Model' ]
721%------------------------------------
722% Propagators
723%------------------------------------
724% quark
725[q, qbar, -]
726[Q, Qbar, -]
727% gluon and its ghost:
728[gh, ghbar, -]
729[g, g, +, notadpole]
730% external photon
731[A, A, +, external]
732%------------------------------------
733% Vertices
734%------------------------------------
735% QCD
736[qbar, q, g; QCD='+1']
737[Qbar, Q, g; QCD='+1']
738[g, g, g, g; QCD='+2']
739[g, g, g; QCD='+1']
740[ghbar, gh, g; QCD='+1']
741% external
742[qbar, q, A; QCD='+0']
743[Qbar, Q, A; QCD='+0']
744)EOF";
Basic header file.
HEP header file.
IBP header file.
QGRAF header file.
SecDec header file.
class for AntiSymmetric Gamma object
Definition HEP.h:496
void form_print(const FormFormat &c, unsigned level=0) const
Definition AsGamma.cpp:150
void fc_print(const FCFormat &c, unsigned level=0) const
Definition AsGamma.cpp:154
void print(const print_dflt &c, unsigned level=0) const
Definition AsGamma.cpp:135
class for Dirac Gamma object
Definition HEP.h:437
static ex C
Definition HEP.h:487
static ex I
Definition HEP.h:485
void form_print(const FormFormat &c, unsigned level=0) const
Definition DGamma.cpp:140
void print(const print_dflt &c, unsigned level=0) const
Definition DGamma.cpp:117
void fc_print(const FCFormat &c, unsigned level=0) const
Definition DGamma.cpp:151
static ex g5
Definition HEP.h:486
class for Levi-Civita object https://onlinelibrary.wiley.com/doi/pdf/10.1002/9783527630097....
Definition HEP.h:386
void fc_print(const FCFormat &c, unsigned level=0) const
Definition Eps.cpp:121
void form_print(const FormFormat &c, unsigned level=0) const
Eps in FORM format https://onlinelibrary.wiley.com/doi/pdf/10.1002/9783527630097.app3 to make Tr(g5,...
Definition Eps.cpp:112
void print(const print_dflt &c, unsigned level=0) const
Definition Eps.cpp:96
class for FCFormat Output
Definition HEP.h:71
static void ncmul_print(const ncmul &p, const FCFormat &c, unsigned level=0)
Definition Basic.cpp:163
static int Version
Definition IBP.h:86
static int buffer_size
Definition BASIC.h:800
static void power_print(const power &p, const FormFormat &c, unsigned level=0)
Definition Basic.cpp:55
static int buffer_size
Definition BASIC.h:822
class for index object
Definition HEP.h:104
void print(const print_context &c, unsigned level=0) const
Definition Basic.cpp:196
static GiNaC::exmap Dimension
Definition HEP.h:109
static string KArgs
Definition IBP.h:97
class for Mathematica Format Output
Definition BASIC.h:843
class for Pair object
Definition HEP.h:322
void form_print(const FormFormat &c, unsigned level=0) const
FormFormat print function.
Definition Pair.cpp:102
void print(const print_dflt &c, unsigned level=0) const
default print function
Definition Pair.cpp:93
void fc_print(const FCFormat &c, unsigned level=0) const
FCFormat print function.
Definition Pair.cpp:113
static string QuarkFF
Definition QGRAF.h:161
static string SM
Definition QGRAF.h:162
static string QCD
Definition QGRAF.h:163
static string GluonFF
Definition QGRAF.h:160
static string Style
Definition QGRAF.h:77
static bool use_dlclose
Definition SD.h:416
static string cpp
Definition SD.h:417
class for SUNF4 object
Definition HEP.h:278
void form_print(const FormFormat &c, unsigned level=0) const
print the Form Format
Definition Basic.cpp:543
void fc_print(const FCFormat &c, unsigned level=0) const
Definition Basic.cpp:534
void print(const print_dflt &c, unsigned level=0) const
normal priint
Definition Basic.cpp:530
class for SUNF object
Definition HEP.h:233
void print(const print_dflt &c, unsigned level=0) const
Definition Basic.cpp:431
void form_print(const FormFormat &c, unsigned level=0) const
Definition Basic.cpp:435
void fc_print(const FCFormat &c, unsigned level=0) const
Definition Basic.cpp:439
class for SUNT object
Definition HEP.h:189
void form_print(const FormFormat &c, unsigned level=0) const
Definition Basic.cpp:328
void fc_print(const FCFormat &c, unsigned level=0) const
Definition Basic.cpp:339
void print(const print_dflt &c, unsigned level=0) const
Definition Basic.cpp:343
class extended to GiNaC symbol class, represent a positive symbol
Definition BASIC.h:113
static std::map< std::string, ex > Table
Definition BASIC.h:160
static exmap vmap
Definition BASIC.h:167
static string KArgs
Definition IBP.h:121
class for vector object
Definition HEP.h:149
void print(const print_context &c, unsigned level=0) const
Definition Basic.cpp:269
XIntegral Class, preface to SecDec.
Definition BASIC.h:740
void print(const print_dflt &c, unsigned level=0) const
Definition BASIC.cpp:1674
class extended to GiNaC symbol class, pure imaginary symbol
Definition BASIC.h:183
static std::map< std::string, ex > Table
Definition BASIC.h:230
map< ex, string, ex_is_less > LineTeX
Definition Init.cpp:183
map< ex, string, ex_is_less > VerTeX
Definition Init.cpp:184
map< ex, string, ex_is_less > InOutTeX
Definition Init.cpp:185
int VEO_Digits
Definition Init.cpp:180
HepLib namespace.
Definition BASIC.cpp:17
string INC_FLAGS
Definition Init.cpp:163
bool form_using_dim4
Definition Init.cpp:212
const Symbol NA
ex w9
Definition BASIC.h:499
ex w8
Definition BASIC.h:499
const int form_expand_tr
Definition Init.cpp:205
const iSymbol iEpsilon
ex w7
Definition BASIC.h:499
MMAFormat mout
ex w5
Definition BASIC.h:499
int GiNaC_Parallel_Process
Definition Init.cpp:146
int _o_
Definition Init.cpp:106
const Symbol gs
const int o_form
Definition Init.cpp:112
int NNDigits
Definition Init.cpp:158
const int o_fermat
Definition Init.cpp:109
const int o_none
Definition Init.cpp:107
const int o_flint
Definition Init.cpp:113
exmap MapPreSP
Definition Init.cpp:338
const int form_expand_none
Definition Init.cpp:204
string Version
Definition Init.cpp:85
ex w0
Definition BASIC.h:499
const Symbol NF
map< string, bool > GiNaC_Parallel_RM
Definition Init.cpp:151
exmap SP_map
Definition Init.cpp:182
map< ex, long long, ex_is_less > fermat_weight
Definition Init.cpp:155
const Symbol ep
const int o_fermatfD
Definition Init.cpp:110
int form_expand_mode
Definition Init.cpp:209
const Symbol eps
bool Apart_using_fermat
Definition Init.cpp:210
map< string, int > GiNaC_Parallel_NB
Definition Init.cpp:150
const int form_trace_all
Definition Init.cpp:199
ex GAS(const ex &expr, unsigned rl)
function similar to GAD/GSD in FeynClac
Definition DGamma.cpp:281
const int o_fermat_form
Definition Init.cpp:118
ex w4
Definition BASIC.h:499
const int form_expand_ci
Definition Init.cpp:206
slong error_pass_dp
Definition Init.cpp:347
int form_trace_mode
Definition Init.cpp:202
bool form_using_su3
Definition Init.cpp:211
string LIB_FLAGS
Definition Init.cpp:164
bool using_cache
Definition Init.cpp:156
bool Debug
Definition Init.cpp:144
ex w
Definition Init.cpp:93
const int form_trace_each_all
Definition Init.cpp:200
const Symbol vs
const Symbol d
int fermat_using_array
Definition Init.cpp:154
map< string, int > GiNaC_Parallel_NP
Definition Init.cpp:147
const int form_expand_all
Definition Init.cpp:208
map< string, int > GiNaC_Parallel_Verb
Definition Init.cpp:148
map< string, bool > GiNaC_Parallel_ReWR
Definition Init.cpp:153
const int o_normal
Definition Init.cpp:108
const Symbol mu
const Symbol CA
const Symbol TF
const int o_flintf
Definition Init.cpp:114
const Symbol CF
const int o_flintfD
Definition Init.cpp:115
const int o_normal_fermat
Definition Init.cpp:116
string InstallPrefix
Definition Init.cpp:162
const ex iEpsilonN
Definition Init.cpp:141
FCFormat fcout
const Symbol epz
bool In_GiNaC_Parallel
Definition Init.cpp:145
const Symbol as
bool form_using_gamma5
Definition Init.cpp:213
int Verbose
Definition Init.cpp:142
const int form_trace_each_each
Definition Init.cpp:201
const int form_trace_auto
Definition Init.cpp:198
bool dir_exists(string dir)
Definition BASIC.h:297
const int o_normal_form
Definition Init.cpp:117
long long cache_limit
Definition Init.cpp:157
const Symbol nL
const Symbol nH
ex w1
Definition BASIC.h:499
unsigned nopat
Definition Init.cpp:91
ex w3
Definition BASIC.h:499
void set_precision(long prec, bool push)
Definition BASIC.cpp:2314
const Symbol iet
ex w6
Definition BASIC.h:499
map< string, string > GiNaC_Parallel_PRE
Definition Init.cpp:152
const int form_expand_li
Definition Init.cpp:207
const int o_fermatN
Definition Init.cpp:111
std::stack< cln::float_format_t > cln_prec_stack
Definition Init.cpp:358
ex w2
Definition BASIC.h:499
std::stack< long > digits_stack
Definition Init.cpp:359
const Symbol vz
string PRE
Definition Init.cpp:143
const Symbol NaN
int GiNaC_Parallel_Batch
Definition Init.cpp:149