#4173 ⟨a, b | aabbabaab=ba⟩
Quick links
- Properties
- Rewriting system
- Presentation has sum-of-sides 11
- Infinite non-commutative monoid
- Reduction order:
- Right-to-left recursive path with deg(a) = deg(c) = deg(d) = 0, a < c < d; deg(b) = 1
- Auxiliary generators:
- abba=c
- ba=d
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# ab:aabbabaab=ba reversed:acd/b abba=c,ba=d morph:4/0,2/0
acdc=dd
adcdc=cd
acdad=da
adcdad=ca
acdab=d
adcdab=c
ba=d
bc=ddcdab
bd=dcdab