Hyperiso 1.0.3
Modular flavour-physics calculations, Wilson coefficients and statistical inference
Loading...
Searching...
No Matches
mty::sm_input Namespace Reference

Namespace containing SM input parameters, in particular those modifiable with LHA file. More...

Functions

void undefineNumericalValues ()
 
void redefineNumericalValues ()
 

Variables

csl::Expr alpha_em = csl::constant_s("alpha_em", 1 / csl::float_s(1.37035999139e+02L))
 
csl::Expr e_em
 
csl::Expr G_F = csl::constant_s("G_F", csl::float_s(1.1663787e-05L))
 
csl::Expr alpha_s = csl::constant_s("alpha_s", csl::float_s(1.1890e-01L))
 
csl::Expr g_s
 
csl::Expr M_Z = csl::constant_s("M_Z", csl::float_s(9.11876e+01))
 
csl::Expr m_b = csl::constant_s("m_b", csl::float_s(4.18))
 
csl::Expr m_t = csl::constant_s("m_t", csl::float_s(173))
 
csl::Expr m_tau = csl::constant_s("m_tau", csl::float_s(1.77686))
 
csl::Expr M_W = csl::constant_s("M_W", csl::float_s(80.379))
 
csl::Expr m_h = csl::constant_s("m_h", csl::float_s(125.18))
 
csl::Expr v = csl::constant_s("v", 246.22)
 
csl::Expr m_e = csl::constant_s("m_e", csl::float_s(5.109989461e-04L))
 
csl::Expr m_mu = csl::constant_s("m_mu", csl::float_s(105.6583745e-03))
 
csl::Expr m_u = csl::constant_s("m_u", csl::float_s(2.2e-03))
 
csl::Expr m_d = csl::constant_s("m_d", csl::float_s(4.7e-03))
 
csl::Expr m_c = csl::constant_s("m_c", csl::float_s(1.275))
 
csl::Expr m_s = csl::constant_s("m_s", csl::float_s(0.095))
 
csl::Expr Gamma_W = csl::constant_s("Gamma_W", csl::float_s(2.085))
 
csl::Expr Gamma_Z = csl::constant_s("Gamma_Z", csl::float_s(2.4952))
 
csl::Expr Gamma_h = csl::constant_s("Gamma_h", csl::float_s(4.2e-3))
 
csl::Expr Gamma_t = csl::constant_s("Gamma_t", csl::float_s(1.41))
 
csl::Expr s2_theta_W = csl::constant_s("s2_thetaW", csl::float_s(0.23057))
 
csl::Expr theta_W
 
constexpr bool useWolfensteinCKM = true
 
csl::Expr V_ud_mod = csl::constant_s("V_ud_mod", csl::float_s(0.97370))
 
csl::Expr V_us_mod = csl::constant_s("V_us_mod", csl::float_s(0.2245))
 
csl::Expr V_ub_mod = csl::constant_s("V_ub_mod", csl::float_s(3.82e-03))
 
csl::Expr V_cb_mod = csl::constant_s("V_cb_mod", csl::float_s(41.0e-03))
 
csl::Expr V_cd_mod = csl::constant_s("V_cd_mod", csl::float_s(0.2210))
 
csl::Expr V_cs_mod = csl::constant_s("V_cs_mod", csl::float_s(0.987))
 
csl::Expr V_td_mod = csl::constant_s("V_td_mod", csl::float_s(8.0e-03))
 
csl::Expr V_ts_mod = csl::constant_s("V_ts_mod", csl::float_s(38.8e-03))
 
csl::Expr V_tb_mod = csl::constant_s("V_tb_mod", csl::float_s(1.013))
 
csl::Expr A_wolf = csl::constant_s("A_wolf", csl::float_s(0.790))
 
csl::Expr lambda_wolf = csl::constant_s("lambda_wolf", csl::float_s(0.22650))
 
csl::Expr rho_bar_wolf = csl::constant_s("rho_bar_wolf", csl::float_s(0.141))
 
csl::Expr eta_bar_wolf = csl::constant_s("eta_bar_wolf", csl::float_s(0.357))
 
csl::Expr s_12_wolf = lambda_wolf
 
csl::Expr s_23_wolf = A_wolf * lambda_wolf * lambda_wolf
 
csl::Expr s_13_wolf
 
csl::Expr c_12_wolf = csl::sqrt_s(1 - s_12_wolf * s_12_wolf)
 
csl::Expr c_13_wolf = csl::sqrt_s(1 - s_13_wolf * s_13_wolf)
 
csl::Expr c_23_wolf = csl::sqrt_s(1 - s_23_wolf * s_23_wolf)
 
csl::Expr delta_wolf
 
csl::Expr V_ud_wolf = c_12_wolf * c_13_wolf
 
csl::Expr V_us_wolf = s_12_wolf * c_13_wolf
 
csl::Expr V_ub_wolf = s_13_wolf * csl::exp_s(-CSL_I * delta_wolf)
 
csl::Expr V_cd_wolf
 
csl::Expr V_cs_wolf
 
csl::Expr V_cb_wolf = s_23_wolf * c_13_wolf
 
csl::Expr V_td_wolf
 
csl::Expr V_ts_wolf
 
csl::Expr V_tb_wolf = c_23_wolf * c_13_wolf
 
csl::Expr V_ud
 
csl::Expr V_us
 
csl::Expr V_cb
 
csl::Expr V_tb
 
csl::Expr tan_CKM_12 = V_us / V_ud
 
csl::Expr sin_CKM_12
 
csl::Expr cos_CKM_12
 
csl::Expr tan_CKM_23 = V_cb / V_tb
 
csl::Expr sin_CKM_23
 
csl::Expr cos_CKM_23
 
csl::Expr cos_CKM_13
 
csl::Expr sin_CKM_13
 
csl::Expr V_cd
 
csl::Expr V_cs
 
csl::Expr V_td
 
csl::Expr V_ts
 
csl::Expr V_ub
 
const std::vector< csl::Expr > all_params
 

Detailed Description

Namespace containing SM input parameters, in particular those modifiable with LHA file.

See also
lha.h, lhaBuiltIn.h, mty::lha

Function Documentation

◆ redefineNumericalValues()

void mty::sm_input::redefineNumericalValues ( )

◆ undefineNumericalValues()

void mty::sm_input::undefineNumericalValues ( )

Variable Documentation

◆ A_wolf

csl::Expr mty::sm_input::A_wolf = csl::constant_s("A_wolf", csl::float_s(0.790))
inline

Definition at line 171 of file sm.h.

◆ all_params

const std::vector<csl::Expr> mty::sm_input::all_params
inline

Definition at line 326 of file sm.h.

◆ alpha_em

csl::Expr mty::sm_input::alpha_em = csl::constant_s("alpha_em", 1 / csl::float_s(1.37035999139e+02L))
inline

Definition at line 75 of file sm.h.

◆ alpha_s

csl::Expr mty::sm_input::alpha_s = csl::constant_s("alpha_s", csl::float_s(1.1890e-01L))
inline

Definition at line 87 of file sm.h.

◆ c_12_wolf

csl::Expr mty::sm_input::c_12_wolf = csl::sqrt_s(1 - s_12_wolf * s_12_wolf)
inline

Definition at line 190 of file sm.h.

◆ c_13_wolf

csl::Expr mty::sm_input::c_13_wolf = csl::sqrt_s(1 - s_13_wolf * s_13_wolf)
inline

Definition at line 192 of file sm.h.

◆ c_23_wolf

csl::Expr mty::sm_input::c_23_wolf = csl::sqrt_s(1 - s_23_wolf * s_23_wolf)
inline

Definition at line 194 of file sm.h.

◆ cos_CKM_12

csl::Expr mty::sm_input::cos_CKM_12
inline
Initial value:
= csl::Evaluated(csl::cos_s(csl::atan_s(tan_CKM_12)),
csl::eval::literal | csl::eval::numerical)

Definition at line 256 of file sm.h.

◆ cos_CKM_13

csl::Expr mty::sm_input::cos_CKM_13
inline
Initial value:
= csl::Evaluated(csl::sqrt_s(V_us * V_us + V_ud * V_ud),
csl::eval::literal | csl::eval::numerical)

Definition at line 268 of file sm.h.

◆ cos_CKM_23

csl::Expr mty::sm_input::cos_CKM_23
inline
Initial value:
= csl::Evaluated(csl::cos_s(csl::atan_s(tan_CKM_23)),
csl::eval::literal | csl::eval::numerical)

Definition at line 264 of file sm.h.

◆ delta_wolf

csl::Expr mty::sm_input::delta_wolf
inline
Initial value:
= csl::constant_s(
"delta_wolf",
csl::Evaluated(csl::angle_s(rho_bar_wolf, eta_bar_wolf), csl::eval::all))

Definition at line 196 of file sm.h.

◆ e_em

csl::Expr mty::sm_input::e_em
inline
Initial value:
= csl::constant_s(
"e_em",
csl::Evaluated(csl::sqrt_s(4 * M_PI * alpha_em),
csl::eval::numerical | csl::eval::literal))

Definition at line 78 of file sm.h.

◆ eta_bar_wolf

csl::Expr mty::sm_input::eta_bar_wolf = csl::constant_s("eta_bar_wolf", csl::float_s(0.357))
inline

Definition at line 179 of file sm.h.

◆ G_F

csl::Expr mty::sm_input::G_F = csl::constant_s("G_F", csl::float_s(1.1663787e-05L))
inline

Definition at line 84 of file sm.h.

◆ g_s

csl::Expr mty::sm_input::g_s
inline
Initial value:
= csl::constant_s(
"g_s",
csl::Evaluated(csl::sqrt_s(4 * M_PI * alpha_s),
csl::eval::numerical | csl::eval::literal))

Definition at line 89 of file sm.h.

◆ Gamma_h

csl::Expr mty::sm_input::Gamma_h = csl::constant_s("Gamma_h", csl::float_s(4.2e-3))
inline

Definition at line 128 of file sm.h.

◆ Gamma_t

csl::Expr mty::sm_input::Gamma_t = csl::constant_s("Gamma_t", csl::float_s(1.41))
inline

Definition at line 130 of file sm.h.

◆ Gamma_W

csl::Expr mty::sm_input::Gamma_W = csl::constant_s("Gamma_W", csl::float_s(2.085))
inline

Definition at line 123 of file sm.h.

◆ Gamma_Z

csl::Expr mty::sm_input::Gamma_Z = csl::constant_s("Gamma_Z", csl::float_s(2.4952))
inline

Definition at line 125 of file sm.h.

◆ lambda_wolf

csl::Expr mty::sm_input::lambda_wolf = csl::constant_s("lambda_wolf", csl::float_s(0.22650))
inline

Definition at line 173 of file sm.h.

◆ m_b

csl::Expr mty::sm_input::m_b = csl::constant_s("m_b", csl::float_s(4.18))
inline

Definition at line 96 of file sm.h.

◆ m_c

csl::Expr mty::sm_input::m_c = csl::constant_s("m_c", csl::float_s(1.275))
inline

Definition at line 120 of file sm.h.

◆ m_d

csl::Expr mty::sm_input::m_d = csl::constant_s("m_d", csl::float_s(4.7e-03))
inline

Definition at line 118 of file sm.h.

◆ m_e

csl::Expr mty::sm_input::m_e = csl::constant_s("m_e", csl::float_s(5.109989461e-04L))
inline

Definition at line 112 of file sm.h.

◆ m_h

csl::Expr mty::sm_input::m_h = csl::constant_s("m_h", csl::float_s(125.18))
inline

Definition at line 108 of file sm.h.

◆ m_mu

csl::Expr mty::sm_input::m_mu = csl::constant_s("m_mu", csl::float_s(105.6583745e-03))
inline

Definition at line 114 of file sm.h.

◆ m_s

csl::Expr mty::sm_input::m_s = csl::constant_s("m_s", csl::float_s(0.095))
inline

Definition at line 122 of file sm.h.

◆ m_t

csl::Expr mty::sm_input::m_t = csl::constant_s("m_t", csl::float_s(173))
inline

Definition at line 98 of file sm.h.

◆ m_tau

csl::Expr mty::sm_input::m_tau = csl::constant_s("m_tau", csl::float_s(1.77686))
inline

Definition at line 100 of file sm.h.

◆ m_u

csl::Expr mty::sm_input::m_u = csl::constant_s("m_u", csl::float_s(2.2e-03))
inline

Definition at line 116 of file sm.h.

◆ M_W

csl::Expr mty::sm_input::M_W = csl::constant_s("M_W", csl::float_s(80.379))
inline

Definition at line 106 of file sm.h.

◆ M_Z

csl::Expr mty::sm_input::M_Z = csl::constant_s("M_Z", csl::float_s(9.11876e+01))
inline

Definition at line 94 of file sm.h.

◆ rho_bar_wolf

csl::Expr mty::sm_input::rho_bar_wolf = csl::constant_s("rho_bar_wolf", csl::float_s(0.141))
inline

Definition at line 176 of file sm.h.

◆ s2_theta_W

csl::Expr mty::sm_input::s2_theta_W = csl::constant_s("s2_thetaW", csl::float_s(0.23057))
inline

Definition at line 133 of file sm.h.

◆ s_12_wolf

csl::Expr mty::sm_input::s_12_wolf = lambda_wolf
inline

Definition at line 182 of file sm.h.

◆ s_13_wolf

csl::Expr mty::sm_input::s_13_wolf
inline
Initial value:
= A_wolf * csl::pow_s(lambda_wolf, 3)
* csl::sqrt_s(rho_bar_wolf * rho_bar_wolf + eta_bar_wolf * eta_bar_wolf)
csl::Expr A_wolf
Definition sm.h:171

Definition at line 186 of file sm.h.

◆ s_23_wolf

csl::Expr mty::sm_input::s_23_wolf = A_wolf * lambda_wolf * lambda_wolf
inline

Definition at line 184 of file sm.h.

◆ sin_CKM_12

csl::Expr mty::sm_input::sin_CKM_12
inline
Initial value:
= csl::Evaluated(csl::sin_s(csl::atan_s(tan_CKM_12)),
csl::eval::literal | csl::eval::numerical)

Definition at line 253 of file sm.h.

◆ sin_CKM_13

csl::Expr mty::sm_input::sin_CKM_13
inline
Initial value:
= csl::Evaluated(csl::sqrt_s(1 - csl::pow_s(cos_CKM_13, 2)),
csl::eval::literal | csl::eval::numerical)

Definition at line 272 of file sm.h.

◆ sin_CKM_23

csl::Expr mty::sm_input::sin_CKM_23
inline
Initial value:
= csl::Evaluated(csl::sin_s(csl::atan_s(tan_CKM_23)),
csl::eval::literal | csl::eval::numerical)

Definition at line 261 of file sm.h.

◆ tan_CKM_12

csl::Expr mty::sm_input::tan_CKM_12 = V_us / V_ud
inline

Definition at line 252 of file sm.h.

◆ tan_CKM_23

csl::Expr mty::sm_input::tan_CKM_23 = V_cb / V_tb
inline

Definition at line 260 of file sm.h.

◆ theta_W

csl::Expr mty::sm_input::theta_W
inline
Initial value:
= csl::constant_s(
"theta_W",
csl::Evaluated(csl::asin_s(csl::sqrt_s(s2_theta_W)),
csl::eval::numerical | csl::eval::literal))

Definition at line 136 of file sm.h.

◆ useWolfensteinCKM

constexpr bool mty::sm_input::useWolfensteinCKM = true
inlineconstexpr

Definition at line 147 of file sm.h.

◆ v

csl::Expr mty::sm_input::v = csl::constant_s("v", 246.22)
inline

Definition at line 110 of file sm.h.

◆ V_cb

csl::Expr mty::sm_input::V_cb
inline
Initial value:
= csl::constant_s(
"V_cb",
(useWolfensteinCKM) ? csl::Evaluated(V_cb_wolf, csl::eval::all)
: V_cb_mod->getValue(),
csl::ComplexProperty::Real)
csl::Expr V_cb_mod
Definition sm.h:157

Definition at line 238 of file sm.h.

◆ V_cb_mod

csl::Expr mty::sm_input::V_cb_mod = csl::constant_s("V_cb_mod", csl::float_s(41.0e-03))
inline

Definition at line 156 of file sm.h.

◆ V_cb_wolf

csl::Expr mty::sm_input::V_cb_wolf = s_23_wolf * c_13_wolf
inline

Definition at line 214 of file sm.h.

◆ V_cd

csl::Expr mty::sm_input::V_cd
inline
Initial value:
= csl::constant_s(
"V_cd",
(useWolfensteinCKM)
? csl::Evaluated(V_cd_wolf, csl::eval::all)
: csl::Evaluated(-sin_CKM_12 *cos_CKM_23
* csl::exp_s(CSL_I * delta_wolf),
csl::eval::literal | csl::eval::numerical),
csl::ComplexProperty::Complex)
csl::Expr sin_CKM_13
Definition sm.h:273
csl::Expr sin_CKM_12
Definition sm.h:254
csl::Expr delta_wolf
Definition sm.h:196
csl::Expr cos_CKM_23
Definition sm.h:265
csl::Expr sin_CKM_23
Definition sm.h:262
csl::Expr cos_CKM_12
Definition sm.h:257

Definition at line 276 of file sm.h.

◆ V_cd_mod

csl::Expr mty::sm_input::V_cd_mod = csl::constant_s("V_cd_mod", csl::float_s(0.2210))
inline

Definition at line 159 of file sm.h.

◆ V_cd_wolf

csl::Expr mty::sm_input::V_cd_wolf
inline
Initial value:
- c_12_wolf * s_23_wolf * s_13_wolf * csl::exp_s(CSL_I * delta_wolf)
csl::Expr c_12_wolf
Definition sm.h:190
csl::Expr s_13_wolf
Definition sm.h:187
csl::Expr s_23_wolf
Definition sm.h:184
csl::Expr s_12_wolf
Definition sm.h:182
csl::Expr c_23_wolf
Definition sm.h:194

Definition at line 206 of file sm.h.

◆ V_cs

csl::Expr mty::sm_input::V_cs
inline
Initial value:
= csl::constant_s(
"V_cs",
(useWolfensteinCKM)
? csl::Evaluated(V_cs_wolf, csl::eval::all)
: csl::Evaluated(cos_CKM_12 *cos_CKM_23
* csl::exp_s(CSL_I * delta_wolf),
csl::eval::literal | csl::eval::numerical),
csl::ComplexProperty::Complex)

Definition at line 286 of file sm.h.

◆ V_cs_mod

csl::Expr mty::sm_input::V_cs_mod = csl::constant_s("V_cs_mod", csl::float_s(0.987))
inline

Definition at line 161 of file sm.h.

◆ V_cs_wolf

csl::Expr mty::sm_input::V_cs_wolf
inline
Initial value:
- s_12_wolf * s_23_wolf * s_13_wolf * csl::exp_s(CSL_I * delta_wolf)

Definition at line 210 of file sm.h.

◆ V_tb

csl::Expr mty::sm_input::V_tb
inline
Initial value:
= csl::constant_s(
"V_tb",
(useWolfensteinCKM) ? csl::Evaluated(V_tb_wolf, csl::eval::all)
: V_tb_mod->getValue(),
csl::ComplexProperty::Real)
csl::Expr V_tb_mod
Definition sm.h:168

Definition at line 244 of file sm.h.

◆ V_tb_mod

csl::Expr mty::sm_input::V_tb_mod = csl::constant_s("V_tb_mod", csl::float_s(1.013))
inline

Definition at line 168 of file sm.h.

◆ V_tb_wolf

csl::Expr mty::sm_input::V_tb_wolf = c_23_wolf * c_13_wolf
inline

Definition at line 224 of file sm.h.

◆ V_td

csl::Expr mty::sm_input::V_td
inline
Initial value:
= csl::constant_s(
"V_td",
(useWolfensteinCKM)
? csl::Evaluated(V_td_wolf, csl::eval::all)
: csl::Evaluated(sin_CKM_12 *sin_CKM_23
* csl::exp_s(CSL_I * delta_wolf),
csl::eval::literal | csl::eval::numerical),
csl::ComplexProperty::Complex)

Definition at line 296 of file sm.h.

◆ V_td_mod

csl::Expr mty::sm_input::V_td_mod = csl::constant_s("V_td_mod", csl::float_s(8.0e-03))
inline

Definition at line 163 of file sm.h.

◆ V_td_wolf

csl::Expr mty::sm_input::V_td_wolf
inline
Initial value:
- c_12_wolf * c_23_wolf * s_13_wolf * csl::exp_s(CSL_I * delta_wolf)

Definition at line 216 of file sm.h.

◆ V_ts

csl::Expr mty::sm_input::V_ts
inline
Initial value:
= csl::constant_s(
"V_ts",
(useWolfensteinCKM)
? csl::Evaluated(V_ts_wolf, csl::eval::all)
: csl::Evaluated(-cos_CKM_12 *sin_CKM_23
* csl::exp_s(CSL_I * delta_wolf),
csl::eval::literal | csl::eval::numerical),
csl::ComplexProperty::Complex)

Definition at line 306 of file sm.h.

◆ V_ts_mod

csl::Expr mty::sm_input::V_ts_mod = csl::constant_s("V_ts_mod", csl::float_s(38.8e-03))
inline

Definition at line 165 of file sm.h.

◆ V_ts_wolf

csl::Expr mty::sm_input::V_ts_wolf
inline
Initial value:
- s_12_wolf * c_23_wolf * s_13_wolf * csl::exp_s(CSL_I * delta_wolf)

Definition at line 220 of file sm.h.

◆ V_ub

csl::Expr mty::sm_input::V_ub
inline
Initial value:
= csl::constant_s(
"V_ub",
(useWolfensteinCKM) ? csl::Evaluated(V_ub_wolf, csl::eval::all)
: csl::Evaluated(
-(csl::GetComplexConjugate(V_cd) * V_cb
+ csl::GetComplexConjugate(V_td) * V_tb)
/ csl::GetComplexConjugate(V_ud),
csl::eval::literal | csl::eval::numerical),
csl::ComplexProperty::Complex)
csl::Expr V_cb
Definition sm.h:238
csl::Expr V_cd
Definition sm.h:276
csl::Expr V_ud
Definition sm.h:226
csl::Expr V_tb
Definition sm.h:244
csl::Expr V_td
Definition sm.h:296

Definition at line 316 of file sm.h.

◆ V_ub_mod

csl::Expr mty::sm_input::V_ub_mod = csl::constant_s("V_ub_mod", csl::float_s(3.82e-03))
inline

Definition at line 153 of file sm.h.

◆ V_ub_wolf

csl::Expr mty::sm_input::V_ub_wolf = s_13_wolf * csl::exp_s(-CSL_I * delta_wolf)
inline

Definition at line 204 of file sm.h.

◆ V_ud

csl::Expr mty::sm_input::V_ud
inline
Initial value:
= csl::constant_s(
"V_ud",
(useWolfensteinCKM) ? csl::Evaluated(V_ud_wolf, csl::eval::all)
: V_ud_mod->getValue(),
csl::ComplexProperty::Real)
csl::Expr V_ud_mod
Definition sm.h:149

Definition at line 226 of file sm.h.

◆ V_ud_mod

csl::Expr mty::sm_input::V_ud_mod = csl::constant_s("V_ud_mod", csl::float_s(0.97370))
inline

Definition at line 149 of file sm.h.

◆ V_ud_wolf

csl::Expr mty::sm_input::V_ud_wolf = c_12_wolf * c_13_wolf
inline

Definition at line 200 of file sm.h.

◆ V_us

csl::Expr mty::sm_input::V_us
inline
Initial value:
= csl::constant_s(
"V_us",
(useWolfensteinCKM) ? csl::Evaluated(V_us_wolf, csl::eval::all)
: V_us_mod->getValue(),
csl::ComplexProperty::Real)
csl::Expr V_us_mod
Definition sm.h:151

Definition at line 232 of file sm.h.

◆ V_us_mod

csl::Expr mty::sm_input::V_us_mod = csl::constant_s("V_us_mod", csl::float_s(0.2245))
inline

Definition at line 151 of file sm.h.

◆ V_us_wolf

csl::Expr mty::sm_input::V_us_wolf = s_12_wolf * c_13_wolf
inline

Definition at line 202 of file sm.h.