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	111981: 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	111182: 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	111975: 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	111341: 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

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.006 seconds for pdg_app/to_review_derivation: node_properties, derivation 7262309
0.005 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9533297
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4734301
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4734301
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4734301
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4734301
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index9533297
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6435559
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6435559
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6435559
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6435559
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7726720
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7726720
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7726720
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7726720
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7711341
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7711341
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7711341
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7711341
0.006 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation7262309
0.013 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id7262309884319
0.041 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule7262309
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8220636
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8220636
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8220636
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8220636
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7003971
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7003971
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7003971
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7003971
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4871965
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4871965
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4871965
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4871965
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7912901
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7912901
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7912901
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7912901
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5408179
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5408179
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5408179
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5408179
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8165247
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8165247
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8165247
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8165247
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1202315
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1202315
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1202315
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1202315
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7366848
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7366848
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7366848
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7366848

step	inference rule	input	feed	output	step validity (as per SymPy)
1	111981: 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	111182: 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	111975: 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	111341: 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