Return to navigation page or list derivations
| step | inference rule | input | feed | output | step validity (as per SymPy) |
|---|---|---|---|---|---|
| 1 |
|
|
no validation is available for declarations | ||
| 2 |
|
|
no validation is available for declarations | ||
| 3 |
|
|
|
Type Tuple cannot be instantiated; use tuple() instead | |
| 4 |
|
|
|
Type Tuple cannot be instantiated; use tuple() instead | |
| 5 |
|
|
no validation is available for declarations | ||
| 6 |
|
|
|
|
valid |
| 7 |
|
|
|
LHS diff is -pdg0004686 + pdg0007586*pdg0008134/pdg0007343 RHS diff is pdg0002834*pdg0008179 - pdg0007586*pdg0008134/pdg0007343 | |
| 8 |
|
|
|
LHS diff is 0 RHS diff is (pdg0007586*pdg0008134 - 1)/pdg0007343 | |
| 9 |
|
|
no validation is available for declarations |
pdg_app/to_review_derivation: node_properties, derivation 9189624compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3196400compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7944490compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7944490compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7944490compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7944490compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index3196400compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8615811compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8615811compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8615811compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8615811compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4346249compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4346249compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4346249compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4346249compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9809977compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9809977compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9809977compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9809977compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3248053compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3248053compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3248053compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3248053compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1596075compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1596075compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1596075compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1596075compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3219552compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3219552compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3219552compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3219552compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6285190compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6285190compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6285190compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6285190compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3580910compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3580910compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3580910compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3580910pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation9189624pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id9189624146432pdg_app/to_review_derivation: get_nodes_of_type inference_rule9189624compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1947764compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1947764compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1947764compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1947764compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2257155compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2257155compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2257155compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2257155compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1465213compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1465213compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1465213compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1465213compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5297793compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5297793compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5297793compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5297793compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2010476compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2010476compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2010476compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2010476compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6749215compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6749215compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6749215compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6749215compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8141099compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8141099compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8141099compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8141099compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6454353compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6454353compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6454353compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6454353compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1639239compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1639239compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1639239compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1639239compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8177351compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8177351compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8177351compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8177351compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8646751compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8646751compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8646751compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8646751compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8762655compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8762655compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8762655compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8762655compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4523383compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4523383compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4523383compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4523383compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4486402compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4486402compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4486402compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4486402compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3437776compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3437776compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3437776compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3437776compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4193226compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4193226compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4193226compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4193226compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8179116compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8179116compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8179116compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8179116compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3372085compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3372085compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3372085compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3372085