Morphocompletion for #3147 ⟨a, b | aabbbabbaab=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#	Rule
1.	bbabbaa ⇒ aabbbab
2.	aabaabbbabb ⇒ 1
3.	aabaabaabbbab ⇒ aa
4.	aabaabbbaaabbbab ⇒ abbaa
5.	aabbbabaabaabaabbbab ⇒ aabbbabaa
6.	aabbbabaaaabaabaabbbab ⇒ aabbbabaaaa
	...

Collecting factors up to length 7, frequency 4:

Considering [length 3 / frequency 1] baa=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	bccbbbbccbbccbccbbccbbbbccbbc ⇒ cbccb
2.	abccbbbc ⇒ c
3.	abccbbbbc ⇒ bc
4.	babccb ⇒ abccbb
5.	babccbbc ⇒ c
6.	babcbbcbccbbbbcccb ⇒ abcbbcbccbbbbcccbb
7.	bbabccb ⇒ 1
8.	bbbabc ⇒ bbcbccbbbbccbccbbbbccbb
9.	cbabccbb ⇒ c
10.	cbbbabb ⇒ bbbabcb
11.	cbbbabc ⇒ bbbabcc
12.	aa ⇒ bbabccc
13.	bababccbb ⇒ ba
14.	babbabccc ⇒ ca
	...

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] bb, [2/1] bc, [2/2] cb, [2/3] cc, [2/4] ba, [2/5] ab, [2/6] ca
Length 3:	[3/0] ccb, [3/1] cbb, [3/2] bab, [3/3] bcc, [3/4] abc, [3/5] bbc, [3/6] bbb
Length 4:	[4/0] bccb, [4/1] babc, [4/2] ccbb, [4/3] abcc, [4/4] cbbb, [4/5] cbbc, [4/6] bbbc
Length 5:	[5/0] bccbb, [5/1] abccb, [5/2] babcc, [5/3] bbabc, [5/4] ccbbc, [5/5] ccbbb, [5/6] bbbbc

Considering [length 5 / frequency 1] abccb=d.

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

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