This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
2 | declare initial expr |
|
|
|
no validation is available for declarations |
8257621077:
|
8257621077:
|
|
5 | substitute LHS of expr 1 into expr 2 |
|
|
|
valid |
3951205425:
8311458118: 8139187332: |
3951205425:
8311458118: 8139187332: |
|
7 | swap LHS with RHS |
|
|
|
valid |
5530148480:
7917051060: |
5530148480:
7917051060: |
|
3 | declare initial expr |
|
|
|
no validation is available for declarations |
8311458118:
|
8311458118:
|
|
8 | multiply expr 1 by expr 2 |
|
|
|
Nothing to split |
7917051060:
7917051060: 6742123016: |
7917051060:
7917051060: 6742123016: |
|
6 | subtract X from both sides |
|
|
|
valid |
8139187332:
5530148480: |
8139187332:
5530148480: |
|
4 | substitute LHS of expr 1 into expr 2 |
|
|
|
LHS diff is -pdg5493 + pdg6029 RHS diff is pdg5493 - pdg6029 |
8257621077:
1638282134: dimensions are consistent 3951205425: |
8257621077:
1638282134: N/A 3951205425: |
|
1 | declare initial expr |
|
|
|
no validation is available for declarations |
1638282134:
dimensions are consistent |
1638282134:
N/A |
symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
---|---|---|---|---|---|---|---|---|---|
1302 | variable |
\vec{p}_{\rm before}
\(\vec{p}_{\rm before}\) |
real |
|
momentum before collision | 2 | |||
6029 | variable |
\vec{p}_1
\(\vec{p}_1\) |
real |
|
momentum 1 | 5 | |||
5493 | variable |
\vec{p}_{\rm after}
\(\vec{p}_{\rm after}\) |
real |
|
momentum after collision | 3 | |||
2097 | variable |
\vec{p}_2
\(\vec{p}_2\) |
real |
|
momentum 2 | 5 | |||
4299 | variable |
\vec{p}_{\rm electron}
\(\vec{p}_{\rm electron}\) |
real |
|
momentum of electron | 5 |