Morphocompletion for #544 ⟨a, b, c | ba=ac, cb=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ac ⇒ ba
2.	cb ⇒ b
3.	bab ⇒ ab
4.	cab ⇒ ab
5.	baab ⇒ aab
6.	caab ⇒ aab
7.	baaab ⇒ aaab
8.	caaab ⇒ aaab
9.	baaaab ⇒ aaaab
10.	caaaab ⇒ aaaab
11.	baaaaab ⇒ aaaaab
12.	caaaaab ⇒ aaaaab
13.	baaaaaab ⇒ aaaaaab
14.	caaaaaab ⇒ aaaaaab
15.	baaaaaaab ⇒ aaaaaaab
16.	caaaaaaab ⇒ aaaaaaab
17.	baaaaaaaab ⇒ aaaaaaaab
18.	caaaaaaaab ⇒ aaaaaaaab
19.	baaaaaaaaab ⇒ aaaaaaaaab
20.	caaaaaaaaab ⇒ aaaaaaaaab
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	aa	72	`lf:72,rf:72,rp:16,a:4`
[2/1]	ab	36	`lf:18,ls:18,rf:18,rp:2,rs:18,re:2,lsrp:2,lsrs:18,a:2`
[2/2]	ca	18	`lf:9,lp:9,a:3`
[2/3]	ba	18	`lf:9,lp:9,rf:1,rp:1,rs:1,re:1`
[3/0]	aaa	56	`lf:56,rf:56,rp:14,a:6`
[3/1]	aab	32	`lf:16,ls:16,rf:16,rp:2,rs:16,re:2,lsrp:2,lsrs:16,a:4`
[3/2]	caa	16	`lf:8,lp:8,a:5`
[3/3]	baa	16	`lf:8,lp:8,a:4`

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

Step 2

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

Rewriting system is complete. See ⟨a, b, c | ba=ac, cb=b⟩.