Review Derivation: Physics Derivation Graph

Return to navigation page or list derivations

Review frequency and period

abstract: subset of the frequency relation derivation. Intended for display on the homepage
reference:

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.			3131111133 $T = 1 / f$	no validation is available for declarations
2	0000111182: 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}.	3131111133 $T = 1 / f$	9040079362 $f$	2131616531 $T f = 1$	valid
3	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}.	2131616531 $T f = 1$	9565166889 $T$	2113211456 $f = 1/T$	valid
4	0000111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\ref{eq:#1} is one of the final equations.	2113211456 $f = 1/T$			no validation is available for declarations

Symbols used in frequency and period

0000004201: $ f $
0000009491: $ T $

d3js visualization of steps and expressions in frequency and period

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

You must be logged in to edit the steps of derivation, edit the abstract, or rename the derivation.

Generate Tex file or PDF file

Delete Derivation and all associated steps

You must be logged in to delete the derivation.

timing of Neo4j queries:

0.03 seconds for pdg_app/to_review_derivation b56231d6-5859-447a-ad82-4c7c2e76dba5
0.026 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivatione884c1f7-84bd-4d56-b93e-f21c718501c0
0.046 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_IDe884c1f7-84bd-4d56-b93e-f21c718501c0
0.02 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUTe884c1f7-84bd-4d56-b93e-f21c718501c0
0.026 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEEDe884c1f7-84bd-4d56-b93e-f21c718501c0
0.051 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUTe884c1f7-84bd-4d56-b93e-f21c718501c0
0.029 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_stepe884c1f7-84bd-4d56-b93e-f21c718501c0
0.013 seconds for pdg_app/ b56231d6-5859-447a-ad82-4c7c2e76dba5

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.			3131111133 \(T = 1 / f\)	no validation is available for declarations
2	0000111182: 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}.	3131111133 \(T = 1 / f\)	9040079362 \(f\)	2131616531 \(T f = 1\)	valid
3	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}.	2131616531 \(T f = 1\)	9565166889 \(T\)	2113211456 \(f = 1/T\)	valid
4	0000111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\ref{eq:#1} is one of the final equations.	2113211456 \(f = 1/T\)			no validation is available for declarations