Welcome to the Physics Derivation Graph

Return to navigation page or list derivations

Review frequency relations

abstract:
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.			5900595848 $k=\frac{\omega}{v}$	no validation is available for declarations
2	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			0404050504 $\lambda=\frac{v}{f}$	no validation is available for declarations
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3131211131 $\omega=2 \pi f$	no validation is available for declarations
4	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
5	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	5900595848 $k=\frac{\omega}{v}$ 3132131132 $\omega=\frac{2\pi}{T}$		0934990943 $k=\frac{2 \pi}{v T}$	LHS diff is pdg0002321 - pdg0005321 RHS diff is 2pdg0003141(pdg0001357 - 1)/(pdg0001357*pdg0009491)
6	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	0404050504 $\lambda=\frac{v}{f}$ 3131111133 $T=1 / f$		1293923844 $\lambda=v T$	LHS diff is -pdg0001115 + pdg0009491 RHS diff is -pdg0001357*pdg0009491 + 1/pdg0004201
7	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	0934990943 $k=\frac{2 \pi}{v T}$ 1293923844 $\lambda=v T$		3121513111 $k=\frac{2 \pi}{\lambda}$	LHS diff is pdg0001115 - pdg0005321 RHS diff is pdg0001357pdg0009491 - 2pdg0003141/pdg0001115
8	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$	0005749291 $f$	2131616531 $T f=1$	LHS arithmetic error. Diff: pdg0009491*(-pdg0004201 + pdg0006235)
9	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$	0008837284 $T$	2113211456 $f=1/T$	valid
10	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	2113211456 $f=1/T$ 3131211131 $\omega=2 \pi f$		3132131132 $\omega=\frac{2\pi}{T}$	LHS diff is 0 RHS diff is 2pdg0003141(pdg0004201*pdg0009491 - 1)/pdg0009491
11	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	3121513111 $k=\frac{2 \pi}{\lambda}$			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.014 seconds for pdg_app/to_review_derivation: node_properties, derivation 8740001
0.006 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3236863
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4951547
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4951547
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4951547
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4951547
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index3236863
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2408345
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2408345
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2408345
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2408345
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6096259
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6096259
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6096259
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6096259
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5239307
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5239307
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5239307
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5239307
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2258761
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2258761
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2258761
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2258761
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5745281
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5745281
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5745281
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5745281
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8257642
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8257642
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8257642
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8257642
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4847297
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4847297
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4847297
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4847297
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7300181
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7300181
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7300181
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7300181
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7239493
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7239493
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7239493
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7239493
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9583939
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9583939
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9583939
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9583939
0.004 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation8740001
0.008 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id8740001000008
0.024 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule8740001
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6049273
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6049273
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6049273
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6049273
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2394773
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2394773
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2394773
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2394773
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5088063
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5088063
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5088063
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5088063
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7650420
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7650420
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7650420
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7650420
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2700718
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2700718
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2700718
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2700718
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8112472
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8112472
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8112472
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8112472
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3714101
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3714101
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3714101
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3714101
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3966941
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3966941
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3966941
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3966941
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3950350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3950350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3950350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3950350
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5344812
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5344812
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5344812
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5344812
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2602728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2602728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2602728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2602728
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5300408
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5300408
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5300408
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5300408
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9599866
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9599866
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9599866
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9599866
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5788522
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5788522
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5788522
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5788522
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2831605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2831605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2831605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2831605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7044459
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7044459
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7044459
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7044459
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5986298
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5986298
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5986298
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5986298
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7075907
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7075907
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7075907
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7075907
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4787968
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4787968
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4787968
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4787968
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1896598
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1896598
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1896598
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1896598
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8656923
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8656923
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8656923
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8656923
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7693636
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7693636
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7693636
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7693636

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.			5900595848 \(k=\frac{\omega}{v}\)	no validation is available for declarations
2	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			0404050504 \(\lambda=\frac{v}{f}\)	no validation is available for declarations
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3131211131 \(\omega=2 \pi f\)	no validation is available for declarations
4	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
5	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	5900595848 \(k=\frac{\omega}{v}\) 3132131132 \(\omega=\frac{2\pi}{T}\)		0934990943 \(k=\frac{2 \pi}{v T}\)	LHS diff is pdg0002321 - pdg0005321 RHS diff is 2pdg0003141(pdg0001357 - 1)/(pdg0001357*pdg0009491)
6	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	0404050504 \(\lambda=\frac{v}{f}\) 3131111133 \(T=1 / f\)		1293923844 \(\lambda=v T\)	LHS diff is -pdg0001115 + pdg0009491 RHS diff is -pdg0001357*pdg0009491 + 1/pdg0004201
7	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	0934990943 \(k=\frac{2 \pi}{v T}\) 1293923844 \(\lambda=v T\)		3121513111 \(k=\frac{2 \pi}{\lambda}\)	LHS diff is pdg0001115 - pdg0005321 RHS diff is pdg0001357pdg0009491 - 2pdg0003141/pdg0001115
8	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\)	0005749291 \(f\)	2131616531 \(T f=1\)	LHS arithmetic error. Diff: pdg0009491*(-pdg0004201 + pdg0006235)
9	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\)	0008837284 \(T\)	2113211456 \(f=1/T\)	valid
10	111634: substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	2113211456 \(f=1/T\) 3131211131 \(\omega=2 \pi f\)		3132131132 \(\omega=\frac{2\pi}{T}\)	LHS diff is 0 RHS diff is 2pdg0003141(pdg0004201*pdg0009491 - 1)/pdg0009491
11	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	3121513111 \(k=\frac{2 \pi}{\lambda}\)			no validation is available for declarations