Hyperiso 1.0.3
Modular flavour-physics calculations, Wilson coefficients and statistical inference
Loading...
Searching...
No Matches
C8.cpp
Go to the documentation of this file.
1#include <iostream>
2// HYPERISO_MARTY_GENERIC_TREE_FIRST_SIGNATURE_ABI: v2
3
4// HYPERISO_MARTY_OPERATOR_NORM_ABI: ew-input-normalization-v1
5using namespace csl;
6using namespace mty;
7using namespace std;
8using namespace sm_input;
9
10void defineLibPath(Library &lib) {
11#ifdef MARTY_LIBRARY_PATH
12 lib.addLPath(MARTY_LIBRARY_PATH);
13 lib.addLPath(MARTY_LIBRARY_PATH "/..");
14 lib.addLPath(MARTY_LIBRARY_PATH "/marty");
15 lib.addLPath(MARTY_LIBRARY_PATH "/marty/lha");
16#endif
17#ifdef MARTY_INCLUDE_PATH
18 lib.addIPath(MARTY_INCLUDE_PATH);
19#endif
20}
21
22int calculate_C8(Model &model, gauge::Type gauge) {
23
24 model.getParticle("W")->setGaugeChoice(gauge);
25 model.getParticle("Z")->setGaugeChoice(gauge);
26
27 undefineNumericalValues(); // Allow for HIso to set all the parameters' values
28 mty::option::excludeExternalLegsCorrections = true;
29
30 Expr factorOperator = -GetComplexConjugate(V_ts) * V_tb * pow_s(e_em, 2) * g_s * m_b
31 / (32 * CSL_PI * CSL_PI * pow_s(sin_s(theta_W), 2) * pow_s(M_W, 2));
32 FeynOptions opts;
33 opts.setWilsonOperatorCoefficient(factorOperator);
34
35 auto wil_t = model.computeWilsonCoefficients(mty::Order::OneLoop,
36 {Incoming("b"), Outgoing("s"), Outgoing("G")},
37 opts);
38
39 auto O8 = chromoMagneticOperator(model, wil_t, DiracCoupling::R);
40 Expr C8 = getWilsonCoefficient(wil_t, O8);
41
42 [[maybe_unused]] int sysres = system("rm -rf libs/C8_SM");
43 mty::Library wilsonLib("C8_SM", "libs");
44 wilsonLib.cleanExistingSources();
45 wilsonLib.addFunction("C8", C8);
46 defineLibPath(wilsonLib);
47 wilsonLib.print();
48
49 return 0;
50}
51
52int main() {
53 SM_Model sm;
54 return calculate_C8(sm, gauge::Type::Feynman);
55}
int calculate_C8(Model &model, gauge::Type gauge)
Definition C8.cpp:22
void defineLibPath(Library &lib)
Definition C8.cpp:10
int main()
Definition C8.cpp:52
Model
Definition BWilson.h:116
Standard Model of particle physics.
Definition sm.h:35
csl::Expr e_em
Definition sm.h:78
csl::Expr g_s
Definition sm.h:89
csl::Expr theta_W
Definition sm.h:136
void undefineNumericalValues()
csl::Expr V_tb
Definition sm.h:244
csl::Expr V_ts
Definition sm.h:306
csl::Expr M_W
Definition sm.h:106
csl::Expr m_b
Definition sm.h:96
Definition sm.h:30
Hash specialization for SymbolId<Tag>.
Definition BlockName.h:353