Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
32594: few more comments about m vs morphism self
Browse files Browse the repository at this point in the history
  • Loading branch information
seblabbe committed Nov 18, 2021
1 parent 7dd5c27 commit a89e941
Showing 1 changed file with 6 additions and 4 deletions.
10 changes: 6 additions & 4 deletions src/sage/combinat/words/morphism.py
Expand Up @@ -3263,12 +3263,14 @@ def letter_growth_types(self):
if v not in maybe_not_growing_letters.keys()]

# After the inner while loop, maybe_not_growing_letters is a
# permutation and contains only not growing letters
# permutation and contains only not growing letters for
# morphism ``m``. This are letters which have polynomial
# growth of degree ``d==len(polynomial)`` for the morphism self.
polynomial_degree_d = [k for k in maybe_not_growing_letters.keys()]

# If polynomial_degree_d is empty, then there is no letter
# of polynomial growth of degree >= d, we can stop the outer
# while loop
# of polynomial growth of degree >= d for the morphism,
# we can stop the outer while loop
if not polynomial_degree_d:
break

Expand All @@ -3279,7 +3281,7 @@ def letter_growth_types(self):
for (a,L) in m.items()
if a not in polynomial_degree_d}

# We update the list ``polynomial`` keeping the invariant
# We update the list ``polynomial`` keeping the loop invariant
# equality ``d==len(polynomial)`` true
polynomial.append(polynomial_degree_d)

Expand Down

0 comments on commit a89e941

Please sign in to comment.