Morphocompletion for #6068 ⟨a, b, c | ab=c, bac=ba⟩

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.	bac ⇒ ba
3.	cac ⇒ ca
4.	baac ⇒ baa
5.	caac ⇒ caa
6.	baaac ⇒ baaa
7.	caaac ⇒ caaa
8.	baaaac ⇒ baaaa
9.	caaaac ⇒ caaaa
10.	baaaaac ⇒ baaaaa
11.	caaaaac ⇒ caaaaa
12.	baaaaaac ⇒ baaaaaa
13.	caaaaaac ⇒ caaaaaa
14.	baaaaaaac ⇒ baaaaaaa
15.	caaaaaaac ⇒ caaaaaaa
16.	baaaaaaaac ⇒ baaaaaaaa
17.	caaaaaaaac ⇒ caaaaaaaa
18.	baaaaaaaaac ⇒ baaaaaaaaa
19.	caaaaaaaaac ⇒ caaaaaaaaa
20.	baaaaaaaaaac ⇒ baaaaaaaaaa
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	aa	81	`lf:81,rf:81,rs:17,a:3`
[2/1]	ac	38	`lf:19,ls:19,a:1`
[2/2]	ba	20	`lf:10,lp:10,rf:10,rp:10,rs:1,re:1,lprp:10,lprs:1,a:1`
[2/3]	ca	18	`lf:9,lp:9,rf:9,rp:9,rs:1,re:1,lprp:9,lprs:1,a:2`
[3/0]	aaa	64	`lf:64,rf:64,rs:15,a:5`
[3/1]	aac	34	`lf:17,ls:17,a:3`
[3/2]	baa	18	`lf:9,lp:9,rf:9,rp:9,rs:1,re:1,lprp:9,lprs:1,a:3`
[3/3]	caa	16	`lf:8,lp:8,rf:8,rp:8,rs:1,re:1,lprp:8,lprs:1,a:4`

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

Step 2

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

Rewriting system is complete. See ⟨a, b, c | ab=c, bac=ba⟩.