Toumaima commited on
Commit
a72005e
·
verified ·
1 Parent(s): d05c6d4

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +12 -12
app.py CHANGED
@@ -35,18 +35,18 @@ class BasicAgent:
35
  }
36
 
37
  def check_commutativity(self):
38
- S = ['a', 'b', 'c', 'd', 'e']
39
- counter_example_elements = set()
40
-
41
- # Check for commutativity violations
42
- for x in S:
43
- for y in S:
44
- if self.operation_table[x][y] != self.operation_table[y][x]:
45
- counter_example_elements.add(x)
46
- counter_example_elements.add(y)
47
-
48
- # Return the sorted list of elements involved in violations
49
- return sorted(counter_example_elements)
50
 
51
 
52
  def maybe_reversed(self, text: str) -> bool:
 
35
  }
36
 
37
  def check_commutativity(self):
38
+ S = ['a', 'b', 'c', 'd', 'e']
39
+ counter_example_elements = set()
40
+
41
+ # Check for commutativity violations
42
+ for x in S:
43
+ for y in S:
44
+ if self.operation_table[x][y] != self.operation_table[y][x]:
45
+ counter_example_elements.add(x)
46
+ counter_example_elements.add(y)
47
+
48
+ # Return the sorted list of elements involved in violations
49
+ return sorted(counter_example_elements)
50
 
51
 
52
  def maybe_reversed(self, text: str) -> bool: