rename CRS and add .gitignore

sweeneyde · Mar 19, 2024 · 290ce41 · 290ce41
1 parent f57c430
commit 290ce41
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,4 @@
+**/__pycache__/
+venv312/
+venv/
+**.sage.py
diff --git a/monoid_homology/__init__.py b/monoid_homology/__init__.py
@@ -1,4 +1,4 @@
-from .crs import CanonicalRewritingSystem, CRS
+from .crs import CompleteRewritingSystem, CRS
 from .from_table import (
     op_from_index,
     all_gens_crs,

diff --git a/monoid_homology/crs.py b/monoid_homology/crs.py
@@ -13,7 +13,7 @@
 finite collection of pairs of strings (L, R),
 and we will write uLv --> uRv for any strings u and v.
 
-A rewriting system is called "Canonical" if is
+A rewriting system is called "Complete" if is
 
     (1) Noetherian: No infinite chains w0 --> w1 --> w2 --> ...
 
@@ -51,7 +51,7 @@
 from itertools import permutations
 from collections import defaultdict, Counter
 
-class CanonicalRewritingSystem:
+class CompleteRewritingSystem:
     __slots__ = ("alphabet", "rules", "max_rewrites",
                  "prefix_to_rules", "essentials", "_successor_words",
                  "_essrep", "_classifications", "_chain_complex",
@@ -373,4 +373,4 @@ def print_homology(self, up_to_dimension, **kwargs):
         print()
 
 
-CRS = CanonicalRewritingSystem
+CRS = CompleteRewritingSystem