Morphocompletion for #2249 ⟨a, b | aababba=baa⟩

Solved by morph:6/0,2/0,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 6 / frequency 0] aababb=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 5:

Length 2:	[2/0] bc, [2/1] aa, [2/2] bb, [2/3] ac, [2/4] ca
Length 3:	[3/0] aac, [3/1] bbc, [3/2] bca, [3/3] acb, [3/4] bab
Length 4:	[4/0] aacb, [4/1] bbbc, [4/2] babb, [4/3] cacb, [4/4] acbb
Length 5:	[5/0] aacbb, [5/1] aacbc, [5/2] cbbbc, [5/3] ababb, [5/4] acbbc

Considering [length 2 / frequency 0] bc=d.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6, frequency 5:

Length 2:	[2/0] aa, [2/1] bd, [2/2] ba, [2/3] ca, [2/4] ab
Length 3:	[3/0] aac, [3/1] cac, [3/2] bab, [3/3] abb, [3/4] abd
Length 4:	[4/0] babb, [4/1] cacd, [4/2] aacd, [4/3] abab, [4/4] babd
Length 5:	[5/0] ababb, [5/1] ababd, [5/2] cabab, [5/3] aabab, [5/4] acbbd

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

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

Rewriting system is complete. See ⟨a, b | aababba=baa⟩.