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 // global init
353 std::stack<cln::float_format_t> cln_prec_stack;
354 std::stack<long> digits_stack;
355 _global_init::_init::_init() {
356 ostringstream oss;
357 string path = InstallPrefix + "/bin";
358 if(dir_exists(path)) oss << path;
359
360 auto opath = getenv("PATH");
361 if(opath != NULL) oss << ":" << opath;
362 setenv("PATH", oss.str().c_str(), true);
363
364 // similar to GINAC_DECLARE_UNARCHIVER/GINAC_BIND_UNARCHIVER
365 GiNaC::unarchive_table_t table;
366 table.insert(std::string("Symbol"), []()->GiNaC::basic*{ return new Symbol(); });
367 table.insert(std::string("iSymbol"), []()->GiNaC::basic*{ return new iSymbol(); });
368 table.insert(std::string("XIntegral"), []()->GiNaC::basic*{ return new XIntegral(); });
369 table.insert(std::string("Index"), []()->GiNaC::basic*{ return new Index(); });
370 table.insert(std::string("Vector"), []()->GiNaC::basic*{ return new Vector(); });
371 table.insert(std::string("SUNT"), []()->GiNaC::basic*{ return new SUNT(); });
372 table.insert(std::string("SUNF"), []()->GiNaC::basic*{ return new SUNF(); });
373 table.insert(std::string("SUNF4"), []()->GiNaC::basic*{ return new SUNF4(); });
374 table.insert(std::string("DGamma"), []()->GiNaC::basic*{ return new DGamma(); });
375 table.insert(std::string("AsGamma"), []()->GiNaC::basic*{ return new AsGamma(); });
376 table.insert(std::string("Eps"), []()->GiNaC::basic*{ return new Eps(); });
377 table.insert(std::string("Pair"), []()->GiNaC::basic*{ return new Pair(); });
378
379 // CLN configurations
380 cln::cl_inhibit_floating_point_underflow = true;
381 Digits = 100;
382 set_precision(100);
383 }
384 _global_init::_init _global_init::init_object;
385
386}
387
388std::string HepLib::QGRAF::Process::Style = R"EOF(
389<prologue>
390
391<diagram>
392((<sign><symmetry_factor>)*
393<in_loop>InField(<field>,<field_index>,<momentum>)*
394<end>
395<back><out_loop>OutField(<field>,<field_index>,<momentum>)*
396<end>
397<back><propagator_loop>Propagator(
398<back>Field(<field>,<field_index>),
399<back>Field(<dual-field>,<dual-field_index>),
400<back><momentum>)*
401<end>
402<back><vertex_loop>Vertex(
403<back><ray_loop>Field(<field>,<field_index>,<momentum>),
404<back><end><back>)*
405<end><back><back>)
406,
407<epilogue>
408
409<exit>
410
411)EOF";
412
413std::string HepLib::QGRAF::Models::GluonFF = R"EOF(
414[ model = 'Gluon FF Model' ]
415[q, qbar, -]
416[Q, Qbar, -]
417[gh, ghbar, -]
418[g, g, +, notadpole]
419[e, e, +, external]
420[n, nbar, +]
421[qbar, q, g; QCD='+1']
422[Qbar, Q, g; QCD='+1']
423[g, g, g, g; QCD='+2']
424[g, g, g; QCD='+1']
425[ghbar, gh, g; QCD='+1']
426[nbar, n, g; QCD='+1']
427[nbar, e, g; QCD='+0']
428%[n, e, g; QCD='+0']
429)EOF";
430
431std::string HepLib::QGRAF::Models::QuarkFF = R"EOF(
432[ model = 'Quark FF Model' ]
433[q, qbar, -]
434[Q, Qbar, -]
435[e, ebar, -, external]
436[gh, ghbar, -]
437[g, g, +, notadpole]
438[n, nbar, +]
439[qbar, q, g; QCD='+1']
440[Qbar, Q, g; QCD='+1']
441[g, g, g, g; QCD='+2']
442[g, g, g; QCD='+1']
443[ghbar, gh, g; QCD='+1']
444[nbar, n, g; QCD='+1']
445[qbar, e, nbar; QCD='0']
446[ebar, q, nbar; QCD='0']
447[Qbar, e, nbar; QCD='0']
448[ebar, Q, nbar; QCD='0']
449)EOF";
450
451std::string HepLib::QGRAF::Models::SM = R"EOF(
452% From Boehm, Denner, Joos @ Feynman Gauge
453[ model = 'Standard Model' ]
454
455%------------------------------------
456% Propagators
457%------------------------------------
458
459% quarks
460[U, Ubar, -]
461[D, Dbar, -]
462[C, Cbar, -]
463[S, Sbar, -]
464[T, Tbar, -]
465[B, Bbar, -]
466
467% gluon and its ghost:
468[g, g, +, notadpole]
469[gh, ghbar, -]
470
471% V: EWSM gauge bosons
472[A, A, +, notadpole]
473[Wm, Wp, +]
474[Z, Z, +]
475
476% leptons
477[em, ep, -]
478[ne, nebar, -]
479[mum, mup, -]
480[nmu, nmubar, -]
481[taum, taup, -]
482[ntau, ntaubar, -]
483
484% G: Faddeev-Popov Ghosts
485[ghA, ghAbar, -]
486[ghZ, ghZbar, -]
487[ghWm, ghWmbar, -]
488[ghWp, ghWpbar, -]
489
490% S: scalars
491[H, H, +]
492[chi, chi, +]
493[phim, phip, +]
494
495%------------------------------------
496% Vertices
497%------------------------------------
498
499% QCD
500[Ubar, U, g; QCD='+1', QED='0']
501[Dbar, D, g; QCD='+1', QED='0']
502[Sbar, S, g; QCD='+1', QED='0']
503[Cbar, C, g; QCD='+1', QED='0']
504[Bbar, B, g; QCD='+1', QED='0']
505[Tbar, T, g; QCD='+1', QED='0']
506
507[g, g, g, g; QCD='+2', QED='0']
508[g, g, g; QCD='+1', QED='0']
509[ghbar, gh, g; QCD='+1', QED='0']
510
511% VVVV
512[Wp, Wm, Z, Z; QCD='0', QED='+2']
513[Wp, Wm, A, Z; QCD='0', QED='+2']
514[Wp, Wm, A, A; QCD='0', QED='+2']
515[Wp, Wp, Wm, Wm; QCD='0', QED='+2']
516
517% VVV
518[Wp, Wm, A; QCD='0', QED='+1']
519[Wp, Wm, Z; QCD='0', QED='+1']
520
521% SSSS
522[H, H, H, H; QCD='0', QED='+2']
523[chi, chi, chi, chi; QCD='0', QED='+2']
524[H, H, chi, chi; QCD='0', QED='+2']
525[H, H, phim, phip; QCD='0', QED='+2']
526[chi, chi, phim, phip; QCD='0', QED='+2']
527[phim, phip, phim, phip; QCD='0', QED='+2']
528
529% SSS
530[H, H, H; QCD='0', QED='+1']
531[H, chi, chi; QCD='0', QED='+1']
532[H, phim, phip; QCD='0', QED='+1']
533
534% VVSS
535[Z, Z, H, H; QCD='0', QED='+2']
536[Z, Z, chi, chi; QCD='0', QED='+2']
537[Wp, Wm, H, H; QCD='0', QED='+2']
538[Wp, Wm, chi, chi; QCD='0', QED='+2']
539[Wp, Wm, phip, phim; QCD='0', QED='+2']
540
541[A, A, phip, phim; QCD='0', QED='+2']
542[Z, A, phip, phim; QCD='0', QED='+2']
543[Z, Z, phip, phim; QCD='0', QED='+2']
544
545[Wp, A, phim, H; QCD='0', QED='+2']
546[Wm, A, phip, H; QCD='0', QED='+2']
547[Wp, A, phim, chi; QCD='0', QED='+2']
548[Wm, A, phip, chi; QCD='0', QED='+2']
549[Wp, Z, phim, H; QCD='0', QED='+2']
550[Wm, Z, phip, H; QCD='0', QED='+2']
551[Wp, Z, phim, chi; QCD='0', QED='+2']
552[Wm, Z, phip, chi; QCD='0', QED='+2']
553
554% VSS
555[Z, chi, H; QCD='0', QED='+1']
556[A, phip, phim; QCD='0', QED='+1']
557[Z, phip, phim; QCD='0', QED='+1']
558[Wp, phim, H; QCD='0', QED='+1']
559[Wm, phip, H; QCD='0', QED='+1']
560[Wp, phim, chi; QCD='0', QED='+1']
561[Wm, phip, chi; QCD='0', QED='+1']
562
563% SVV
564[H, Z, Z; QCD='0', QED='+1']
565[H, Wp, Wm; QCD='0', QED='+1']
566[phip, Wm, A; QCD='0', QED='+1']
567[phim, Wp, A; QCD='0', QED='+1']
568[phip, Wm, Z; QCD='0', QED='+1']
569[phim, Wp, Z; QCD='0', QED='+1']
570
571% ffV
572[Ubar, U, A; QCD='0', QED='+1']
573[Dbar, D, A; QCD='0', QED='+1']
574[Sbar, S, A; QCD='0', QED='+1']
575[Cbar, C, A; QCD='0', QED='+1']
576[Bbar, B, A; QCD='0', QED='+1']
577[Tbar, T, A; QCD='0', QED='+1']
578
579[ep, em, A; QCD='0', QED='+1']
580[mup, mum, A; QCD='0', QED='+1']
581[taup, taum, A; QCD='0', QED='+1']
582
583[Ubar, U, Z; QCD='0', QED='+1']
584[Dbar, D, Z; QCD='0', QED='+1']
585[Sbar, S, Z; QCD='0', QED='+1']
586[Cbar, C, Z; QCD='0', QED='+1']
587[Bbar, B, Z; QCD='0', QED='+1']
588[Tbar, T, Z; QCD='0', QED='+1']
589
590[ep, em, Z; QCD='0', QED='+1']
591[mup, mum, Z; QCD='0', QED='+1']
592[taup, taum, Z; QCD='0', QED='+1']
593
594[nebar, ne, Z; QCD='0', QED='+1']
595[nmubar, nmu, Z; QCD='0', QED='+1']
596[ntaubar, ntau, Z; QCD='0', QED='+1']
597
598[Dbar, U, Wm; QCD='0', QED='+1']
599[Dbar, C, Wm; QCD='0', QED='+1']
600[Dbar, T, Wm; QCD='0', QED='+1']
601
602[Sbar, U, Wm; QCD='0', QED='+1']
603[Sbar, C, Wm; QCD='0', QED='+1']
604[Sbar, T, Wm; QCD='0', QED='+1']
605
606[Bbar, U, Wm; QCD='0', QED='+1']
607[Bbar, C, Wm; QCD='0', QED='+1']
608[Bbar, T, Wm; QCD='0', QED='+1']
609
610[Ubar, D, Wp; QCD='0', QED='+1']
611[Ubar, S, Wp; QCD='0', QED='+1']
612[Ubar, B, Wp; QCD='0', QED='+1']
613
614[Cbar, D, Wp; QCD='0', QED='+1']
615[Cbar, S, Wp; QCD='0', QED='+1']
616[Cbar, B, Wp; QCD='0', QED='+1']
617
618[Tbar, D, Wp; QCD='0', QED='+1']
619[Tbar, S, Wp; QCD='0', QED='+1']
620[Tbar, B, Wp; QCD='0', QED='+1']
621
622[ep, ne, Wm; QCD='0', QED='+1']
623[mup, nmu, Wm; QCD='0', QED='+1']
624[taup, ntau, Wm; QCD='0', QED='+1']
625
626[nebar, em, Wp; QCD='0', QED='+1']
627[nmubar, mum, Wp; QCD='0', QED='+1']
628[ntaubar, taum, Wp; QCD='0', QED='+1']
629
630% Sff
631[Ubar, U, H; QCD='0', QED='+1']
632[Dbar, D, H; QCD='0', QED='+1']
633[Sbar, S, H; QCD='0', QED='+1']
634[Cbar, C, H; QCD='0', QED='+1']
635[Bbar, B, H; QCD='0', QED='+1']
636[Tbar, T, H; QCD='0', QED='+1']
637
638[ep, em, H; QCD='0', QED='+1']
639[mup, mum, H; QCD='0', QED='+1']
640[taup, taum, H; QCD='0', QED='+1']
641
642[Ubar, U, chi; QCD='0', QED='+1']
643[Dbar, D, chi; QCD='0', QED='+1']
644[Sbar, S, chi; QCD='0', QED='+1']
645[Cbar, C, chi; QCD='0', QED='+1']
646[Bbar, B, chi; QCD='0', QED='+1']
647[Tbar, T, chi; QCD='0', QED='+1']
648
649[ep, em, chi; QCD='0', QED='+1']
650[mup, mum, chi; QCD='0', QED='+1']
651[taup, taum, chi; QCD='0', QED='+1']
652
653[Dbar, U, phim; QCD='0', QED='+1']
654[Dbar, C, phim; QCD='0', QED='+1']
655[Dbar, T, phim; QCD='0', QED='+1']
656
657[Sbar, U, phim; QCD='0', QED='+1']
658[Sbar, C, phim; QCD='0', QED='+1']
659[Sbar, T, phim; QCD='0', QED='+1']
660
661[Bbar, U, phim; QCD='0', QED='+1']
662[Bbar, C, phim; QCD='0', QED='+1']
663[Bbar, T, phim; QCD='0', QED='+1']
664
665[Ubar, D, phip; QCD='0', QED='+1']
666[Ubar, S, phip; QCD='0', QED='+1']
667[Ubar, B, phip; QCD='0', QED='+1']
668
669[Cbar, D, phip; QCD='0', QED='+1']
670[Cbar, S, phip; QCD='0', QED='+1']
671[Cbar, B, phip; QCD='0', QED='+1']
672
673[Tbar, D, phip; QCD='0', QED='+1']
674[Tbar, S, phip; QCD='0', QED='+1']
675[Tbar, B, phip; QCD='0', QED='+1']
676
677[ep, ne, phim; QCD='0', QED='+1']
678[mup, nmu, phim; QCD='0', QED='+1']
679[taup, ntau, phim; QCD='0', QED='+1']
680
681[nebar, em, phip; QCD='0', QED='+1']
682[nmubar, mum, phip; QCD='0', QED='+1']
683[ntaubar, taum, phip; QCD='0', QED='+1']
684
685% VGG
686[ghWpbar, ghWp, A; QCD='0', QED='+1']
687[ghWmbar, ghWm, A; QCD='0', QED='+1']
688[ghAbar, ghWm, Wp; QCD='0', QED='+1']
689[ghAbar, ghWp, Wm; QCD='0', QED='+1']
690[ghWmbar, ghA, Wm; QCD='0', QED='+1']
691[ghWpbar, ghA, Wp; QCD='0', QED='+1']
692[ghWpbar, ghWp, Z; QCD='0', QED='+1']
693[ghWmbar, ghWm, Z; QCD='0', QED='+1']
694[ghZbar, ghWm, Wp; QCD='0', QED='+1']
695[ghZbar, ghWp, Wm; QCD='0', QED='+1']
696[ghWmbar, ghZ, Wm; QCD='0', QED='+1']
697[ghWpbar, ghZ, Wp; QCD='0', QED='+1']
698
699% SGG
700[ghZbar, ghZ, H; QCD='0', QED='+1']
701[ghWpbar, ghWp, H; QCD='0', QED='+1']
702[ghWmbar, ghWm, H; QCD='0', QED='+1']
703[ghWpbar, ghWp, chi; QCD='0', QED='+1']
704[ghWmbar, ghWm, chi; QCD='0', QED='+1']
705[ghWpbar, ghA, phip; QCD='0', QED='+1']
706[ghWmbar, ghA, phim; QCD='0', QED='+1']
707[ghWpbar, ghZ, phip; QCD='0', QED='+1']
708[ghWmbar, ghZ, phim; QCD='0', QED='+1']
709[ghZbar, ghWp, phim; QCD='0', QED='+1']
710[ghZbar, ghWm, phip; QCD='0', QED='+1']
711
712)EOF";
713
714std::string HepLib::QGRAF::Models::QCD = R"EOF(
715[ model = 'qcd Model' ]
716%------------------------------------
717% Propagators
718%------------------------------------
719% quark
720[q, qbar, -]
721[Q, Qbar, -]
722% gluon and its ghost:
723[gh, ghbar, -]
724[g, g, +, notadpole]
725% external photon
726[A, A, +, external]
727%------------------------------------
728% Vertices
729%------------------------------------
730% QCD
731[qbar, q, g; QCD='+1']
732[Qbar, Q, g; QCD='+1']
733[g, g, g, g; QCD='+2']
734[g, g, g; QCD='+1']
735[ghbar, gh, g; QCD='+1']
736% external
737[qbar, q, A; QCD='+0']
738[Qbar, Q, A; QCD='+0']
739)EOF";
Basic header file.
HEP header file.
IBP header file.
QGRAF header file.
SecDec header file.
class for AntiSymmetric Gamma object
Definition HEP.h:492
void form_print(const FormFormat &c, unsigned level=0) const
Definition AsGamma.cpp:146
void fc_print(const FCFormat &c, unsigned level=0) const
Definition AsGamma.cpp:150
void print(const print_dflt &c, unsigned level=0) const
Definition AsGamma.cpp:135
class for Dirac Gamma object
Definition HEP.h:437
void form_print(const FormFormat &c, unsigned level=0) const
Definition DGamma.cpp:129
void print(const print_dflt &c, unsigned level=0) const
Definition DGamma.cpp:113
void fc_print(const FCFormat &c, unsigned level=0) const
Definition DGamma.cpp:138
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:82
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:93
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:117
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
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:353
ex w2
Definition BASIC.h:499
std::stack< long > digits_stack
Definition Init.cpp:354
const Symbol vz
string PRE
Definition Init.cpp:143
const Symbol NaN
int GiNaC_Parallel_Batch
Definition Init.cpp:149