Certificate for #2211 ⟨a, b | aabaaab=baa⟩

Back:⟨a, b | aabaaab=baa⟩

Completion settings:

[1] aabaaab=baa

Axiom: aabaaab=baa.

Referenced by [3].

[2] baa=c

Axiom: baa=c.

Defines rule #4.

Referenced by [3], [4], [5], [6], [7].

[3] aabaaab=c

Simplify [1] aabaaab=baa.

Reduce RHS:

[2](baa)
⇒ c

Referenced by [4].

[4] aacab=c

Overlap of [3] aabaaab=c with [2] baa=c:

aa baaab baa

Critical pair: aacab=c.

Defines rule #2.

Referenced by [5], [6], [7].

[5] bc=ccab

Overlap of [2] baa=c with [4] aacab=c:

b aa aacab

Critical pair: bc=ccab.

Defines rule #3.

[6] bac=cacab

Overlap of [2] baa=c with [4] aacab=c:

ba a aacab

Critical pair: bac=cacab.

Defines rule #5.

[7] aacac=caa

Overlap of [4] aacab=c with [2] baa=c:

aaca b baa

Critical pair: aacac=caa.

Defines rule #1.