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 |
|
|
|
recognized infrule but not yet supported | |
| 3 |
|
|
|
Type Tuple cannot be instantiated; use tuple() instead | |
| 4 |
|
|
|
valid | |
| 5 |
|
|
|
|
list index out of range |
| 6 |
|
|
|
valid | |
| 7 |
|
|
|
valid | |
| 8 |
|
|
|
recognized infrule but not yet supported | |
| 9 |
|
|
no validation is available for declarations |
pdg_app/to_review_derivation: node_properties, derivation 9519315compute/get_dict_of_steps_in_derivation: steps_in_this_derivation1483853compute/get_dict_of_steps_in_derivation: step_has_inference_rule5785908compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5785908compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5785908compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5785908compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index1483853compute/get_dict_of_steps_in_derivation: step_has_inference_rule1090557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1090557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1090557compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1090557compute/get_dict_of_steps_in_derivation: step_has_inference_rule8841270compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8841270compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8841270compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8841270compute/get_dict_of_steps_in_derivation: step_has_inference_rule7463404compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7463404compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7463404compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7463404compute/get_dict_of_steps_in_derivation: step_has_inference_rule2454666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2454666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2454666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2454666compute/get_dict_of_steps_in_derivation: step_has_inference_rule5670465compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5670465compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5670465compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5670465compute/get_dict_of_steps_in_derivation: step_has_inference_rule5689656compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5689656compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5689656compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5689656compute/get_dict_of_steps_in_derivation: step_has_inference_rule8268890compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8268890compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8268890compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8268890compute/get_dict_of_steps_in_derivation: step_has_inference_rule5261112compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5261112compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5261112compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5261112pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation9519315pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id9519315920011pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule9519315compute/get_dict_of_steps_in_derivation: step_has_inference_rule2990643compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2990643compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2990643compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2990643compute/get_dict_of_steps_in_derivation: step_has_inference_rule6239812compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6239812compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6239812compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6239812compute/get_dict_of_steps_in_derivation: step_has_inference_rule1480410compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1480410compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1480410compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1480410compute/get_dict_of_steps_in_derivation: step_has_inference_rule6816999compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6816999compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6816999compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6816999compute/get_dict_of_steps_in_derivation: step_has_inference_rule7772219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7772219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7772219compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7772219compute/get_dict_of_steps_in_derivation: step_has_inference_rule7176198compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7176198compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7176198compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7176198compute/get_dict_of_steps_in_derivation: step_has_inference_rule7547314compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7547314compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7547314compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7547314compute/get_dict_of_steps_in_derivation: step_has_inference_rule6359277compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6359277compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6359277compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6359277compute/get_dict_of_steps_in_derivation: step_has_inference_rule7795177compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7795177compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7795177compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7795177compute/get_dict_of_steps_in_derivation: step_has_inference_rule4126692compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4126692compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4126692compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4126692compute/get_dict_of_steps_in_derivation: step_has_inference_rule2409778compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2409778compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2409778compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2409778compute/get_dict_of_steps_in_derivation: step_has_inference_rule9871566compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9871566compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9871566compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9871566compute/get_dict_of_steps_in_derivation: step_has_inference_rule1328746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1328746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1328746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1328746compute/get_dict_of_steps_in_derivation: step_has_inference_rule3869079compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3869079compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3869079compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3869079compute/get_dict_of_steps_in_derivation: step_has_inference_rule9662885compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9662885compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9662885compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9662885compute/get_dict_of_steps_in_derivation: step_has_inference_rule8591486compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8591486compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8591486compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8591486compute/get_dict_of_steps_in_derivation: step_has_inference_rule3180213compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3180213compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3180213compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3180213compute/get_dict_of_steps_in_derivation: step_has_inference_rule2662644compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2662644compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2662644compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2662644