Certificate for #7788 ⟨a, b | aaa=1, ababa=bb⟩

Back:⟨a, b | aaa=1, ababa=bb⟩

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #1.

Referenced by [3], [4].

[2] ababa=bb

Axiom: ababa=bb.

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

[3] baba=aabb

Overlap of [1] aaa=1 with [2] ababa=bb:

aa a ababa

Critical pair: aabb=baba.

Flip LHS and RHS.

Defines rule #2.

[4] bbaa=abab

Overlap of [2] ababa=bb with [1] aaa=1:

abab a aaa

Critical pair: abab=bbaa.

Flip LHS and RHS.

Defines rule #3.

[5] bbba=abbb

Overlap of [2] ababa=bb with [2] ababa=bb:

ab aba ababa

Critical pair: abbb=bbba.

Flip LHS and RHS.

Defines rule #4.