Welcome to the Physics Derivation Graph

MESSAGES:

pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)

Return to navigation page or list derivations

Review variance relation

abstract:
reference:

step	inference rule	input	output	step validity (as per SymPy)
1	111299: declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.		3585845894 \(\langle \left(x-\langle x \rangle\right)^2 \rangle=\langle x^2 \rangle-\langle x \rangle^2\)	no validation is available for declarations
2	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	3585845894 \(\langle \left(x-\langle x \rangle\right)^2 \rangle=\langle x^2 \rangle-\langle x \rangle^2\)	8399484849 \(\langle x^2 - 2 x \langle x \rangle + \langle x \rangle^2 \rangle=\langle x^2 \rangle-\langle x \rangle^2\)	invalid syntax (<string>, line 0)
3	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8399484849 \(\langle x^2 - 2 x \langle x \rangle + \langle x \rangle^2 \rangle=\langle x^2 \rangle-\langle x \rangle^2\)	2404934990 \(\langle x^2\rangle -2\langle x \rangle\langle x \rangle+\langle x \rangle^2=\langle x^2 \rangle-\langle x \rangle^2\)	invalid syntax (<string>, line 0)
4	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	2404934990 \(\langle x^2\rangle -2\langle x \rangle\langle x \rangle+\langle x \rangle^2=\langle x^2 \rangle-\langle x \rangle^2\)	4949359835 \(\langle x^2\rangle -2\langle x^2 \rangle+\langle x \rangle^2=\langle x^2 \rangle-\langle x \rangle^2\)	invalid syntax (<string>, line 0)
5	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	4949359835 \(\langle x^2\rangle -2\langle x^2 \rangle+\langle x \rangle^2=\langle x^2 \rangle-\langle x \rangle^2\)	2494533900 \(\langle x^2\rangle -\langle x \rangle^2=\langle x^2 \rangle-\langle x \rangle^2\)	invalid syntax (<string>, line 0)
6	111345: claim LHS equals RHS number of inputs: 1; feeds: 0; outputs: 0 Thus we see that LHS of Eq.~\\ref{eq:#1} is equal to RHS.	2494533900 \(\langle x^2\rangle -\langle x \rangle^2=\langle x^2 \rangle-\langle x \rangle^2\)		invalid syntax (<string>, line 0)

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.01 seconds for pdg_app/to_review_derivation: node_properties, derivation 6002000
0.006 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3309469
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8720528
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8720528
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8720528
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8720528
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index3309469
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7858674
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7858674
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7858674
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7858674
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9171497
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9171497
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9171497
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9171497
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6127171
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6127171
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6127171
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6127171
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8889864
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8889864
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8889864
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8889864
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1736966
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1736966
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1736966
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1736966
0.003 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation6002000
0.006 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id6002000000014
0.038 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule6002000
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1323498
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1323498
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1323498
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1323498
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7835292
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7835292
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7835292
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7835292
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8789273
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8789273
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8789273
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8789273
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7117394
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7117394
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7117394
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7117394
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6342862
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6342862
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6342862
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6342862
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7697977
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7697977
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7697977
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7697977
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4956785
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4956785
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4956785
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4956785
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7854792
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7854792
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7854792
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7854792
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7715893
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7715893
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7715893
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7715893
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6073227
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6073227
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6073227
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6073227
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3124507
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3124507
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3124507
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3124507
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7483288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7483288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7483288
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7483288