Hyperiso 1.0.3
Modular flavour-physics calculations, Wilson coefficients and statistical inference
Loading...
Searching...
No Matches
C7.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_C7(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, 3) * 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 = model.computeWilsonCoefficients(mty::Order::OneLoop,
36 {Incoming("b"), Outgoing("s"), Outgoing("A")},
37 opts);
38
39 auto O7 = chromoMagneticOperator(model, wil, DiracCoupling::R);
40 Expr C7 = getWilsonCoefficient(wil, O7);
41
42 [[maybe_unused]] int sysres = system("rm -rf libs/C7_SM");
43 mty::Library wilsonLib("C7_SM", "libs");
44 wilsonLib.cleanExistingSources();
45 wilsonLib.addFunction("C7", C7);
46 defineLibPath(wilsonLib);
47 wilsonLib.print();
48
49 return 0;
50}
51
52int main() {
53 SM_Model sm;
54 return calculate_C7(sm, gauge::Type::Feynman);
55}
void defineLibPath(Library &lib)
Definition C7.cpp:10
int calculate_C7(Model &model, gauge::Type gauge)
Definition C7.cpp:22
int main()
Definition C7.cpp:52
Model
Definition BWilson.h:99
Standard Model of particle physics.
Definition sm.h:35
csl::Expr e_em
Definition sm.h:78
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