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 6075653compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3247165compute/get_dict_of_steps_in_derivation: step_has_inference_rule2084544compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2084544compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2084544compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2084544compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index3247165compute/get_dict_of_steps_in_derivation: step_has_inference_rule8616219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8616219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8616219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8616219compute/get_dict_of_steps_in_derivation: step_has_inference_rule1291772compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1291772compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1291772compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1291772compute/get_dict_of_steps_in_derivation: step_has_inference_rule8234746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8234746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8234746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8234746compute/get_dict_of_steps_in_derivation: step_has_inference_rule9412575compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9412575compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9412575compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9412575compute/get_dict_of_steps_in_derivation: step_has_inference_rule5740367compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5740367compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5740367compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5740367compute/get_dict_of_steps_in_derivation: step_has_inference_rule1200712compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1200712compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1200712compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1200712compute/get_dict_of_steps_in_derivation: step_has_inference_rule6085791compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6085791compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6085791compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6085791compute/get_dict_of_steps_in_derivation: step_has_inference_rule6493669compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6493669compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6493669compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6493669pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation6075653pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id6075653146432pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule6075653compute/get_dict_of_steps_in_derivation: step_has_inference_rule7203787compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7203787compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7203787compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7203787compute/get_dict_of_steps_in_derivation: step_has_inference_rule6730543compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6730543compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6730543compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6730543compute/get_dict_of_steps_in_derivation: step_has_inference_rule4131683compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4131683compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4131683compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4131683compute/get_dict_of_steps_in_derivation: step_has_inference_rule8674808compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8674808compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8674808compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8674808compute/get_dict_of_steps_in_derivation: step_has_inference_rule3001823compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3001823compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3001823compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3001823compute/get_dict_of_steps_in_derivation: step_has_inference_rule3105135compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3105135compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3105135compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3105135compute/get_dict_of_steps_in_derivation: step_has_inference_rule6639982compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6639982compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6639982compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6639982compute/get_dict_of_steps_in_derivation: step_has_inference_rule2763432compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2763432compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2763432compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2763432compute/get_dict_of_steps_in_derivation: step_has_inference_rule8368559compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8368559compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8368559compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8368559compute/get_dict_of_steps_in_derivation: step_has_inference_rule4349316compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4349316compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4349316compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4349316compute/get_dict_of_steps_in_derivation: step_has_inference_rule9082448compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9082448compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9082448compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9082448compute/get_dict_of_steps_in_derivation: step_has_inference_rule9723846compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9723846compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9723846compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9723846compute/get_dict_of_steps_in_derivation: step_has_inference_rule1298899compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1298899compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1298899compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1298899compute/get_dict_of_steps_in_derivation: step_has_inference_rule2107822compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2107822compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2107822compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2107822compute/get_dict_of_steps_in_derivation: step_has_inference_rule8884562compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8884562compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8884562compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8884562compute/get_dict_of_steps_in_derivation: step_has_inference_rule1952135compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1952135compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1952135compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1952135compute/get_dict_of_steps_in_derivation: step_has_inference_rule1580334compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1580334compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1580334compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1580334compute/get_dict_of_steps_in_derivation: step_has_inference_rule1170712compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1170712compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1170712compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1170712