Quelle  test022.in   Sprache: unbekannt

# These presentations for M22 are from Volkmar Felsch (Email, 12 Jan 01).
# He claims that they are `difficult' for ACE, but he's only using the
# default (ie, HLT) or Felsch styles.  These are some reasonable styles
# I've found.

Text;  Opt;

Wo:1M;  Mess:100000;
Enum: M22;

Gr: a,b,c,d;
Rel:
  d^-1*b*d^-1*b,
  a*c^-1*a^2*b^2,
  b^-2*d*b*d*b^-2*d^-1,
  a^2*d^-1*a^3*d^-1*a,
  a*d^-1*a*d^-1*a*d*b*d,
  c*b^-1*c^-1*d^-2*b^-1*c*b*d^-1,
  d*a^-1*d^2*b*d*a*d*b*d,
  a*b^-1*a^-1*d^-1*c^-1*a*d*a^-1*b*c,
  c^-1*a*d*a^-1*d^-1*a*d^-1*a^-1*c*b,
  b*d*b*c^-1*a*d*a^-1*d*c^-1*a*d*a^-1,
  b*d*c^-1*a*d^2*a^-1*d*b*a^2*d^-1*a,
  c*d^-1*c*b^-1*d^-1*b^-1*a*d^-2*a^-1*c*b^-2,
  c^2*d*c^-1*a*d*a^-1*b^-1*a*d*a^-1*d^2,
  a*b*a^-1*c*b*d*b*c^-1*a*d*b^-1*a^-1*d^-2*b^-1*d^-1,
  a^-1*b^2*c^-1*a*d^2*a*b*a^-1*c^-2*a*d*a^-1*d^2,
  a*c^-1*b*d*b^4*a^2*b*a^-1*c^-1*d^-1*c^-1*d^-1*b^-2,
  a^3*b*a^4*b^2*a^3*b^2*a^3*b^2*a*d^-1,
  b*a*b*a^-1*c^4*b*a*c*a^-1*b^-1*a^2*c^2*a*d*a^-1*d^3,
  a*c*a^-1*b^-1*a^2*c^3*b*a*c*a^-1*b^-1*a^2*c^3*b^2*d^-1*b^-2
  ;

Text;
Felsch:1;  No:0;  Gen: a;  Beg;
Felsch:1;         Gen: b;  Beg;
Felsch:1;         Gen: c;  Beg;
Felsch:1;         Gen: d;  Beg;
Felsch:1;         Gen: ;   Beg;

Wo:3M;  Mess:50000;

Gr: a,b,c;
Rel:
  b^4, 
  a*c^-1*a^2*b^2, 
  c*a*b^-1*a^-1*b^-1*c*a*b^-1*a^-1*b,
  c^3*a^-1*c^3*a^-1*c^3*a^-1, c^-3*a^-2*b^-1*c^-3*a^-2*b^-1,
  b*a*b*a^-1*c^4*b*c*a*b^-1*a^-1, 
  a^3*c^-3*a^-1*c^-1*a^-1*c*a*c^-3*a^-3*c^-1,
  c^-3*a^-2*b*a*c^-1*a^-3*c*a*c^3*a^-3*b,
  a^-2*c^-3*a^-2*b^-1*c^3*a^-3*b^-1*a*b*a^2*c^3,
  a^-1*b^-1*a^2*c^3*a*c^-3*a^-1*b^-1*a^3*c^-3*a^-1*c^-1*a*c*b,
  a^-1*b^2*a^-1*b^-1*a^2*c^3*a^-4*c*b*a*b*a^2*b*a^2*c^3*b^-1*c*b^-1*c^-1,
  c*b^-2*a^2*c^3*a^-3*c*b*a^2*c^2*a^3*b^-1*c^-1*b^-2*a^3*c^-3*a^-2,
  a^-1*b^-1*c^-4*a^-2*b^-1*a^-3*b^-1*a^3*c^-3*a^-2*b*c*a^-1*b^2*a^2*c^-3*
    a^-2,
  a^-1*c^-1*b*a^3*c^-3*a^-2*b^-1*c*a^-1*b^-1*a^-1*c^-4*a^-2*b*a*c^-1*a^-1*
    c^-1*b^-1*a^3*c^-3, 
  b^-2*a*b*a^2*c^2*a^-1*c*a*c^3*a^-3*b*a^-1*b^-1*c*b^-2*a^-1*b^-2*c*a^-1*
    b^-1*a^3*c^-3, 
  a^-1*c^-2*a^-2*b^-1*a^-3*b*a^2*c^3*a*c^3*a^-3*b^-1*a^-1*c*a*c^3*a*c^-3*
    a^-2, 
  c^-2*a^-2*b^-1*a^-3*c*a^2*c^3*a^-3*b^-1*a*c*b*a^-3*c^-2*a^-1*c^-1*a^2*
    c^-1*b*a^-1*c*b^-2,
  b*a^-1*c*b*a^3*c^-3*a^-2*c^-1*a^-1*c*a*c^3*a^-2*b^2*a*b*c^-1*a^3*c^-3*
    a^-1*c^-1*a^2*c^-4*a^-2*b^-1*a^-2
  ;

Text;
Hard;    Gen: a;  Beg;
Sims:3;  Gen: b;  Beg;
Sims:3;  Gen: c;  Beg;
Sims:3;  Gen: ;   Beg;

Wo:100M;  Mess:500000;

Gr: a,b;
Rel:
  b^4, 
  a^2*b^-2*a^2*b^-1*a^-1*b^-1*a^2*b^-2*a^2*b^-1*a^-1*b,
  a^-1*b*a*b*a^-2*b^2*a^-1*b*a*b^-2*a^-1*b*a*b*a^-2*b^2*a^-1*b*a*b^-2,
  b*a*b*a*b^-2*a^3*b^-2*a^3*b^-2*a^3*b^-2*a^2*b*a^-2*b^2*a^-2*b,
  a^-3*b^2*a^-3*b^-2*a^-4*b^-2*a^-1*b^-2*a*b^-2*a^-3*b^-2*a^-3*b^-2*a^-6,
  a^3*b^-2*a^3*b^-2*a^2*b^-2*a^3*b^-2*a^3*b^-2*a^-1*b^-2*a^-1*b^-1*a^-1*
    b^-2*a^2*b^-2*a^2*b, 
  a^-1*b^2*a^-3*b^-2*a^-3*b^-2*a^-4*b^-1*a^-3*b^-2*a^4*b^-2*a^3*b^-2*a^3*
    b^-2*a^-2*b, 
  a^-1*b*a*b^2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-1*a*b^-2*a^3*b^-2*a^3*
    b^-2*a^-2*b^-1*a*b*a^4*b^-2*a^3*b^-2*a^3*b^-2,
  a^-1*b^-1*a*b^2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-1*a*b*a^-2*b^2*a^-2*
    b^-2*a*b*a*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-4*b^-2*a*b^-2*a*b,
  a^-1*b^-2*a^-1*b^-1*a^4*b^-2*a^3*b^-2*a^3*b^-2*a^-1*b^-2*a*b*a*b*a*b^-2*
    a^-3*b^-2*a^-3*b^-2*a^-4*b^-2*a^2*b^-2*a*b^-1*a^-1*b^-2*a^-2,
  b^-2*a*b^-1*a*b*a^-2*b^-2*a^-1*b*a*b^-2*a^-1*b^-1*a^-1*b^-2*a*b*a^4*
    b^-2*a^3*b^-2*a^4*b^-1*a^-1*b^-2*a^-2*b^-2*a^2*b^-2*a^-3*b^-2*a^-3*
    b^-2*a^-2,
  b^2*a*b*a^4*b^-2*a^3*b^-2*a^5*b*a^4*b^-2*a^3*b^-2*a^3*b*a^2*b^-2*a*b^-2*
    a^-1*b^-2*a^2*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-2,
  a*b^-1*a^-1*b^2*a^-2*b*a^4*b^-2*a^3*b^-2*a^3*b^-2*a^-2*b^-1*a^2*b^-2*
    a^-3*b^-2*a^-3*b^-2*a^-4*b*a^2*b^-2*a*b^-2*a^4*b^-2*a^3*b^-2*a^3,
  a^-1*b^2*a^-3*b^-2*a^-4*b^-1*a^-1*b^-2*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-2*
    b^-1*a^3*b^-2*a*b*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-3*b*a*b^-2*a*b^-2,
  a^-2*b^2*a^-2*b*a^3*b*a*b^-2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-2*a^2*
    b^-2*a^2*b^-1*a*b^-2*a^-3*b^2*a^-3*b^-2*a^-4*b^-2*a^-1*b^-2*a^-2*b^-1*
    a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-2, 
  a^-2*b^2*a^-3*b^-2*a^-4*b^-1*a^-1*b^-2*a^2*b*a^-2*b^2*a^-2*b^-2*a*b*
    a^-3*b*a^-1*b^-1*a*b^-2*a^2*b^-1*a^-1*b^-2*a^-3*b^-1*a*b^-2*a*b^-2*
    a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^3*b^-2*a^-1*b^-1*a*b^-2*a^2*b^-1*a^-1*
    b^-1, 
  b*a*b^-2*a*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-5*b^-2*a^-1*b^-2*a^4*b^-2*
    a^3*b^-2*a^3*b^-2*a^-1*b^-2*a*b*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-3*b*a^4*
    b^-2*a^3*b^-2*a^3*b^-2*a^-1
  ;

Text;
Sims:3;  Gen: a;  Beg;
Sims:3;  Gen: b;  Beg;
Sims:3;  Gen: ;   Beg;