Certificate for #1657 ⟨a, b | aaabbbbaa=a⟩

Back:⟨a, b | aaabbbbaa=a⟩

Completion settings:

[1] aaabbbbaa=a

Axiom: aaabbbbaa=a.

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

[2] aabbbbaa=aaabbbba

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

aaabbbb aa aaabbbbaa

Critical pair: aaabbbba=aabbbbaa.

Flip LHS and RHS.

Referenced by [3], [4].

[3] abbbbaa=aabbbba

Overlap of [1] aaabbbbaa=a with [2] aabbbbaa=aaabbbba:

aaabbbb aa aabbbbaa

Critical pair: aaabbbbaaabbbba=abbbbaa.

Reduce LHS:

[1](aaabbbbaa)abbbba
⇒ aabbbba

Flip LHS and RHS.

Defines rule #1.

[4] aaaabbbba=a

Overlap of [1] aaabbbbaa=a with [2] aabbbbaa=aaabbbba:

a aabbbbaa aabbbbaa

Critical pair: aaaabbbba=a.

Defines rule #2.