Morphocompletion for #3180 ⟨a, b, c | ba=ab, aabc=1⟩

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	baac ⇒ 1
2.	baaac ⇒ a
3.	baaaac ⇒ aa
4.	baaaaac ⇒ aaa
5.	baaaaaac ⇒ aaaa
6.	baaaaaaac ⇒ aaaaa
7.	baaaaaaaac ⇒ aaaaaa
8.	baaaaaaaaac ⇒ aaaaaaa
9.	baaaaaaaaaac ⇒ aaaaaaaa
10.	baaaaaaaaaaac ⇒ aaaaaaaaa
11.	baaaaaaaaaaaac ⇒ aaaaaaaaaa
12.	baaaaaaaaaaaaac ⇒ aaaaaaaaaaa
13.	baaaaaaaaaaaaaac ⇒ aaaaaaaaaaaa
14.	baaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaa
15.	baaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaa
16.	baaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaa
17.	baaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaa
18.	baaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaa
19.	baaaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaa
20.	ab ⇒ ba
	...

Collecting factors up to length 4 / frequency 7:

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

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

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