Morphocompletion for #6034 ⟨a, b, c | ab=c, aca=ac⟩

Solved by morph:2/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 ⇒ c
2.	aca ⇒ ac
3.	acc ⇒ acb
4.	acba ⇒ acb
5.	acbc ⇒ acbb
6.	acbba ⇒ acbb
7.	acbbc ⇒ acbbb
8.	acbbba ⇒ acbbb
9.	acbbbc ⇒ acbbbb
10.	acbbbba ⇒ acbbbb
11.	acbbbbc ⇒ acbbbbb
12.	acbbbbba ⇒ acbbbbb
13.	acbbbbbc ⇒ acbbbbbb
14.	acbbbbbba ⇒ acbbbbbb
15.	acbbbbbbc ⇒ acbbbbbbb
16.	acbbbbbbba ⇒ acbbbbbbb
17.	acbbbbbbbc ⇒ acbbbbbbbb
18.	acbbbbbbbba ⇒ acbbbbbbbb
19.	acbbbbbbbbc ⇒ acbbbbbbbbb
20.	acbbbbbbbbba ⇒ acbbbbbbbbb
	...

Collecting factors up to length 4 / frequency 7:

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

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

Step 2

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

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