| 1 | (* Content-type: application/vnd.wolfram.mathematica *)
|
|---|
| 2 |
|
|---|
| 3 | (*** Wolfram Notebook File ***)
|
|---|
| 4 | (* http://www.wolfram.com/nb *)
|
|---|
| 5 |
|
|---|
| 6 | (* CreatedBy='Mathematica 9.0' *)
|
|---|
| 7 |
|
|---|
| 8 | (*CacheID: 234*)
|
|---|
| 9 | (* Internal cache information:
|
|---|
| 10 | NotebookFileLineBreakTest
|
|---|
| 11 | NotebookFileLineBreakTest
|
|---|
| 12 | NotebookDataPosition[ 157, 7]
|
|---|
| 13 | NotebookDataLength[ 8054, 257]
|
|---|
| 14 | NotebookOptionsPosition[ 6950, 212]
|
|---|
| 15 | NotebookOutlinePosition[ 7306, 228]
|
|---|
| 16 | CellTagsIndexPosition[ 7263, 225]
|
|---|
| 17 | WindowFrame->Normal*)
|
|---|
| 18 |
|
|---|
| 19 | (* Beginning of Notebook Content *)
|
|---|
| 20 | Notebook[{
|
|---|
| 21 |
|
|---|
| 22 | Cell[CellGroupData[{
|
|---|
| 23 | Cell["Setup", "Section",
|
|---|
| 24 | CellChangeTimes->{{3.5817002707890997`*^9, 3.581700271197218*^9}}],
|
|---|
| 25 |
|
|---|
| 26 | Cell[BoxData[{
|
|---|
| 27 | RowBox[{
|
|---|
| 28 | RowBox[{"$OldDir", "=",
|
|---|
| 29 | RowBox[{"NotebookDirectory", "[", "]"}]}], ";"}], "\[IndentingNewLine]",
|
|---|
| 30 | RowBox[{
|
|---|
| 31 | RowBox[{"$FeynRulesPath", "=",
|
|---|
| 32 | RowBox[{"SetDirectory", "[", "\"\<~/feynrules-current\>\"", "]"}]}],
|
|---|
| 33 | ";"}], "\[IndentingNewLine]",
|
|---|
| 34 | RowBox[{
|
|---|
| 35 | RowBox[{"<<", "FeynRules`"}], ";"}], "\[IndentingNewLine]",
|
|---|
| 36 | RowBox[{
|
|---|
| 37 | RowBox[{"LoadModel", "[",
|
|---|
| 38 | RowBox[{"$FeynRulesPath", "<>", "\"\</Models/HEL.fr\>\""}], "]"}],
|
|---|
| 39 | ";"}]}], "Input",
|
|---|
| 40 | CellChangeTimes->{{3.581700209879122*^9, 3.581700260936915*^9}, {
|
|---|
| 41 | 3.581700376890725*^9, 3.58170037821945*^9}, {3.581702836763228*^9,
|
|---|
| 42 | 3.581702837338793*^9}, {3.5818481249015427`*^9, 3.581848143347954*^9}, {
|
|---|
| 43 | 3.582995204405798*^9, 3.58299521528404*^9}, {3.583038702741356*^9,
|
|---|
| 44 | 3.583038709578618*^9}, 3.583076573840444*^9, {3.584182000911727*^9,
|
|---|
| 45 | 3.58418200121646*^9}, {3.584182161492667*^9, 3.584182163564756*^9}, {
|
|---|
| 46 | 3.584182282715509*^9, 3.584182284105041*^9}, {3.584182399637722*^9,
|
|---|
| 47 | 3.584182404861476*^9}, 3.584182460107353*^9, {3.584182514313562*^9,
|
|---|
| 48 | 3.584182515436211*^9}, {3.5841828579996443`*^9, 3.584182858494486*^9}, {
|
|---|
| 49 | 3.591369267589684*^9, 3.591369308504643*^9}, {3.6037025183316298`*^9,
|
|---|
| 50 | 3.603702520287414*^9}}]
|
|---|
| 51 | }, Open ]],
|
|---|
| 52 |
|
|---|
| 53 | Cell[CellGroupData[{
|
|---|
| 54 |
|
|---|
| 55 | Cell["Strongly interacting Higgs", "Section",
|
|---|
| 56 | CellChangeTimes->{{3.592050781311898*^9, 3.592050792370556*^9}}],
|
|---|
| 57 |
|
|---|
| 58 | Cell[BoxData[{
|
|---|
| 59 | RowBox[{
|
|---|
| 60 | RowBox[{"Slagr", "=",
|
|---|
| 61 | RowBox[{"LSILH", "+", "LSM"}]}], ";"}], "\[IndentingNewLine]",
|
|---|
| 62 | RowBox[{
|
|---|
| 63 | RowBox[{"Srules", " ", "=", " ",
|
|---|
| 64 | RowBox[{"FeynmanRules", "[", "Slagr", "]"}]}],
|
|---|
| 65 | ";"}], "\[IndentingNewLine]",
|
|---|
| 66 | RowBox[{
|
|---|
| 67 | RowBox[{"WriteUFO", "[",
|
|---|
| 68 | RowBox[{"Slagr", ",",
|
|---|
| 69 | RowBox[{"Output", "\[Rule]", "\"\<SILH_UFO\>\""}]}], "]"}],
|
|---|
| 70 | ";"}]}], "Input",
|
|---|
| 71 | CellChangeTimes->{{3.59205079553372*^9, 3.592050838382057*^9}, {
|
|---|
| 72 | 3.59205088788684*^9, 3.592050916405327*^9}, {3.592917055277775*^9,
|
|---|
| 73 | 3.59291706495752*^9}}]
|
|---|
| 74 | }, Open ]],
|
|---|
| 75 |
|
|---|
| 76 | Cell[CellGroupData[{
|
|---|
| 77 |
|
|---|
| 78 | Cell["Pair of Higgs fields with a pair of leptons or quarks", "Section",
|
|---|
| 79 | CellChangeTimes->{{3.592050944690618*^9, 3.592050947760697*^9}, {
|
|---|
| 80 | 3.592050990614394*^9, 3.5920509911924133`*^9}}],
|
|---|
| 81 |
|
|---|
| 82 | Cell[BoxData[{
|
|---|
| 83 | RowBox[{
|
|---|
| 84 | RowBox[{"Plagr", "=",
|
|---|
| 85 | RowBox[{"LF1", "+", "LSM"}]}], ";"}], "\[IndentingNewLine]",
|
|---|
| 86 | RowBox[{
|
|---|
| 87 | RowBox[{"Prules", " ", "=", " ",
|
|---|
| 88 | RowBox[{"FeynmanRules", "[", "Plagr", "]"}]}],
|
|---|
| 89 | ";"}], "\[IndentingNewLine]",
|
|---|
| 90 | RowBox[{
|
|---|
| 91 | RowBox[{"WriteUFO", "[",
|
|---|
| 92 | RowBox[{"Plagr", ",",
|
|---|
| 93 | RowBox[{"Output", "\[Rule]", "\"\<HHFF_UFO\>\""}]}], "]"}],
|
|---|
| 94 | ";"}]}], "Input",
|
|---|
| 95 | CellChangeTimes->{{3.592050954724972*^9, 3.592050976242144*^9}, {
|
|---|
| 96 | 3.592917046397978*^9, 3.592917051726028*^9}}]
|
|---|
| 97 | }, Open ]],
|
|---|
| 98 |
|
|---|
| 99 | Cell[CellGroupData[{
|
|---|
| 100 |
|
|---|
| 101 | Cell["\<\
|
|---|
| 102 | Single Higgs field with a pair of leptons or quarks and a gauge boson \
|
|---|
| 103 | \>", "Section",
|
|---|
| 104 | CellChangeTimes->{{3.592050989074213*^9, 3.5920509937940474`*^9}}],
|
|---|
| 105 |
|
|---|
| 106 | Cell[BoxData[{
|
|---|
| 107 | RowBox[{
|
|---|
| 108 | RowBox[{"SHlagr", "=",
|
|---|
| 109 | RowBox[{"LF2", "+", "LSM"}]}], ";"}], "\[IndentingNewLine]",
|
|---|
| 110 | RowBox[{
|
|---|
| 111 | RowBox[{"SHrules", " ", "=", " ",
|
|---|
| 112 | RowBox[{"FeynmanRules", "[", "SHlagr", "]"}]}],
|
|---|
| 113 | ";"}], "\[IndentingNewLine]",
|
|---|
| 114 | RowBox[{
|
|---|
| 115 | RowBox[{"WriteUFO", "[",
|
|---|
| 116 | RowBox[{"SHlagr", ",",
|
|---|
| 117 | RowBox[{"Output", "\[Rule]", "\"\<HFFV_UFO\>\""}]}], "]"}],
|
|---|
| 118 | ";"}]}], "Input",
|
|---|
| 119 | CellChangeTimes->{{3.5920509998861723`*^9, 3.592051016751165*^9}, {
|
|---|
| 120 | 3.592917036374291*^9, 3.592917042654159*^9}}]
|
|---|
| 121 | }, Open ]],
|
|---|
| 122 |
|
|---|
| 123 | Cell[CellGroupData[{
|
|---|
| 124 |
|
|---|
| 125 | Cell["Gauge bosons self couplings", "Section",
|
|---|
| 126 | CellChangeTimes->{{3.592051030955737*^9, 3.592051039361197*^9}}],
|
|---|
| 127 |
|
|---|
| 128 | Cell[BoxData[{
|
|---|
| 129 | RowBox[{
|
|---|
| 130 | RowBox[{"Glagr", "=",
|
|---|
| 131 | RowBox[{"LBosons", "+", "LSM"}]}], ";"}], "\n",
|
|---|
| 132 | RowBox[{
|
|---|
| 133 | RowBox[{"Grules", " ", "=", " ",
|
|---|
| 134 | RowBox[{"FeynmanRules", "[", "Glagr", "]"}]}], ";"}], "\n",
|
|---|
| 135 | RowBox[{
|
|---|
| 136 | RowBox[{"WriteUFO", "[",
|
|---|
| 137 | RowBox[{"Glagr", ",",
|
|---|
| 138 | RowBox[{"Output", "\[Rule]", "\"\<GaugeBosons_UFO\>\""}]}], "]"}],
|
|---|
| 139 | ";"}]}], "Input",
|
|---|
| 140 | CellChangeTimes->{{3.592051040002797*^9, 3.592051070805373*^9}, {
|
|---|
| 141 | 3.592917030382573*^9, 3.5929170336704893`*^9}}]
|
|---|
| 142 | }, Open ]],
|
|---|
| 143 |
|
|---|
| 144 | Cell[CellGroupData[{
|
|---|
| 145 |
|
|---|
| 146 | Cell["CP-violating interactions", "Section",
|
|---|
| 147 | CellChangeTimes->{{3.592051082889255*^9, 3.5920510939613533`*^9}}],
|
|---|
| 148 |
|
|---|
| 149 | Cell[BoxData[{
|
|---|
| 150 | RowBox[{
|
|---|
| 151 | RowBox[{"CPlagr", "=",
|
|---|
| 152 | RowBox[{"LCP", "+", "LSM"}]}], ";"}], "\[IndentingNewLine]",
|
|---|
| 153 | RowBox[{
|
|---|
| 154 | RowBox[{"CPrules", " ", "=", " ",
|
|---|
| 155 | RowBox[{"FeynmanRules", "[", "CPlagr", "]"}]}],
|
|---|
| 156 | ";"}], "\[IndentingNewLine]",
|
|---|
| 157 | RowBox[{
|
|---|
| 158 | RowBox[{"WriteUFO", "[",
|
|---|
| 159 | RowBox[{"CPlagr", ",",
|
|---|
| 160 | RowBox[{"Output", "\[Rule]", "\"\<CPviolating_UFO\>\""}]}], "]"}],
|
|---|
| 161 | ";"}]}], "Input",
|
|---|
| 162 | CellChangeTimes->{{3.592051098237432*^9, 3.592051151133205*^9}, {
|
|---|
| 163 | 3.592917021390731*^9, 3.5929170277827*^9}}]
|
|---|
| 164 | }, Open ]],
|
|---|
| 165 |
|
|---|
| 166 | Cell[CellGroupData[{
|
|---|
| 167 |
|
|---|
| 168 | Cell["Gauge - Gauge - Higgs interactions", "Section",
|
|---|
| 169 | CellChangeTimes->{{3.592051370099566*^9, 3.592051380461054*^9}}],
|
|---|
| 170 |
|
|---|
| 171 | Cell[BoxData[{
|
|---|
| 172 | RowBox[{
|
|---|
| 173 | RowBox[{"GGlagr", "=",
|
|---|
| 174 | RowBox[{"LLOPP", "+", "LSM"}]}], ";"}], "\[IndentingNewLine]",
|
|---|
| 175 | RowBox[{
|
|---|
| 176 | RowBox[{"GGrules", " ", "=", " ",
|
|---|
| 177 | RowBox[{"FeynmanRules", "[", "GGlagr", "]"}]}],
|
|---|
| 178 | ";"}], "\[IndentingNewLine]",
|
|---|
| 179 | RowBox[{
|
|---|
| 180 | RowBox[{"WriteUFO", "[",
|
|---|
| 181 | RowBox[{"GGlagr", ",",
|
|---|
| 182 | RowBox[{"Output", "\[Rule]", "\"\<GGHiggs_UFO\>\""}]}], "]"}],
|
|---|
| 183 | ";"}]}], "Input",
|
|---|
| 184 | CellChangeTimes->{{3.592051387684909*^9, 3.592051410737917*^9}, {
|
|---|
| 185 | 3.59291701185524*^9, 3.592917016335073*^9}}]
|
|---|
| 186 | }, Open ]],
|
|---|
| 187 |
|
|---|
| 188 | Cell[CellGroupData[{
|
|---|
| 189 |
|
|---|
| 190 | Cell["Full Lagrangian", "Section",
|
|---|
| 191 | CellChangeTimes->{{3.5817009721675787`*^9, 3.5817009738937607`*^9}, {
|
|---|
| 192 | 3.591369347439767*^9, 3.591369348156604*^9}}],
|
|---|
| 193 |
|
|---|
| 194 | Cell[BoxData[{
|
|---|
| 195 | RowBox[{
|
|---|
| 196 | RowBox[{"lagr", "=", "LagHEL"}], ";"}], "\[IndentingNewLine]",
|
|---|
| 197 | RowBox[{
|
|---|
| 198 | RowBox[{"feynmanrules", "=",
|
|---|
| 199 | RowBox[{"FeynmanRules", "[",
|
|---|
| 200 | RowBox[{"lagr", ",",
|
|---|
| 201 | RowBox[{"ScreenOutput", "\[Rule]", "False"}]}], "]"}]}],
|
|---|
| 202 | ";"}], "\[IndentingNewLine]",
|
|---|
| 203 | RowBox[{
|
|---|
| 204 | RowBox[{"WriteUFO", "[",
|
|---|
| 205 | RowBox[{"lagr", ",",
|
|---|
| 206 | RowBox[{"ScreenOutput", "\[Rule]", "False"}]}], "]"}], ";"}]}], "Input",
|
|---|
| 207 | CellChangeTimes->{{3.581848751644443*^9, 3.5818487554853983`*^9}, {
|
|---|
| 208 | 3.591369405252789*^9, 3.591369406748837*^9}, {3.592051417774378*^9,
|
|---|
| 209 | 3.5920514331009893`*^9}, {3.592917000529808*^9, 3.592917003555757*^9}, {
|
|---|
| 210 | 3.603702543963779*^9, 3.6037025584389343`*^9}}]
|
|---|
| 211 | }, Open ]]
|
|---|
| 212 | },
|
|---|
| 213 | WindowSize->{1280, 976},
|
|---|
| 214 | WindowMargins->{{0, Automatic}, {Automatic, 0}},
|
|---|
| 215 | FrontEndVersion->"9.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (November 20, \
|
|---|
| 216 | 2012)",
|
|---|
| 217 | StyleDefinitions->"Default.nb"
|
|---|
| 218 | ]
|
|---|
| 219 | (* End of Notebook Content *)
|
|---|
| 220 |
|
|---|
| 221 | (* Internal cache information *)
|
|---|
| 222 | (*CellTagsOutline
|
|---|
| 223 | CellTagsIndex->{}
|
|---|
| 224 | *)
|
|---|
| 225 | (*CellTagsIndex
|
|---|
| 226 | CellTagsIndex->{}
|
|---|
| 227 | *)
|
|---|
| 228 | (*NotebookFileOutline
|
|---|
| 229 | Notebook[{
|
|---|
| 230 | Cell[CellGroupData[{
|
|---|
| 231 | Cell[579, 22, 92, 1, 80, "Section"],
|
|---|
| 232 | Cell[674, 25, 1232, 24, 80, "Input"]
|
|---|
| 233 | }, Open ]],
|
|---|
| 234 | Cell[CellGroupData[{
|
|---|
| 235 | Cell[1943, 54, 111, 1, 80, "Section"],
|
|---|
| 236 | Cell[2057, 57, 556, 15, 63, "Input"]
|
|---|
| 237 | }, Open ]],
|
|---|
| 238 | Cell[CellGroupData[{
|
|---|
| 239 | Cell[2650, 77, 189, 2, 80, "Section"],
|
|---|
| 240 | Cell[2842, 81, 508, 14, 63, "Input"]
|
|---|
| 241 | }, Open ]],
|
|---|
| 242 | Cell[CellGroupData[{
|
|---|
| 243 | Cell[3387, 100, 165, 3, 80, "Section"],
|
|---|
| 244 | Cell[3555, 105, 514, 14, 63, "Input"]
|
|---|
| 245 | }, Open ]],
|
|---|
| 246 | Cell[CellGroupData[{
|
|---|
| 247 | Cell[4106, 124, 112, 1, 80, "Section"],
|
|---|
| 248 | Cell[4221, 127, 484, 13, 63, "Input"]
|
|---|
| 249 | }, Open ]],
|
|---|
| 250 | Cell[CellGroupData[{
|
|---|
| 251 | Cell[4742, 145, 112, 1, 80, "Section"],
|
|---|
| 252 | Cell[4857, 148, 517, 14, 63, "Input"]
|
|---|
| 253 | }, Open ]],
|
|---|
| 254 | Cell[CellGroupData[{
|
|---|
| 255 | Cell[5411, 167, 119, 1, 80, "Section"],
|
|---|
| 256 | Cell[5533, 170, 516, 14, 63, "Input"]
|
|---|
| 257 | }, Open ]],
|
|---|
| 258 | Cell[CellGroupData[{
|
|---|
| 259 | Cell[6086, 189, 153, 2, 80, "Section"],
|
|---|
| 260 | Cell[6242, 193, 692, 16, 63, "Input"]
|
|---|
| 261 | }, Open ]]
|
|---|
| 262 | }
|
|---|
| 263 | ]
|
|---|
| 264 | *)
|
|---|
| 265 |
|
|---|
| 266 | (* End of internal cache information *)
|
|---|