Morphocompletion for #7595 ⟨a, b, c | ab=1, cacc=ca⟩

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(b) = 0; deg(c) = deg(a) = 1, c < a

Rewriting system is not complete: arenaWorkLimit

#	Rule
1.	ab ⇒ 1
2.	cacc ⇒ ca
3.	caacc ⇒ caa
4.	caaacc ⇒ caaa
5.	caaaacc ⇒ caaaa
6.	caaaaacc ⇒ caaaaa
7.	caaaaaacc ⇒ caaaaaa
8.	caaaaaaacc ⇒ caaaaaaa
9.	caaaaaaaacc ⇒ caaaaaaaa
10.	caaaaaaaaacc ⇒ caaaaaaaaa
11.	caaaaaaaaaacc ⇒ caaaaaaaaaa
12.	caaaaaaaaaaacc ⇒ caaaaaaaaaaa
13.	caaaaaaaaaaaacc ⇒ caaaaaaaaaaaa
14.	caaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaa
15.	caaaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaaa
16.	caaaaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaaaa
17.	caaaaaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaaaaa
18.	caaaaaaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaaaaaa
19.	caaaaaaaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaaaaaaa
20.	caaaaaaaaaaaaaaaaaaacc ⇒ caaaaaaaaaaaaaaaaaaa
	...

Collecting factors up to length 4 / frequency 7:

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

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

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