Review Derivation: Physics Derivation Graph

MESSAGE:

pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)

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	111981: 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	111981: 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	111981: 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	111556: 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}.	8257621077 $\vec{p}_{\rm before}=\vec{p}_{1}$ 1638282134 $\vec{p}_{\rm before}=\vec{p}_{\rm after}$		3951205425 $\vec{p}_{\rm after}=\vec{p}_{1}$	LHS diff is -pdg0005493 + pdg0006029 RHS diff is pdg0005493 - pdg0006029
5	111556: 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	111282: 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	111268: 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	111253: 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})$	invalid syntax (<string>, line 0)

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

Generate Tex file or PDF file

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries:

0.006 seconds for pdg_app/to_review_derivation: node_properties, derivation 2977500
0.008 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation4449392
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1883571
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1883571
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1883571
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1883571
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index4449392
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8771547
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8771547
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8771547
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8771547
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8199515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8199515
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8199515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8199515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6169582
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6169582
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6169582
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6169582
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6705036
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6705036
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6705036
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6705036
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9563154
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9563154
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9563154
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9563154
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4680013
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4680013
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4680013
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4680013
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3337039
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3337039
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3337039
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3337039
0.005 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation2977500
0.008 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id2977500000015
0.03 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule2977500
0.014 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2782835
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2782835
0.013 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2782835
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2782835
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3775025
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3775025
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3775025
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3775025
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3640582
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3640582
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3640582
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3640582
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6078278
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6078278
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6078278
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6078278
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2892455
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2892455
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2892455
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2892455
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1905869
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1905869
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1905869
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1905869
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5228195
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5228195
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5228195
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5228195
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2706364
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2706364
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2706364
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2706364
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3766424
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3766424
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3766424
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3766424
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2793941
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2793941
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2793941
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2793941
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7395785
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7395785
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7395785
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7395785
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9049091
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9049091
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9049091
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9049091
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8755079
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8755079
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8755079
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8755079
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6687779
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6687779
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6687779
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6687779
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7385985
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7385985
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7385985
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7385985
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8329864
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8329864
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8329864
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8329864

step	inference rule	input	feed	output	step validity (as per SymPy)
1	111981: 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	111981: 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	111981: 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	111556: 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}.	8257621077 \(\vec{p}_{\rm before}=\vec{p}_{1}\) 1638282134 \(\vec{p}_{\rm before}=\vec{p}_{\rm after}\)		3951205425 \(\vec{p}_{\rm after}=\vec{p}_{1}\)	LHS diff is -pdg0005493 + pdg0006029 RHS diff is pdg0005493 - pdg0006029
5	111556: 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	111282: 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	111268: 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	111253: 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})\)	invalid syntax (<string>, line 0)