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 |
|
|
no validation is available for declarations | ||
| 4 |
|
|
no validation is available for declarations | ||
| 5 |
|
|
no validation is available for declarations | ||
| 6 |
|
|
|
recognized infrule but not yet supported | |
| 7 |
|
|
|
|
Type Tuple cannot be instantiated; use tuple() instead |
| 8 |
|
|
no validation is available for declarations | ||
| 9 |
|
|
|
|
Type Tuple cannot be instantiated; use tuple() instead |
| 10 |
|
|
|
Type Tuple cannot be instantiated; use tuple() instead | |
| 11 |
|
|
|
Type Tuple cannot be instantiated; use tuple() instead | |
| 12 |
|
|
no validation is available for declarations |
pdg_app/to_review_derivation: node_properties, derivation 1458605compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9228972compute/get_dict_of_steps_in_derivation: step_has_inference_rule1365215compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1365215compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1365215compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1365215compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index9228972compute/get_dict_of_steps_in_derivation: step_has_inference_rule8719526compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8719526compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8719526compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8719526compute/get_dict_of_steps_in_derivation: step_has_inference_rule7251043compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7251043compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7251043compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7251043compute/get_dict_of_steps_in_derivation: step_has_inference_rule9216970compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9216970compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9216970compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9216970compute/get_dict_of_steps_in_derivation: step_has_inference_rule6408295compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6408295compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6408295compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6408295compute/get_dict_of_steps_in_derivation: step_has_inference_rule1848113compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1848113compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1848113compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1848113compute/get_dict_of_steps_in_derivation: step_has_inference_rule9819666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9819666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9819666compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9819666compute/get_dict_of_steps_in_derivation: step_has_inference_rule1394636compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1394636compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1394636compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1394636compute/get_dict_of_steps_in_derivation: step_has_inference_rule9283258compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9283258compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9283258compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9283258compute/get_dict_of_steps_in_derivation: step_has_inference_rule3531789compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3531789compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3531789compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3531789compute/get_dict_of_steps_in_derivation: step_has_inference_rule4501202compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4501202compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4501202compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4501202compute/get_dict_of_steps_in_derivation: step_has_inference_rule1955636compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1955636compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1955636compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1955636pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1458605pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1458605513999pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule1458605compute/get_dict_of_steps_in_derivation: step_has_inference_rule6358629compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6358629compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6358629compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6358629compute/get_dict_of_steps_in_derivation: step_has_inference_rule2384080compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2384080compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2384080compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2384080compute/get_dict_of_steps_in_derivation: step_has_inference_rule5897657compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5897657compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5897657compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5897657compute/get_dict_of_steps_in_derivation: step_has_inference_rule1262970compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1262970compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1262970compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1262970compute/get_dict_of_steps_in_derivation: step_has_inference_rule5449058compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5449058compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5449058compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5449058compute/get_dict_of_steps_in_derivation: step_has_inference_rule9791868compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9791868compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9791868compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9791868compute/get_dict_of_steps_in_derivation: step_has_inference_rule6788253compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6788253compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6788253compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6788253compute/get_dict_of_steps_in_derivation: step_has_inference_rule1626985compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1626985compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1626985compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1626985compute/get_dict_of_steps_in_derivation: step_has_inference_rule2074774compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2074774compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2074774compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2074774compute/get_dict_of_steps_in_derivation: step_has_inference_rule6305875compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6305875compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6305875compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6305875compute/get_dict_of_steps_in_derivation: step_has_inference_rule7581243compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7581243compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7581243compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7581243compute/get_dict_of_steps_in_derivation: step_has_inference_rule6132050compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6132050compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6132050compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6132050compute/get_dict_of_steps_in_derivation: step_has_inference_rule1774240compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1774240compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1774240compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1774240compute/get_dict_of_steps_in_derivation: step_has_inference_rule6076490compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6076490compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6076490compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6076490compute/get_dict_of_steps_in_derivation: step_has_inference_rule5016777compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5016777compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5016777compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5016777compute/get_dict_of_steps_in_derivation: step_has_inference_rule7995443compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7995443compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7995443compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7995443compute/get_dict_of_steps_in_derivation: step_has_inference_rule7122943compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7122943compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7122943compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7122943compute/get_dict_of_steps_in_derivation: step_has_inference_rule4383378compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4383378compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4383378compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4383378compute/get_dict_of_steps_in_derivation: step_has_inference_rule2368423compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2368423compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2368423compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2368423compute/get_dict_of_steps_in_derivation: step_has_inference_rule7947502compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7947502compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7947502compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7947502compute/get_dict_of_steps_in_derivation: step_has_inference_rule4430746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4430746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4430746compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4430746compute/get_dict_of_steps_in_derivation: step_has_inference_rule4186975compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4186975compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4186975compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4186975compute/get_dict_of_steps_in_derivation: step_has_inference_rule3897270compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3897270compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3897270compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3897270compute/get_dict_of_steps_in_derivation: step_has_inference_rule4410973compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4410973compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4410973compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4410973