Review Derivation: Physics Derivation Graph

Return to navigation page or list derivations

Review Compton's equation for scattering

abstract:
reference:

step	inference rule	input	feed	output	step validity (as per SymPy)
1	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			1638282134 $\vec{p}_{\rm before} = \vec{p}_{\rm after}$	no validation is available for declarations
2	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			8257621077 $\vec{p}_{\rm before} = \vec{p}_{1}$	no validation is available for declarations
3	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			8311458118 $\vec{p}_{\rm after} = \vec{p}_{2}+\vec{p}_{electron}$	no validation is available for declarations
4	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	1638282134 $\vec{p}_{\rm before} = \vec{p}_{\rm after}$ 8257621077 $\vec{p}_{\rm before} = \vec{p}_{1}$		3951205425 $\vec{p}_{\rm after} = \vec{p}_{1}$	valid
5	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	8311458118 $\vec{p}_{\rm after} = \vec{p}_{2}+\vec{p}_{electron}$ 3951205425 $\vec{p}_{\rm after} = \vec{p}_{1}$		8139187332 $\vec{p}_{1} = \vec{p}_{2}+\vec{p}_{electron}$	LHS diff is pdg0002097 + pdg0004299 - pdg0006029 RHS diff is -pdg0002097 - pdg0004299 + pdg0006029
6	0000111282: subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	8139187332 $\vec{p}_{1} = \vec{p}_{2}+\vec{p}_{electron}$	0002338514 $\vec{p}_{2}$	5530148480 $\vec{p}_{1}-\vec{p}_{2} = \vec{p}_{electron}$	valid
7	0000111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\ref{eq:#1} with RHS; yields Eq.~\ref{eq:#2}.	5530148480 $\vec{p}_{1}-\vec{p}_{2} = \vec{p}_{electron}$		7917051060 $\vec{p}_{electron} = \vec{p}_{1}-\vec{p}_{2}$	valid
8	0000111253: multiply expr 1 by expr 2 number of inputs: 2; feeds: 0; outputs: 1 Multiply Eq.~\ref{eq:#1} by Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	7917051060 $\vec{p}_{electron} = \vec{p}_{1}-\vec{p}_{2}$ 7917051060 $\vec{p}_{electron} = \vec{p}_{1}-\vec{p}_{2}$		6742123016 $\vec{p}_{electron}\cdot\vec{p}_{electron} = ( \vec{p}_{1}\cdot\vec{p}_{1})+( \vec{p}_{2}\cdot\vec{p}_{2})-2( \vec{p}_{1}\cdot\vec{p}_{2})$	Not evaluated due to missing term in SymPy

Symbols used in Compton's equation for scattering

0000006029: $ \vec{p}_1 $
0000002097: $ \vec{p}_2 $
0000005493: $ \vec{p}_{\rm after} $
0000001302: $ \vec{p}_{\rm before} $
0000004299: $ \vec{p}_{\rm electron} $

d3js visualization of steps and expressions in Compton's equation for scattering

Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

You must be logged in to edit the steps of derivation, edit the abstract, or rename the derivation.

Generate Tex file or PDF file

Delete Derivation and all associated steps

You must be logged in to delete the derivation.

timing of Neo4j queries:

0.012 seconds for pdg_app/to_review_derivation 9772587a-3366-4ad6-abfd-113b3fc1904d
0.031 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9cea836f-990a-49e3-aee3-34b9a0ccec08
0.006 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_ID9cea836f-990a-49e3-aee3-34b9a0ccec08
0.006 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUT9cea836f-990a-49e3-aee3-34b9a0ccec08
0.005 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEED9cea836f-990a-49e3-aee3-34b9a0ccec08
0.006 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9cea836f-990a-49e3-aee3-34b9a0ccec08
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_step9cea836f-990a-49e3-aee3-34b9a0ccec08
0.155 seconds for pdg_app/ 9772587a-3366-4ad6-abfd-113b3fc1904d

step	inference rule	input	feed	output	step validity (as per SymPy)
1	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			1638282134 \(\vec{p}_{\rm before} = \vec{p}_{\rm after}\)	no validation is available for declarations
2	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			8257621077 \(\vec{p}_{\rm before} = \vec{p}_{1}\)	no validation is available for declarations
3	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			8311458118 \(\vec{p}_{\rm after} = \vec{p}_{2}+\vec{p}_{electron}\)	no validation is available for declarations
4	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	1638282134 \(\vec{p}_{\rm before} = \vec{p}_{\rm after}\) 8257621077 \(\vec{p}_{\rm before} = \vec{p}_{1}\)		3951205425 \(\vec{p}_{\rm after} = \vec{p}_{1}\)	valid
5	0000111556: substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\ref{eq:#1} into Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	8311458118 \(\vec{p}_{\rm after} = \vec{p}_{2}+\vec{p}_{electron}\) 3951205425 \(\vec{p}_{\rm after} = \vec{p}_{1}\)		8139187332 \(\vec{p}_{1} = \vec{p}_{2}+\vec{p}_{electron}\)	LHS diff is pdg0002097 + pdg0004299 - pdg0006029 RHS diff is -pdg0002097 - pdg0004299 + pdg0006029
6	0000111282: subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	8139187332 \(\vec{p}_{1} = \vec{p}_{2}+\vec{p}_{electron}\)	0002338514 \(\vec{p}_{2}\)	5530148480 \(\vec{p}_{1}-\vec{p}_{2} = \vec{p}_{electron}\)	valid
7	0000111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\ref{eq:#1} with RHS; yields Eq.~\ref{eq:#2}.	5530148480 \(\vec{p}_{1}-\vec{p}_{2} = \vec{p}_{electron}\)		7917051060 \(\vec{p}_{electron} = \vec{p}_{1}-\vec{p}_{2}\)	valid
8	0000111253: multiply expr 1 by expr 2 number of inputs: 2; feeds: 0; outputs: 1 Multiply Eq.~\ref{eq:#1} by Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	7917051060 \(\vec{p}_{electron} = \vec{p}_{1}-\vec{p}_{2}\) 7917051060 \(\vec{p}_{electron} = \vec{p}_{1}-\vec{p}_{2}\)		6742123016 \(\vec{p}_{electron}\cdot\vec{p}_{electron} = ( \vec{p}_{1}\cdot\vec{p}_{1})+( \vec{p}_{2}\cdot\vec{p}_{2})-2( \vec{p}_{1}\cdot\vec{p}_{2})\)	Not evaluated due to missing term in SymPy