CO D EX PACKAGE OVERVIEW
CoDEx Overview
HowToInstall
HowToInstall
Using the Installer
Using the Installer
InstallCoDEx
Running
Options
Using Locally Downloaded File
How To Run CoDEx
How To Run CoDEx
Building the Lagrangian
Building the Lagrangian
The Example Model:
Electroweak Real Triplet Scalar
Defining the Heavy Fields
Writing the Lagrangian
Wilson Coefficients in SMEFT
Wilson Coefficients in SMEFT
At tree level
Initializing the model for calculation up to 1 loop
Wilson Coefficients at 1 loop level
Using codexOutput: A Single function for everything
Model Examples
Model Examples
A. Examples with single BSM field
A. Examples with single BSM field
1) Electro-weak
SU(2)
L
Real Singlet Scalar
2) Electro-weak
SU(2)
L
Real Triplet Scalar (Y=0)
3) Electro-weak
SU(2)
L
Complex Triplet Scalar (Y=1)
4) Electro-weak
SU(2)
L
Quartet Scalar
(
Y=
)
5)
SU(2)
L
-singlet Heavy Right-handed neutrino
6)
SU(2)
L
Real triplet Heavy fermion (Y = 0)
7) 2HDM
8) Exotic
SU
(
2
)
U
(
1
)
B. Examples with multiple BSM fields
B. Examples with multiple BSM fields
1) Complex Doublet and Complex Triplet
2) Real Triplet Scalar and Real Singlet Scalar
3) Complex Doublet and Complex Singlet both with Color Charges
ReferencePages/Symbols
ReferencePages/Symbols
RGFlow
codexOutput
defineHeavyFields
formPick
initializeLoop
loopOutput
texTable
treeOutput
Guides
Guides
CoDExParafernalia
)
U(1)