Morphocompletion for #7847 ⟨a, b, c | ab=1, cba=bac⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ 1
2.	acba ⇒ ac
3.	bac ⇒ cba
4.	accba ⇒ acc
5.	acccba ⇒ accc
6.	accccba ⇒ acccc
7.	acccccba ⇒ accccc
8.	accccccba ⇒ acccccc
9.	acccccccba ⇒ accccccc
10.	accccccccba ⇒ acccccccc
11.	acccccccccba ⇒ accccccccc
12.	accccccccccba ⇒ acccccccccc
13.	acccccccccccba ⇒ accccccccccc
14.	accccccccccccba ⇒ acccccccccccc
15.	acccccccccccccba ⇒ accccccccccccc
16.	accccccccccccccba ⇒ acccccccccccccc
17.	acccccccccccccccba ⇒ accccccccccccccc
18.	accccccccccccccccba ⇒ acccccccccccccccc
19.	acccccccccccccccccba ⇒ accccccccccccccccc
20.	accccccccccccccccccba ⇒ acccccccccccccccccc
	...

Collecting factors up to length 4 / frequency 7:

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

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

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