Morphocompletion for #5655 ⟨a, b | aabaab=ababa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#	Rule
1.	aabaab ⇒ ababa
2.	aabababa ⇒ ababaaab
3.	ababaaababaab ⇒ ababaaabbaba
4.	ababaabaaababaab ⇒ ababaabaaabbaba
5.	ababaaabbabaaab ⇒ ababaababaaabba
6.	ababababaaaababaab ⇒ ababababaaaabbaba
7.	ababaabaaabbabaaab ⇒ ababababaabaaabba
8.	ababaaabbabaababa ⇒ ababaababaaabbaaab
	...

Collecting factors up to length 7, frequency 4:

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

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ c
2.	acac ⇒ cca
3.	accca ⇒ ccaac
4.	ccaacb ⇒ acccc
5.	accccca ⇒ ccaaccac
6.	ccacaacb ⇒ acaacccc
7.	ccccaaacb ⇒ acaacaacccc
8.	ccaaccacb ⇒ acccccc
9.	accccccca ⇒ ccaaccaccac
10.	ccccaacaacb ⇒ acaacaacaacccc
11.	ccacaaccacb ⇒ acaacccccc
12.	ccccaccaaacb ⇒ acaacaacaacaacccc
13.	ccccaaaccacb ⇒ acaacaacccccc
14.	ccaaccaccacb ⇒ acccccccc
15.	accccccccca ⇒ ccaaccaccaccac
16.	ccccaacaaccacb ⇒ acaacaacaacccccc
17.	ccacaaccaccacb ⇒ acaacccccccc
18.	ccccaaaccaccacb ⇒ acaacaacccccccc
19.	ccaaccaccaccacb ⇒ acccccccccc
20.	accccccccccca ⇒ ccaaccaccaccaccac
	...

Collecting factors up to length 6, frequency 7:

Length 2:	[2/0] cc, [2/1] ac, [2/2] ca, [2/3] cb, [2/4] aa
Length 3:	[3/0] cca, [3/1] ccc, [3/2] acb, [3/3] acc, [3/4] cac, [3/5] aac, [3/6] caa
Length 4:	[4/0] cccc, [4/1] ccac, [4/2] cacb, [4/3] ccca, [4/4] acca, [4/5] ccaa, [4/6] caac
Length 5:	[5/0] cccca, [5/1] ccccc, [5/2] ccacb, [5/3] accac, [5/4] ccaac, [5/5] acccc, [5/6] aacca

Considering [length 4 / frequency 0] cccc=d.

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

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