〈a, b | abaabbbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cdb/a
• Auxiliary generator bbb=c
• Auxiliary generator baa=d

Inverses of generators

• a^-1 = acdb
• b^-1 = d²b²
• c^-1 = d²
• d^-1 = cd

Complete rewriting system

1. dc ⇒ cd
2. bc ⇒ cb
3. cd² ⇒ 1
4. bd² ⇒ d²b
5. b³ ⇒ c
6. ba ⇒ dacdb
7. b²da ⇒ cad²b²d
8. a² ⇒ d²b²d