Morphocompletion for #1519 ⟨a, b | ababbaabba=1⟩

Solved by morph: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 4:

[2/0]	ba	35	`lf:28,lp:1,ls:6,rf:18,rp:4,rs:3,lsrp:3,lprs:1,lsrs:1,a:17`
[2/1]	ab	32	`lf:25,lp:6,ls:1,rf:14,rp:1,rs:4,re:1,lprs:2,a:17`
[2/2]	bb	15	`lf:12,lp:3,rf:4,rp:4,lprp:1,a:17`
[2/3]	aa	12	`lf:9,ls:3,rf:9,rs:2,a:17`
[3/0]	aba	21	`lf:16,lp:1,ls:4,rf:10,rs:3,lsrs:1,a:17`
[3/1]	bab	16	`lf:14,lp:1,ls:1,rf:7,rp:1,rs:1,a:18`
[3/2]	bba	16	`lf:11,lp:3,ls:2,rf:4,rp:4,lprp:1,lsrp:1,a:17`
[3/3]	abb	13	`lf:8,lp:5,a:17`
[4/0]	baba	14	`lf:11,ls:3,rf:6,rp:1,rs:1,a:18`
[4/1]	abba	10	`lf:6,lp:3,ls:1,a:17`
[4/2]	bbab	9	`lf:7,lp:2,rf:4,rp:4,a:18`
[4/3]	abaa	8	`lf:6,ls:2,rf:5,rs:1,a:18`
[5/0]	bbaba	10	`lf:7,lp:2,ls:1,rf:4,rp:4,a:18`
[5/1]	babaa	8	`lf:6,ls:2,rf:5,rp:1,rs:1,a:18`
[5/2]	ababa	7	`lf:4,lp:1,ls:2,rf:1,rs:1,a:18`
[5/3]	abbab	6	`lf:4,lp:2,a:20`
[6/0]	bbabaa	9	`lf:5,lp:2,ls:2,rf:4,rp:4,rs:1,re:1,lsrp:2,a:18`
[6/1]	abbaba	7	`lf:4,lp:2,ls:1,a:20`
[6/2]	aababa	4	`lf:2,ls:2,rf:1,rs:1,a:21`
[6/3]	abaaba	4	`lf:3,ls:1,rf:3,rs:1,a:20`

Considering [length 2 / frequency 0] ba=c.

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

Collecting factors up to length 6 / frequency 7:

Considering [length 4 / frequency 0] bcca=d.

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

Rewriting system is complete. See ⟨a, b | ababbaabba=1⟩.