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 |
|
|
|
|
invalid syntax (<string>, line 0) |
| 3 |
|
|
|
invalid syntax (<string>, line 0) | |
| 4 |
|
|
|
recognized infrule but not yet supported | |
| 5 |
|
|
no validation is available for declarations |
pdg_app/to_review_derivation: node_properties, derivation 3072925compute/get_dict_of_steps_in_derivation: steps_in_this_derivation6386866compute/get_dict_of_steps_in_derivation: step_has_inference_rule7534607compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7534607compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7534607compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7534607compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index6386866compute/get_dict_of_steps_in_derivation: step_has_inference_rule6450694compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6450694compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6450694compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6450694compute/get_dict_of_steps_in_derivation: step_has_inference_rule6304240compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6304240compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6304240compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6304240compute/get_dict_of_steps_in_derivation: step_has_inference_rule5089214compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5089214compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5089214compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5089214compute/get_dict_of_steps_in_derivation: step_has_inference_rule5299452compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5299452compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5299452compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5299452pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation3072925pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id3072925000009pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule3072925compute/get_dict_of_steps_in_derivation: step_has_inference_rule5449718compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5449718compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5449718compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5449718compute/get_dict_of_steps_in_derivation: step_has_inference_rule5654549compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5654549compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5654549compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5654549compute/get_dict_of_steps_in_derivation: step_has_inference_rule5429162compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5429162compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5429162compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5429162compute/get_dict_of_steps_in_derivation: step_has_inference_rule2910010compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2910010compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2910010compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2910010compute/get_dict_of_steps_in_derivation: step_has_inference_rule3398989compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3398989compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3398989compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3398989compute/get_dict_of_steps_in_derivation: step_has_inference_rule1930627compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1930627compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1930627compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1930627compute/get_dict_of_steps_in_derivation: step_has_inference_rule6150564compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6150564compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6150564compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6150564compute/get_dict_of_steps_in_derivation: step_has_inference_rule8610785compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8610785compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8610785compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8610785compute/get_dict_of_steps_in_derivation: step_has_inference_rule5879865compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5879865compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5879865compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5879865compute/get_dict_of_steps_in_derivation: step_has_inference_rule7220483compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7220483compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7220483compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7220483