Review Derivation: 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)

Return to navigation page or list derivations

Review integration by parts

abstract:
reference:

step	inference rule	input	feed	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.			8489593958 $d(u v)=u dv + v du$	no validation is available for declarations
2	111282: subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8489593958 $d(u v)=u dv + v du$	0009492929 $v du$	8489593960 $d(u v) - v du=u dv$	invalid syntax (<string>, line 0)
3	111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	8489593960 $d(u v) - v du=u dv$		8489593962 $u dv=d(u v) - v du$	invalid syntax (<string>, line 0)
4	111608: indefinite integration number of inputs: 1; feeds: 0; outputs: 1 Indefinite integral of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8489593962 $u dv=d(u v) - v du$		8489593964 $\int u dv=u v - \int v du$	recognized infrule but not yet supported
5	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	8489593964 $\int u dv=u v - \int v du$			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 7685836
0.007 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9370508
0.024 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3308413
0.025 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3308413
0.015 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3308413
0.016 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3308413
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index9370508
0.019 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6076955
0.018 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6076955
0.018 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6076955
0.016 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6076955
0.015 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2389688
0.013 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2389688
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2389688
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2389688
0.019 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9382204
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9382204
0.015 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9382204
0.014 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9382204
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6037160
0.015 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6037160
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6037160
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6037160
0.003 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation7685836
0.007 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id7685836000009
0.018 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule7685836
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2668583
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2668583
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2668583
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2668583
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3791985
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3791985
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3791985
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3791985
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5605227
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5605227
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5605227
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5605227
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3743865
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3743865
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3743865
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3743865
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5076764
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5076764
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5076764
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5076764
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1986547
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1986547
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1986547
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1986547
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8237515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8237515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8237515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8237515
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2989728
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2989728
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2989728
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2989728
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1474496
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1474496
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1474496
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1474496
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2503083
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2503083
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2503083
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2503083

step	inference rule	input	feed	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.			8489593958 \(d(u v)=u dv + v du\)	no validation is available for declarations
2	111282: subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8489593958 \(d(u v)=u dv + v du\)	0009492929 \(v du\)	8489593960 \(d(u v) - v du=u dv\)	invalid syntax (<string>, line 0)
3	111268: swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	8489593960 \(d(u v) - v du=u dv\)		8489593962 \(u dv=d(u v) - v du\)	invalid syntax (<string>, line 0)
4	111608: indefinite integration number of inputs: 1; feeds: 0; outputs: 1 Indefinite integral of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8489593962 \(u dv=d(u v) - v du\)		8489593964 \(\int u dv=u v - \int v du\)	recognized infrule but not yet supported
5	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	8489593964 \(\int u dv=u v - \int v du\)			no validation is available for declarations