Certificate for #1631 ⟨a, b | aaababbaa=a⟩

Back:⟨a, b | aaababbaa=a⟩

Completion settings:

[1] aaababbaa=a

Axiom: aaababbaa=a.

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

[2] aababbaa=aaababba

Overlap of [1] aaababbaa=a with [1] aaababbaa=a:

aaababb aa aaababbaa

Critical pair: aaababba=aababbaa.

Flip LHS and RHS.

Referenced by [3], [4].

[3] ababbaa=aababba

Overlap of [1] aaababbaa=a with [2] aababbaa=aaababba:

aaababb aa aababbaa

Critical pair: aaababbaaababba=ababbaa.

Reduce LHS:

[1](aaababbaa)ababba
⇒ aababba

Flip LHS and RHS.

Defines rule #1.

[4] aaaababba=a

Overlap of [1] aaababbaa=a with [2] aababbaa=aaababba:

a aababbaa aababbaa

Critical pair: aaaababba=a.

Defines rule #2.