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