Morphocompletion for #4987 ⟨a, b | aaaabba=baaa⟩

Solved by morph:2/1,4/1,4/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7, frequency 3:

Considering [length 2 / frequency 1] bb=c.

Step 2

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: arenaTotalLimit

Collecting factors up to length 6, frequency 5:

Considering [length 4 / frequency 1] aaca=d.

Step 3

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 5:

Considering [length 4 / frequency 1] aacd=e.

Step 4

• Reduction order:
  • Right-to-left recursive path with deg(d) = deg(a) = deg(e) = 0, d < a < e; deg(c) = deg(b) = 1, c < b
• Auxiliary generators:
  1. bb=c
  2. aaca=d
  3. aacd=e

Rewriting system is complete. See ⟨a, b | aaaabba=baaa⟩.