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 8125810compute/get_dict_of_steps_in_derivation: steps_in_this_derivation4797424compute/get_dict_of_steps_in_derivation: step_has_inference_rule7096581compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7096581compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7096581compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7096581compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index4797424compute/get_dict_of_steps_in_derivation: step_has_inference_rule9912676compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9912676compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9912676compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9912676compute/get_dict_of_steps_in_derivation: step_has_inference_rule9366206compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9366206compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9366206compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9366206compute/get_dict_of_steps_in_derivation: step_has_inference_rule4285053compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4285053compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4285053compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4285053compute/get_dict_of_steps_in_derivation: step_has_inference_rule5900322compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5900322compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5900322compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5900322compute/get_dict_of_steps_in_derivation: step_has_inference_rule5686760compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5686760compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5686760compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5686760compute/get_dict_of_steps_in_derivation: step_has_inference_rule3564021compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3564021compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3564021compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3564021compute/get_dict_of_steps_in_derivation: step_has_inference_rule7807451compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7807451compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7807451compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7807451compute/get_dict_of_steps_in_derivation: step_has_inference_rule4120578compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4120578compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4120578compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4120578pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation8125810pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id8125810146432pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule8125810compute/get_dict_of_steps_in_derivation: step_has_inference_rule1909564compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1909564compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1909564compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1909564compute/get_dict_of_steps_in_derivation: step_has_inference_rule2204157compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2204157compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2204157compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2204157compute/get_dict_of_steps_in_derivation: step_has_inference_rule7180064compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7180064compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7180064compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7180064compute/get_dict_of_steps_in_derivation: step_has_inference_rule2343784compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2343784compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2343784compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2343784compute/get_dict_of_steps_in_derivation: step_has_inference_rule7536145compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7536145compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7536145compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7536145compute/get_dict_of_steps_in_derivation: step_has_inference_rule5965909compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5965909compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5965909compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5965909compute/get_dict_of_steps_in_derivation: step_has_inference_rule8657447compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8657447compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8657447compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8657447compute/get_dict_of_steps_in_derivation: step_has_inference_rule8576023compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8576023compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8576023compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8576023compute/get_dict_of_steps_in_derivation: step_has_inference_rule4246941compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4246941compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4246941compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4246941compute/get_dict_of_steps_in_derivation: step_has_inference_rule5558396compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5558396compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5558396compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5558396compute/get_dict_of_steps_in_derivation: step_has_inference_rule4359607compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4359607compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4359607compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4359607compute/get_dict_of_steps_in_derivation: step_has_inference_rule3087357compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3087357compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3087357compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3087357compute/get_dict_of_steps_in_derivation: step_has_inference_rule3801706compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3801706compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3801706compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3801706compute/get_dict_of_steps_in_derivation: step_has_inference_rule7288370compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7288370compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7288370compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7288370compute/get_dict_of_steps_in_derivation: step_has_inference_rule4953659compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4953659compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4953659compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4953659compute/get_dict_of_steps_in_derivation: step_has_inference_rule5678144compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5678144compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5678144compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5678144compute/get_dict_of_steps_in_derivation: step_has_inference_rule8240927compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8240927compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8240927compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8240927compute/get_dict_of_steps_in_derivation: step_has_inference_rule5873181compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5873181compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5873181compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5873181