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.018 seconds for pdg_app/to_review_derivation 94a9df0b-b60a-42e1-9ec0-56aa0579912f
0.007 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivationc8884ff7-5e55-44a2-a587-ce89737370f2
0.009 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_IDc8884ff7-5e55-44a2-a587-ce89737370f2
0.012 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUTc8884ff7-5e55-44a2-a587-ce89737370f2
0.013 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEEDc8884ff7-5e55-44a2-a587-ce89737370f2
0.011 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUTc8884ff7-5e55-44a2-a587-ce89737370f2
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_stepc8884ff7-5e55-44a2-a587-ce89737370f2
0.009 seconds for pdg_app/ 94a9df0b-b60a-42e1-9ec0-56aa0579912f

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