Morphocompletion for #1536 ⟨a, b, c | ab=1, cac=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(a) = deg(c) = 1, a < c

Rewriting system is not complete: roundsLimit

#	Rule
1.	ab ⇒ 1
2.	cac ⇒ ca
3.	caac ⇒ caa
4.	caaac ⇒ caaa
5.	caaaac ⇒ caaaa
6.	caaaaac ⇒ caaaaa
7.	caaaaaac ⇒ caaaaaa
8.	caaaaaaac ⇒ caaaaaaa
9.	caaaaaaaac ⇒ caaaaaaaa
10.	caaaaaaaaac ⇒ caaaaaaaaa
11.	caaaaaaaaaac ⇒ caaaaaaaaaa
12.	caaaaaaaaaaac ⇒ caaaaaaaaaaa
13.	caaaaaaaaaaaac ⇒ caaaaaaaaaaaa
14.	caaaaaaaaaaaaac ⇒ caaaaaaaaaaaaa
15.	caaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaa
16.	caaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaa
17.	caaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaa
18.	caaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaa
19.	caaaaaaaaaaaaaaaaaac ⇒ caaaaaaaaaaaaaaaaaa
20.	caaaaaaaaaaaaaaaaaaac ⇒ 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(a) = deg(c) = 1, a < c

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