9#ifdef MARTY_LIBRARY_PATH
10 lib.addLPath(MARTY_LIBRARY_PATH);
11 lib.addLPath(MARTY_LIBRARY_PATH
"/..");
12 lib.addLPath(MARTY_LIBRARY_PATH
"/marty");
13 lib.addLPath(MARTY_LIBRARY_PATH
"/marty/lha");
15#ifdef MARTY_INCLUDE_PATH
16 lib.addIPath(MARTY_INCLUDE_PATH);
22 model.getParticle(
"W")->setGaugeChoice(gauge);
23 model.getParticle(
"Z")->setGaugeChoice(gauge);
26 mty::option::excludeExternalLegsCorrections =
true;
28 Expr factorOperator = -4 * GetComplexConjugate(
V_ts) *
V_tb *
G_F / csl::sqrt_s(2);
30 opts.setFermionOrder({1, 0, 2, 3});
31 opts.setWilsonOperatorCoefficient(factorOperator);
33 auto wil_u = model.computeWilsonCoefficients(mty::Order::TreeLevel,
34 {Incoming(
"b"), Outgoing(
"s"),
35 Outgoing(
"u"), Outgoing(AntiPart(
"u"))},
38 auto O4_u = dimension6Operator(model, wil_u, DiracCoupling::VR, DiracCoupling::V, {
"C", ColorCoupling::Generator}, {0, 2, 1, 3});
39 Expr C4_u = getWilsonCoefficient(wil_u, O4_u);
42 auto wil_c = model.computeWilsonCoefficients(mty::Order::TreeLevel,
43 {Incoming(
"b"), Outgoing(
"s"),
44 Outgoing(
"c"), Outgoing(AntiPart(
"c"))},
47 auto O4_c = dimension6Operator(model, wil_u, DiracCoupling::VL, DiracCoupling::V, {
"C", ColorCoupling::Generator}, {0, 2, 1, 3});
48 Expr C4_c = getWilsonCoefficient(wil_c, O4_c);
51 [[maybe_unused]]
int sysres = system(
"rm -rf libs/CP4_SM");
52 mty::Library wilsonLib(
"CP4_SM",
"libs");
53 wilsonLib.cleanExistingSources();
54 wilsonLib.addFunction(
"CP4", C4_u + C4_c);