s

Set s of identities between relators

(^xa)a^-1,

(^xc) c^-1 (^yxc) (^yc^-1) b (^xyxb^-1),

(^{x^-6yx}c^-1) (^{x^-6}c) (^ya^-1) (^yxc^-1) ca,

(^x³b^-1) (^{x²y^-1}c) (^x²b^-1) (^x²c) (^{x⁷y^-1}b^-1) (^{x⁶y^-1}c) (^{x⁶y^-1}b^-1) (^x⁶c) (^x¹¹yb^-1) (^{x¹⁰y^-1}c) (^{x¹⁰y^-1}b^-1) (^x¹⁰c) a (^{x³yx^-3}a)

The main table

Summary