diff --git a/.idea/vcs.xml b/.idea/vcs.xml new file mode 100644 index 0000000..94a25f7 --- /dev/null +++ b/.idea/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml index bbd1d3c..9215353 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,7 +1,9 @@ - + + + + + + @@ -85,31 +91,37 @@ + + + file://$PROJECT_DIR$/speedy_gonzolas.py - 90 + 87 file://$PROJECT_DIR$/speedy_gonzolas.py - 100 + 97 - - file://$PROJECT_DIR$/speedy_gonzolas.py - 145 - @@ -127,6 +139,6 @@ - + \ No newline at end of file diff --git a/speedy_gonzolas.py b/speedy_gonzolas.py index 1d1e8c5..a20d506 100644 --- a/speedy_gonzolas.py +++ b/speedy_gonzolas.py @@ -85,9 +85,6 @@ def solve(cosets: Cosets, rel_tables: List[RelTable]): if idx == len(cosets.data): break - # print() - # print(cosets) - # print() coset, gen = divmod(idx, cosets.ngens) target = len(cosets) @@ -120,14 +117,6 @@ def solve(cosets: Cosets, rel_tables: List[RelTable]): elif rel.gen[target] == rel.mul - 1: rel.lst[rel.fam[target]] = target - # print('=====================') - # for rel in rel_tables: - # print(rel.gens) - # print('fam', rel.fam) - # print('gen', rel.gen) - # print('lst', rel.lst) - # print() - facts.sort(reverse=True) for rel in rel_tables: @@ -143,14 +132,6 @@ def solve(cosets: Cosets, rel_tables: List[RelTable]): if count == 1: rel.gen[target] = -1 - # print('=====================') - # for rel in rel_tables: - # print(rel.gens) - # print('fam', rel.fam) - # print('gen', rel.gen) - # print('lst', rel.lst) - # print() - if __name__ == '__main__': # cosets = Cosets(3)