Set s of identities between relators

(xa)a-1,

(yb)b-1,

(x-1c)(yc-1),

(xd-1)(yd),

cb-1 (yxd) (yxy-1a) (yxc-1) (ya) (xd) (xy-1a) (xb-1) (xyxd) (xyxb-1),

cb-1 (yxd) (yxb-1) (yxya-1) (yc) a-1 (x2d-1) (xya-1) (xyxc) (xyxb-1)

The main table

Summary