Morphocompletion for #2179 ⟨a, b, c | aabb=1, bacc=1⟩

Solved by morph:2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

• Reduction order:
  • Right-to-left recursive path with deg(b) = 0; deg(a) = deg(c) = 1, a < c

Rewriting system is not complete: roundsLimit

Collecting factors up to length 4 / frequency 7:

Considering [length 2 / frequency 0] aa=d.

Step 2

• Auxiliary generators:
  1. d = aa
• Reduction order:
  • Right-to-left recursive path with deg(b) = deg(d) = 0, b < d; deg(a) = deg(c) = 1, a < c

Rewriting system is complete. See ⟨a, b, c | aabb=1, bacc=1⟩.