Morphocompletion for #7580 ⟨a, b, c | ab=1, caac=ca⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: arenaWorkLimit

#	Rule
1.	ab ⇒ 1
2.	caac ⇒ ca
3.	caaac ⇒ caa
4.	caaaac ⇒ caaa
5.	caaaaac ⇒ caaaa
6.	caaaaaac ⇒ caaaaa
7.	caaaaaaac ⇒ caaaaaa
8.	caaaaaaaac ⇒ caaaaaaa
9.	caaaaaaaaac ⇒ caaaaaaaa
10.	caaaaaaaaaac ⇒ caaaaaaaaa
11.	caaaaaaaaaaac ⇒ caaaaaaaaaa
12.	caaaaaaaaaaaac ⇒ caaaaaaaaaaa
13.	caaaaaaaaaaaaac ⇒ caaaaaaaaaaaa
14.	caaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaa
15.	caaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaa
16.	caaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaa
17.	caaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaa
18.	caaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaa
19.	caaaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaa
20.	caaaaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaaa
	...

Collecting factors up to length 4 / frequency 7:

Considering [length 3 / frequency 1] caa=d.

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

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