s

Set s of identities between relators

(^xa) a^-1,

(^yb) b^-1,

(^y²a^-1) (^y²c) (^ya^-1) (^{x^-1}c) a^-1c (^y²b^-1) (^{y²x^-1}b^-1)

The main table

Summary

How to use the table?