〈a, b | aabbbababa=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left c/de/ab
• Auxiliary generator ab=c
• Auxiliary generator bbc=d
• Auxiliary generator dcaa=e

Inverses of generators

• a^-1 = acdc
• b^-1 = ae
• c^-1 = e
• d^-1 = aeae²
• e^-1 = c

Complete rewriting system

1. ce ⇒ 1
2. ec ⇒ 1
3. dcac ⇒ ede²a
4. dede²ac² ⇒ (cdc)²a
5. ad ⇒ cde²ac
6. acdc ⇒ cdca
7. dcae ⇒ eacd
8. de²ae ⇒ cdca
9. b ⇒ de²a
10. dca² ⇒ e
11. a²c ⇒ e³aea
12. de²ac²ac ⇒ eaede²a
13. dede²acae ⇒ cdc²dc⁴a²
14. de²ac²ae ⇒ (ea)²cd
15. acdae ⇒ cdc⁴a²
16. (ae)² ⇒ c³a²
17. de²ac²a² ⇒ eae
18. a³e ⇒ e³ac²a²