Quelle  sapirt  Sprache: unbekannt

#Group of Mark Sapir
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [u,U,v,V,b,B],
  inverses := [U,u,V,v,B,b],
  equations := [
    [u^2,v^2],
    [b^2*v*b*u,u*B*v]
  ]
);