A01277310_Lab1

labs/01/relation_analyser.py

@@ -1,3 +1,6 @@
+""" XIMENA CANTERA RESÉNDIZ
+            08/01/2024     """
+
 import graphviz # https://graphviz.readthedocs.io/en/stable/index.html
 
 def analyze(val):
@@ -7,30 +10,40 @@ def analyze(val):
     2. Symmetric: aRb implies bRa for all a,b in X
     3. Transitive: aRb and bRc imply aRc for all a,b,c in X,
     """
-    Reflexive = False
-    Symmetric = False
-    Transitive = False
+    Reflexive = all((a, a) in val for a, _ in val)
+    Symmetric = all((b, a) in val for a, b in val)
+    Transitive = all((a, c) in val for a, b in val for _, c in val)
 
-    return Reflexive,Symmetric,Transitive
+    return Reflexive, Symmetric, Transitive
 
-def plot():
-    """
-    Here goes your code to do the plot of the set
-    """
+
+def plot(val):
+    #Create a graphic using graphviz
     g = graphviz.Digraph('G', filename='hello.gv')
-    g.edge('Hello', 'World')
+    #Add arcs to the graph
+    for pair in val:
+        g.edge(str(pair[0]), str(pair[1]))
+    #Save and view the graph
     g.view()
 
+
 def main():
     print("Hello World analyzing input!")
-    val = input("Enter your set: ")
-    print(val)
-    Reflexive,Symmetric,Transitive = analyze(val)
+    #convert "input" to a "set"
+    val_str = input("Enter your set: ")
+    print(val_str)
+    val = set(eval(val_str))
+
+    #Analyze the properties of the set
+    Reflexive, Symmetric, Transitive = analyze(val)
+    #Print the results
     print(f"\
     1. Reflexive: {Reflexive} \
     2. Symmetric: {Symmetric} \
     3. Transitive: {Transitive}")
-    plot()
+    #Create and display the graph
+    plot(val)
+
 
 if __name__ == "__main__":
     main()