Morphocompletion for #3671 ⟨a, b | aabbbabaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7, frequency 4:

Considering [length 2 / frequency 0] ab=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] cc, [2/1] ca, [2/2] ac, [2/3] cb, [2/4] bb, [2/5] bc, [2/6] aa
Length 3:	[3/0] ccb, [3/1] cca, [3/2] acc, [3/3] cbb, [3/4] ccc, [3/5] aca, [3/6] bca
Length 4:	[4/0] ccac, [4/1] ccbb, [4/2] aacc, [4/3] bbca, [4/4] accc, [4/5] bbcc, [4/6] cbbc
Length 5:	[5/0] ccacc, [5/1] cbbca, [5/2] cbbcc, [5/3] cccbb, [5/4] ccbbc, [5/5] aaccc, [5/6] caccc

Considering [length 2 / frequency 1] ca=d.

Reduction order:
- Left-to-right recursive path with deg(c) = deg(b) = deg(d) = 0, c < b < d; deg(a) = 1
Auxiliary generators:
1. ab=c
2. ca=d

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