Merge pull request #152 from lambda-feedback/tr129-experiment-with-syntactical-equivalence

Further attempt at fixing bug with feedback generation

Author: KarlLundengaard

app/feedback/symbolic_comparison.py

@@ -98,7 +98,7 @@
     "FALSE": "The response can be simplified further.",
 }[tag]
 feedback_generators["SAME_FORM"] = lambda tag: lambda inputs: {
-    "CARTESIAN": None,
-    "EXPONENTIAL": None,
+    "CARTESIAN": "Response and answer are both written on Cartesian form", # None,
+    "EXPONENTIAL": "Response and answer are both written on exponential form", # None,
     "UNKNOWN": "The response is not written on the expected form.",
 }[tag]

app/symbolic_comparison_evaluation.py

@@ -298,7 +298,7 @@ def same_symbols(unused_input):
                     label+"_SAME_FORM"+"_UNKNOWN",
                     summary="Cannot determine if "+str(lhs)+" and "+str(rhs)+" are written on the same form",
                     details="Cannot determine if "+str(lhs)+" and "+str(rhs)+" are written on the same form.",
-                    feedback_string_generator=symbolic_feedback_generators["SAME_SYMBOLS"]("UNKNOWN"),
+                    feedback_string_generator=symbolic_feedback_generators["SAME_FORM"]("UNKNOWN"),
                 )
 
                 graph.attach(label+"_SAME_FORM"+"_UNKNOWN", END.label)