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

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.019 seconds for pdg_app/to_review_derivation 9431b8ad-c38f-47de-874d-c8ad055e62fd
0.01 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation0068e433-936d-4e3d-8bbf-abfc02804545
0.016 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_ID0068e433-936d-4e3d-8bbf-abfc02804545
0.013 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUT0068e433-936d-4e3d-8bbf-abfc02804545
0.025 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEED0068e433-936d-4e3d-8bbf-abfc02804545
0.016 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT0068e433-936d-4e3d-8bbf-abfc02804545
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_step0068e433-936d-4e3d-8bbf-abfc02804545
0.021 seconds for pdg_app/ 9431b8ad-c38f-47de-874d-c8ad055e62fd

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