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.011 seconds for pdg_app/to_review_derivation 30b786c5-cfd1-411e-bc1a-c54bb12d5fce
0.015 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivationb9778c1f-f60a-4f33-9356-017666c3d5e2
0.02 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_IDb9778c1f-f60a-4f33-9356-017666c3d5e2
0.018 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUTb9778c1f-f60a-4f33-9356-017666c3d5e2
0.007 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEEDb9778c1f-f60a-4f33-9356-017666c3d5e2
0.002 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUTb9778c1f-f60a-4f33-9356-017666c3d5e2
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_stepb9778c1f-f60a-4f33-9356-017666c3d5e2
0.002 seconds for pdg_app/ 30b786c5-cfd1-411e-bc1a-c54bb12d5fce

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