Quelle  f25monoid   Sprache: unbekannt

#Fibonacci group F(2,5) - monoid presentation - has order 12
# (group elements + empty word)
_RWS := rec(
  isRWS := true,
  ordering := "shortlex",
  generatorOrder := [a,b,c,d,e],
  inverses := [],
  equations := [[a*b,c], [b*c,d], [c*d,e], [d*e,a],  [e*a,b]
               ]
);