Morphocompletion for #1662 ⟨a, b, c | aab=ba, bac=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: lhsLimit

Collecting factors up to length 4 / frequency 4:

Considering [length 2 / frequency 3] ab=d.

Step 2

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: workMaxLimit

Collecting factors up to length 6 / frequency 3:

Considering [length 2 / frequency 1] ad=e.

Step 3

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

Rewriting system is complete. See ⟨a, b, c | aab=ba, bac=1⟩.