Morphocompletion for #7436 ⟨a, b, c | ab=1, acca=ac⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right shortlex with a < b < c

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ 1
2.	acc ⇒ acb
3.	acba ⇒ ac
4.	acbc ⇒ acbb
5.	acbba ⇒ acb
6.	acbbc ⇒ acbbb
7.	acbbba ⇒ acbb
8.	acbbbc ⇒ acbbbb
9.	acbbbba ⇒ acbbb
10.	acbbbbc ⇒ acbbbbb
11.	acbbbbba ⇒ acbbbb
12.	acbbbbbc ⇒ acbbbbbb
13.	acbbbbbba ⇒ acbbbbb
14.	acbbbbbbc ⇒ acbbbbbbb
15.	acbbbbbbba ⇒ acbbbbbb
16.	acbbbbbbbc ⇒ acbbbbbbbb
17.	acbbbbbbbba ⇒ acbbbbbbb
18.	acbbbbbbbbc ⇒ acbbbbbbbbb
19.	acbbbbbbbbba ⇒ acbbbbbbbb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	64	`lf:64,rf:64,rs:15,a:5`
[2/1]	ac	36	`lf:18,lp:18,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:2`
[2/2]	ba	18	`lf:9,ls:9,a:4`
[2/3]	cb	17	`lf:17,rf:17,rs:2,a:2`
[2/4]	bc	16	`lf:8,ls:8,a:5`
[2/5]	cc	2	`lf:1,ls:1,a:2`
[3/0]	bbb	49	`lf:49,rf:49,rs:13,a:7`
[3/1]	acb	34	`lf:17,lp:17,rf:17,rp:17,rs:2,re:2,lprp:16,lprs:1,a:2`
[3/2]	bba	16	`lf:8,ls:8,a:6`
[3/3]	cbb	15	`lf:15,rf:15,rs:2,a:5`
[3/4]	bbc	14	`lf:7,ls:7,a:7`
[3/5]	cbc	2	`lf:1,ls:1,a:5`
[3/6]	cba	2	`lf:1,ls:1,a:4`

Considering [length 3 / frequency 1] acb=d.

Step 2

Auxiliary generators:
1. d = acb
Reduction order:
- Left-to-right shortlex with d < a < b < c

Rewriting system is complete. See ⟨a, b, c | ab=1, acca=ac⟩.