Morphocompletion for #3595 ⟨a, b, c | ba=ac, cb=ac⟩

Back:⟨a, b, c | ba=ac, cb=ac⟩

Solved by morph:2/2. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: workTotalLimit

#Rule
1. ba ⇒ ac
2. cb ⇒ ac
3. cac ⇒ aca
4. caac ⇒ acab
5. caaac ⇒ acabb
6. caaaac ⇒ acabbb
7. caaaaac ⇒ acabbbb
8. caaaaaac ⇒ acabbbbb
9. caaaaaaac ⇒ acabbbbbb
10. caaaaaaaac ⇒ acabbbbbbb
11. caaaaaaaaac ⇒ acabbbbbbbb
12. caaaaaaaaaac ⇒ acabbbbbbbbb
13. caaaaaaaaaaac ⇒ acabbbbbbbbbb
14. caaaaaaaaaaaac ⇒ acabbbbbbbbbbb
...

Collecting factors up to length 4 / frequency 7:

[2/0]aa66lf:66,a:3
[2/1]ca24lf:12,lp:12,rf:12,rs:1,lprs:10,a:2
[2/2]ac24lf:12,ls:12,rf:14,rp:14,rs:2,re:2,lsrp:21
[2/3]bb0rf:55,rs:10,a:5
[2/4]ab0rf:11,rs:1,a:3
[3/0]aaa55lf:55,a:5
[3/1]caa22lf:11,lp:11,a:3
[3/2]aac22lf:11,ls:11,a:3
[3/3]cab0rf:11,rs:1,a:3
[3/4]bbb0rf:45,rs:9,a:7
[3/5]aca0rf:12,rp:12,rs:1,re:1,a:2
[3/6]abb0rf:10,rs:1,a:5

Considering [length 2 / frequency 2] ac=d.

Step 2

Rewriting system is complete. See ⟨a, b, c | ba=ac, cb=ac⟩.