feat: Add API map for the SM#1419
Conversation
|
Thank you for this PR, which will now be reviewed. If submitting to ./Physlib or ./QuantumInfo, please see our review guidelines if you are not familiar with the process. You should expect a back and forth with a reviewer before your PR is merged. See also that link for how to add appropriate labels to your PR. The PR will also go through a number of automated checks. You can learn more about these here, including how to run them locally. If you are submitting to ./PhyslibAlpha there will be a lighter review process, though your PR must still pass the automated checks. If you want to bring attention to this PR, please write a message on this thread of the Lean Zulip. Important: If a reviewer adds an |
gloges
left a comment
gloges
left a comment
There was a problem hiding this comment.
Overall looks good to me. Can you clarify what you have in mind for "SU(3)-multi-index"?
|
|
||
| - description: | | ||
| The definition of Quark doublets sitting in the (3, 2)_{1} (left-handed) | ||
| representation of the SM gauge group. The representations used here have there hypercharge |
There was a problem hiding this comment.
| representation of the SM gauge group. The representations used here have there hypercharge | |
| representation of the SM gauge group. The representations used here have their hypercharge |
| The definition of an SU(3)-multi-degree on terms in the effective potential. | ||
| This should be defined such that every independent representation of SU(3) | ||
| has its own degree. |
There was a problem hiding this comment.
What is meant by "SU(3)-multi-degree"?
If I understand correctly its purpose is to enforce that terms in the potential are in the trivial representation of SU(3).
gloges
added
the
awaiting-author
2 participants
Adding an API map for the Standard model. This was human written with no AI use.