Morphocompletion for #5045 ⟨a, b | aaababa=baaa⟩

Solved by morph:3/2,4/1,4/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7, frequency 3:

Considering [length 3 / frequency 2] bab=c.

Checking up to 20 rules for overlaps.

Reduction order:
- Right-to-left recursive path with deg(a) = 0; deg(c) = deg(b) = 1, c < b
Auxiliary generators:
1. bab=c

Rewriting system is not complete: arenaTotalLimit

Collecting factors up to length 6, frequency 5:

Length 2:	[2/0] aa, [2/1] ca, [2/2] ac, [2/3] ba, [2/4] ab
Length 3:	[3/0] aaa, [3/1] aca, [3/2] caa, [3/3] baa, [3/4] aac
Length 4:	[4/0] caaa, [4/1] aaca, [4/2] acaa, [4/3] aaac, [4/4] baac
Length 5:	[5/0] aaaca, [5/1] acaaa, [5/2] ccaaa, [5/3] caaca, [5/4] bcaaa

Considering [length 4 / frequency 1] aaca=d.

Checking up to 20 rules for overlaps.

Reduction order:
- Right-to-left recursive path with deg(d) = deg(a) = 0, d < a; deg(c) = deg(b) = 1, c < b
Auxiliary generators:
1. bab=c
2. aaca=d

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 5:

Length 2:	[2/0] aa, [2/1] ca, [2/2] ad, [2/3] ac, [2/4] ba
Length 3:	[3/0] aaa, [3/1] acd, [3/2] aac, [3/3] aad, [3/4] bac
Length 4:	[4/0] aacd, [4/1] abac, [4/2] cdca, [4/3] aaad, [4/4] aaac
Length 5:	[5/0] acdca, [5/1] aaacd, [5/2] aaada, [5/3] dabac, [5/4] aacdc

Considering [length 4 / frequency 0] aacd=e.

Reduction order:
- Right-to-left recursive path with deg(d) = deg(a) = deg(e) = 0, d < a < e; deg(c) = deg(b) = 1, c < b
Auxiliary generators:
1. bab=c
2. aaca=d
3. aacd=e

Rewriting system is complete. See ⟨a, b | aaababa=baaa⟩.