Review Derivation: Physics Derivation Graph

MESSAGES:

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

Return to navigation page or list derivations

Review total electrical resistance for circuit with two resistors in series

abstract:
reference: http://www.dfcd.net/articles/derivations/resistors.html

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.			4087145886 $V=I R$	no validation is available for declarations
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}.	4087145886 $V=I R$	9830343096 $V_1$ 7774819339 $R$ 9174439158 $R_1$ 2698469612 $V$	7675171493 $V_1=I R_1$	list index out of range
3	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}.	4087145886 $V=I R$	7497687256 $V$ 1484794622 $R_2$ 5890617067 $R$ 1608399874 $V_2$	6061695358 $V_2=I R_2$	list index out of range
4	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9063568209 $V_{\rm total}=V_1 + V_2$	no validation is available for declarations
5	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			4939880586 $V_{\rm total}=I R_{\rm total}$	no validation is available for declarations
6	111246: substitute LHS of three expressions into expression number of inputs: 4; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} and LHS of Eq.~\\ref{eq:#3} into Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	4939880586 $V_{\rm total}=I R_{\rm total}$ 6061695358 $V_2=I R_2$ 7675171493 $V_1=I R_1$ 9063568209 $V_{\rm total}=V_1 + V_2$		2715678478 $I R_{\rm total}=I R_1 + I R_2$	recognized infrule but not yet supported
7	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}.	2715678478 $I R_{\rm total}=I R_1 + I R_2$	7844317489 $I$	7217021879 $R_{\rm total}=R_1 + R_2$	valid
8	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	7217021879 $R_{\rm total}=R_1 + R_2$			no validation is available for declarations

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 6415888
0.007 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation5051307
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5092376
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5092376
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5092376
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5092376
0.033 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index5051307
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8280560
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8280560
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8280560
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8280560
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4145724
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4145724
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4145724
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4145724
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6082425
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6082425
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6082425
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6082425
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4145213
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4145213
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4145213
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4145213
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8775186
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8775186
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8775186
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8775186
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9618078
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9618078
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9618078
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9618078
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3466442
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3466442
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3466442
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3466442
0.005 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation6415888
0.008 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id6415888909006
0.017 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule6415888
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6296764
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6296764
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6296764
0.014 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6296764
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4150540
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4150540
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4150540
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4150540
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8941574
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8941574
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8941574
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8941574
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3076822
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3076822
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3076822
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3076822
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4436925
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4436925
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4436925
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4436925
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2155434
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2155434
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2155434
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2155434
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1664580
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1664580
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1664580
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1664580
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5615216
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5615216
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5615216
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5615216
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9648684
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9648684
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9648684
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9648684
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8228631
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8228631
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8228631
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8228631
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3614822
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3614822
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3614822
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3614822
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8364633
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8364633
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8364633
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8364633
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5795958
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5795958
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5795958
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5795958
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7438446
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7438446
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7438446
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7438446
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1257035
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1257035
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1257035
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1257035
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8885620
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8885620
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8885620
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8885620

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.			4087145886 \(V=I R\)	no validation is available for declarations
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}.	4087145886 \(V=I R\)	9830343096 \(V_1\) 7774819339 \(R\) 9174439158 \(R_1\) 2698469612 \(V\)	7675171493 \(V_1=I R_1\)	list index out of range
3	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}.	4087145886 \(V=I R\)	7497687256 \(V\) 1484794622 \(R_2\) 5890617067 \(R\) 1608399874 \(V_2\)	6061695358 \(V_2=I R_2\)	list index out of range
4	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9063568209 \(V_{\rm total}=V_1 + V_2\)	no validation is available for declarations
5	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			4939880586 \(V_{\rm total}=I R_{\rm total}\)	no validation is available for declarations
6	111246: substitute LHS of three expressions into expression number of inputs: 4; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} and LHS of Eq.~\\ref{eq:#3} into Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	4939880586 \(V_{\rm total}=I R_{\rm total}\) 6061695358 \(V_2=I R_2\) 7675171493 \(V_1=I R_1\) 9063568209 \(V_{\rm total}=V_1 + V_2\)		2715678478 \(I R_{\rm total}=I R_1 + I R_2\)	recognized infrule but not yet supported
7	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}.	2715678478 \(I R_{\rm total}=I R_1 + I R_2\)	7844317489 \(I\)	7217021879 \(R_{\rm total}=R_1 + R_2\)	valid
8	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	7217021879 \(R_{\rm total}=R_1 + R_2\)			no validation is available for declarations