Return to navigation page or list derivations
| step | inference rule | input | feed | output | step validity (as per SymPy) |
|---|---|---|---|---|---|
| 1 |
|
|
|
|
LHS diff is 0 RHS diff is -pdg0003978*pdg0008697 + pdg0004501*pdg0006458 |
| 2 |
|
|
|
|
LHS diff is 0 RHS diff is -pdg0003461*pdg0004856 + pdg0004501*pdg0006458 |
| 3 |
|
|
|
|
valid |
| 4 |
|
|
|
|
valid |
| Note about step 5: current flows through both resistors | |||||
| 5 |
|
|
|
|
no validation is available for declarations |
| 6 |
|
|
|
|
LHS diff is 0 RHS diff is -pdg0001908*pdg0009647 + pdg0004501*pdg0006458 |
| 7 |
|
|
|
|
valid |
| 8 |
|
|
|
|
recognized infrule but not yet supported |
| 9 |
|
|
|
|
valid |
| 10 |
|
|
|
|
no validation is available for declarations |
d3js visualization of steps and expressions in total electrical resistance for circuit with two resistors in parallel
pdg_app/to_review_derivation 79aca9a7-4c5b-4728-a9ce-9ef3f6769e77compute/get_dict_of_steps_in_derivation: steps_in_this_derivationde4899fc-f2fb-44a7-97a6-0bd6f3fbf90dcompute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_IDde4899fc-f2fb-44a7-97a6-0bd6f3fbf90dcompute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUTde4899fc-f2fb-44a7-97a6-0bd6f3fbf90dcompute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEEDde4899fc-f2fb-44a7-97a6-0bd6f3fbf90dcompute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUTde4899fc-f2fb-44a7-97a6-0bd6f3fbf90dcompute/get_dict_of_steps_in_derivation: get_sequence_index_for_stepde4899fc-f2fb-44a7-97a6-0bd6f3fbf90dpdg_app/ 79aca9a7-4c5b-4728-a9ce-9ef3f6769e77