s

Set s of identities between relators

(^xa)a^-1,

(^yb) b^-1,

c(^yxya) a^-1 (^xc),

c (^yc) (^y²c) b (^xyxb^-1)

The main table

Summary