Set s of identities between relators
(xa) a-1,
(xy2b-1) (xy2a-1) (xy2xb-1) (xy3b) (xya-1) (xyx2b-1) (x2b) a (y2b-1) (y3a) (y3b) (yb)
The main table
Summary
How to use the table?
