Return to navigation page or list derivations

Review total electrical resistance for circuit with two resistors in series

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.
  1. 4087145886
    \(V = I R\)
no validation is available for declarations
2
  • 0000111984: 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}.
  1. 4087145886
    \(V = I R\)
  1. 9174439158
    \(R_1\)
  1. 7774819339
    \(R\)
  1. 9830343096
    \(V_1\)
  1. 2698469612
    \(V\)
  1. 7675171493
    \(V_1 = I R_1\)
LHS diff is pdg0006599 - pdg0008257 RHS diff is pdg0004501*(pdg0006458 - pdg0008697)
3
  • 0000111984: 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}.
  1. 4087145886
    \(V = I R\)
  1. 1484794622
    \(R_2\)
  1. 5890617067
    \(R\)
  1. 1608399874
    \(V_2\)
  1. 7497687256
    \(V\)
  1. 6061695358
    \(V_2 = I R_2\)
LHS diff is pdg0006599 - pdg0008721 RHS diff is pdg0004501*(-pdg0003461 + pdg0006458)
4
  • 0000111981: declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\ref{eq:#1} is an initial equation.
  1. 9063568209
    \(V_{\rm total} = V_1 + V_2\)
no validation is available for declarations
5
  • 0000111981: declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\ref{eq:#1} is an initial equation.
  1. 4939880586
    \(V_{\rm total} = I R_{\rm total}\)
no validation is available for declarations
6
  • 0000111246: 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}.
  1. 9063568209
    \(V_{\rm total} = V_1 + V_2\)
  1. 6061695358
    \(V_2 = I R_2\)
  1. 7675171493
    \(V_1 = I R_1\)
  1. 4939880586
    \(V_{\rm total} = I R_{\rm total}\)
  1. 2715678478
    \(I R_{\rm total} = I R_1 + I R_2\)
recognized infrule but not yet supported
7
  • 0000111975: 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}.
  1. 2715678478
    \(I R_{\rm total} = I R_1 + I R_2\)
  1. 7844317489
    \(I\)
  1. 7217021879
    \(R_{\rm total} = R_1 + R_2\)
valid
8
  • 0000111341: declare final expression
  • number of inputs: 1; feeds: 0; outputs: 0
  • Eq.~\ref{eq:#1} is one of the final equations.
  1. 7217021879
    \(R_{\rm total} = R_1 + R_2\)
no validation is available for declarations

Symbols used in total electrical resistance for circuit with two resistors in series

Steps and expressions for total electrical resistance for circuit with two resistors in series

d3js visualization of steps and expressions in total electrical resistance for circuit with two resistors in series


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

   xor   

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries: