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 | ||
| 3 |
|
|
|
|
Algebraic error: LHS diff is pdg0001464*(pdg0001939 - pdg0009139)/pdg0009139, RHS diff is 0 |
| 4 |
|
|
|
|
LHS diff is pdg0001464*(-pdg0001939 + pdg0009139)/pdg0009139 RHS diff is 0 |
| 5 |
|
|
|
|
valid |
| 6 |
|
|
|
|
LHS diff is -pdg0001464*pdg0001939/pdg0009139 + 2*pdg0001464*pdg0003410 - pdg0001939**2/(4*pdg0009139**2) + pdg0003410**2 RHS diff is (pdg0001464 + pdg0003410)**2 - (2*pdg0001464*pdg0009139 + pdg0001939)**2/(4*pdg0009139**2) |
| 7 |
|
|
|
valid | |
| 7.5 |
|
|
no validation is available for declarations | ||
| 8 |
|
|
|
valid | |
| 9 |
|
|
|
recognized infrule but not yet supported | |
| 10 |
|
|
|
|
LHS diff is 0 RHS diff is -sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) |
| 10.5 |
|
|
|
|
LHS diff is 0 RHS diff is sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) |
| 11 |
|
|
|
LHS diff is 0 RHS diff is (-pdg0009139*sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) + sqrt(pdg0001939**2 - 4*pdg0004231*pdg0009139))/(2*pdg0009139) | |
| 11.5 |
|
|
|
LHS diff is 0 RHS diff is (pdg0009139*sqrt((pdg0001939**2 - 4*pdg0004231*pdg0009139)/pdg0009139**2) - sqrt(pdg0001939**2 - 4*pdg0004231*pdg0009139))/(2*pdg0009139) | |
| 14 |
|
|
no validation is available for declarations | ||
| 15 |
|
|
no validation is available for declarations |
pdg_app/to_review_derivation: node_properties, derivation 1135945compute/get_dict_of_steps_in_derivation: steps_in_this_derivation4426293compute/get_dict_of_steps_in_derivation: step_has_inference_rule1087811compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1087811compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1087811compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1087811compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index4426293compute/get_dict_of_steps_in_derivation: step_has_inference_rule5520646compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5520646compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5520646compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5520646compute/get_dict_of_steps_in_derivation: step_has_inference_rule3122741compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3122741compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3122741compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3122741compute/get_dict_of_steps_in_derivation: step_has_inference_rule3223333compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3223333compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3223333compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3223333compute/get_dict_of_steps_in_derivation: step_has_inference_rule7766872compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7766872compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7766872compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7766872compute/get_dict_of_steps_in_derivation: step_has_inference_rule5960588compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5960588compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5960588compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5960588compute/get_dict_of_steps_in_derivation: step_has_inference_rule2859106compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2859106compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2859106compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2859106compute/get_dict_of_steps_in_derivation: step_has_inference_rule8698847compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8698847compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8698847compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8698847compute/get_dict_of_steps_in_derivation: step_has_inference_rule2541020compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2541020compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2541020compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2541020compute/get_dict_of_steps_in_derivation: step_has_inference_rule8634489compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8634489compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8634489compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8634489compute/get_dict_of_steps_in_derivation: step_has_inference_rule1395068compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1395068compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1395068compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1395068compute/get_dict_of_steps_in_derivation: step_has_inference_rule9376997compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9376997compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9376997compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9376997compute/get_dict_of_steps_in_derivation: step_has_inference_rule4482028compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4482028compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4482028compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4482028compute/get_dict_of_steps_in_derivation: step_has_inference_rule8182611compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8182611compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8182611compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8182611compute/get_dict_of_steps_in_derivation: step_has_inference_rule8889540compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8889540compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8889540compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8889540pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1135945pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1135945000011pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule1135945compute/get_dict_of_steps_in_derivation: step_has_inference_rule7809251compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7809251compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7809251compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7809251compute/get_dict_of_steps_in_derivation: step_has_inference_rule3024766compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3024766compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3024766compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3024766compute/get_dict_of_steps_in_derivation: step_has_inference_rule2711677compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2711677compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2711677compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2711677compute/get_dict_of_steps_in_derivation: step_has_inference_rule6329608compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6329608compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6329608compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6329608compute/get_dict_of_steps_in_derivation: step_has_inference_rule1051805compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1051805compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1051805compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1051805compute/get_dict_of_steps_in_derivation: step_has_inference_rule9676151compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9676151compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9676151compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9676151compute/get_dict_of_steps_in_derivation: step_has_inference_rule5158248compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5158248compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5158248compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5158248compute/get_dict_of_steps_in_derivation: step_has_inference_rule7576042compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7576042compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7576042compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7576042compute/get_dict_of_steps_in_derivation: step_has_inference_rule8576147compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8576147compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8576147compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8576147compute/get_dict_of_steps_in_derivation: step_has_inference_rule3538597compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3538597compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3538597compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3538597compute/get_dict_of_steps_in_derivation: step_has_inference_rule7992033compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7992033compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7992033compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7992033compute/get_dict_of_steps_in_derivation: step_has_inference_rule1902545compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1902545compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1902545compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1902545compute/get_dict_of_steps_in_derivation: step_has_inference_rule8165666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8165666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8165666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8165666compute/get_dict_of_steps_in_derivation: step_has_inference_rule8507745compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8507745compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8507745compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8507745compute/get_dict_of_steps_in_derivation: step_has_inference_rule8447251compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8447251compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8447251compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8447251compute/get_dict_of_steps_in_derivation: step_has_inference_rule3968679compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3968679compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3968679compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3968679compute/get_dict_of_steps_in_derivation: step_has_inference_rule6169482compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6169482compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6169482compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6169482compute/get_dict_of_steps_in_derivation: step_has_inference_rule3832925compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3832925compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3832925compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3832925compute/get_dict_of_steps_in_derivation: step_has_inference_rule6859505compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6859505compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6859505compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6859505compute/get_dict_of_steps_in_derivation: step_has_inference_rule3172271compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3172271compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3172271compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3172271compute/get_dict_of_steps_in_derivation: step_has_inference_rule6374525compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6374525compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6374525compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6374525compute/get_dict_of_steps_in_derivation: step_has_inference_rule4786252compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4786252compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4786252compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4786252compute/get_dict_of_steps_in_derivation: step_has_inference_rule5101718compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5101718compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5101718compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5101718compute/get_dict_of_steps_in_derivation: step_has_inference_rule9227589compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9227589compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9227589compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9227589compute/get_dict_of_steps_in_derivation: step_has_inference_rule4700330compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4700330compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4700330compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4700330compute/get_dict_of_steps_in_derivation: step_has_inference_rule4431223compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4431223compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4431223compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4431223compute/get_dict_of_steps_in_derivation: step_has_inference_rule1658181compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1658181compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1658181compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1658181compute/get_dict_of_steps_in_derivation: step_has_inference_rule1891660compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1891660compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1891660compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1891660compute/get_dict_of_steps_in_derivation: step_has_inference_rule6246069compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6246069compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6246069compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6246069compute/get_dict_of_steps_in_derivation: step_has_inference_rule2899491compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2899491compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2899491compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2899491