#3728 ⟨a, b | abaabaaaab=a⟩
Quick links
- Properties
- Rewriting system
- Presentation has sum-of-sides 11
- Infinite non-commutative monoid
- Reduction order:
- Right-to-left recursive path with deg(c) = 0; deg(d) = deg(a) = deg(b) = 1, d < a < b
- Auxiliary generators:
- aab=c
- aaaa=d
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# ab:abaabaaaab=a reversed:c/dab aab=c,aaaa=d morph:3/1,4/0
dc=ccccd
da=ad
ccaac=aa
db=aac
aaac=abcccd
acaac=abcd
aab=c
aaaa=d
abcaac=a