Welcome to the Physics Derivation Graph

MESSAGE:

pdg_app/to_review_derivation sympy_validate_step.validate_step: IndexErrorlist index out of range

Return to navigation page or list derivations

Review Schwarzschild radius for non-rotating black hole

abstract:
reference: https://en.wikipedia.org/wiki/Derivation_of_the_Schwarzschild_solution

step	inference rule	input	feed	output	step validity (as per SymPy)
1	111483: raise both sides to power number of inputs: 1; feeds: 1; outputs: 1 Raise both sides of Eq.~\\ref{eq:#2} to $#1$; yields Eq.~\\ref{eq:#3}.	5404822208 $v_{\rm escape}=\sqrt{2 G \frac{m}{r}}$	3663007361 $2$	8946383937 $v_{\rm escape}^2=2 G \frac{m}{r}$	recognized infrule but not yet supported
2	111984: change two variables in expression number of inputs: 1; feeds: 4; outputs: 1 Change variable $#1$ to $#2$ and $#3$ to $#4$ in Eq.~\\ref{eq:#5}; yields Eq.~\\ref{eq:#6}.	8946383937 $v_{\rm escape}^2=2 G \frac{m}{r}$	1238593037 $c$ 2660368546 $r$ 8362338572 $v_{\rm escape}$ 9933742680 $r_{\rm Schwarzschild}$	4275004561 $c^2=2 G \frac{m}{r_{\rm Schwarzschild}}$	list index out of range
3	111182: multiply both sides by number of inputs: 1; feeds: 1; outputs: 1 Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4275004561 $c^2=2 G \frac{m}{r_{\rm Schwarzschild}}$	7194432406 $r_{\rm Schwarzschild}$	2883079365 $r_{\rm Schwarzschild} c^2=2 G m$	valid
4	111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	2883079365 $r_{\rm Schwarzschild} c^2=2 G m$	7263534144 $c^2$	6800170830 $r_{\rm Schwarzschild}=\frac{2 G m}{c^2}$	valid

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.007 seconds for pdg_app/to_review_derivation: node_properties, derivation3697426
0.011 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9406858
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3637219
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3637219
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3637219
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3637219
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index9406858
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5996526
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5996526
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5996526
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5996526
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3013272
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3013272
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3013272
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3013272
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3272667
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3272667
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3272667
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3272667
0.005 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation3697426
0.011 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id3697426142831
0.032 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule3697426
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3485110
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3485110
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3485110
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3485110
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1009839
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1009839
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1009839
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1009839
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2458615
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2458615
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2458615
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2458615
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5090462
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5090462
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5090462
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5090462
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8408947
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8408947
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8408947
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8408947
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2534126
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2534126
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2534126
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2534126
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1839640
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1839640
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1839640
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1839640
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8922499
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8922499
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8922499
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8922499

step	inference rule	input	feed	output	step validity (as per SymPy)
1	111483: raise both sides to power number of inputs: 1; feeds: 1; outputs: 1 Raise both sides of Eq.~\\ref{eq:#2} to $#1$; yields Eq.~\\ref{eq:#3}.	5404822208 \(v_{\rm escape}=\sqrt{2 G \frac{m}{r}}\)	3663007361 \(2\)	8946383937 \(v_{\rm escape}^2=2 G \frac{m}{r}\)	recognized infrule but not yet supported
2	111984: change two variables in expression number of inputs: 1; feeds: 4; outputs: 1 Change variable $#1$ to $#2$ and $#3$ to $#4$ in Eq.~\\ref{eq:#5}; yields Eq.~\\ref{eq:#6}.	8946383937 \(v_{\rm escape}^2=2 G \frac{m}{r}\)	1238593037 \(c\) 2660368546 \(r\) 8362338572 \(v_{\rm escape}\) 9933742680 \(r_{\rm Schwarzschild}\)	4275004561 \(c^2=2 G \frac{m}{r_{\rm Schwarzschild}}\)	list index out of range
3	111182: multiply both sides by number of inputs: 1; feeds: 1; outputs: 1 Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4275004561 \(c^2=2 G \frac{m}{r_{\rm Schwarzschild}}\)	7194432406 \(r_{\rm Schwarzschild}\)	2883079365 \(r_{\rm Schwarzschild} c^2=2 G m\)	valid
4	111975: divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	2883079365 \(r_{\rm Schwarzschild} c^2=2 G m\)	7263534144 \(c^2\)	6800170830 \(r_{\rm Schwarzschild}=\frac{2 G m}{c^2}\)	valid