> < ^ Date: Tue, 22 Oct 1996 09:45:33 +0100
> < ^ From: Juergen Ecker <juergen.ecker@algebra.uni-linz.ac.at >
> ^ Subject: Free Groups

Dear GAP-Forum,

usually things like the following work, but in this case
GAP behaves somewhat strange. Could anyone have a look at
this and let me know what mistake I have made.

gap> f := FreeGroup(4);
Group( f.1, f.2, f.3, f.4 )

gap> rels := [ f.1^3, f.2^3, f.3^3, f.4^3, 
  f.1^-1*f.2^-1*f.1*f.2^-1*f.1^-1*f.2*f.1*f.2, 
  f.1^-1*f.3^-1*f.1*f.3^-1*f.1^-1*f.3*f.1*f.3, 
  f.1^-1*f.4^-1*f.1*f.4^-1*f.1^-1*f.4*f.1*f.4, 
  f.2^-1*f.1^-1*f.2*f.1^-1*f.2^-1*f.1*f.2*f.1, 
  f.2^-1*f.3^-1*f.2*f.3^-1*f.2^-1*f.3*f.2*f.3, 
  f.2^-1*f.4^-1*f.2*f.4^-1*f.2^-1*f.4*f.2*f.4, 
  f.3^-1*f.1^-1*f.3*f.1^-1*f.3^-1*f.1*f.3*f.1, 
  f.3^-1*f.2^-1*f.3*f.2^-1*f.3^-1*f.2*f.3*f.2, 
  f.3^-1*f.4^-1*f.3*f.4^-1*f.3^-1*f.4*f.3*f.4, 
  f.4^-1*f.1^-1*f.4*f.1^-1*f.4^-1*f.1*f.4*f.1, 
  f.4^-1*f.2^-1*f.4*f.2^-1*f.4^-1*f.2*f.4*f.2, 
  f.4^-1*f.3^-1*f.4*f.3^-1*f.4^-1*f.3*f.4*f.3, 
  f.1^-1*f.2^-1*f.1*f.2*f.1^-1*f.2^-1*f.1^-1*f.2*f.1^2, 
  f.1^-1*f.2^-1*f.1*f.2*f.3^-1*f.2^-1*f.1^-1*f.2*f.1*f.3, 
  f.1^-1*f.2^-1*f.1*f.2*f.4^-1*f.2^-1*f.1^-1*f.2*f.1*f.4, 
  f.1^-1*f.3^-1*f.1*f.3*f.1^-1*f.3^-1*f.1^-1*f.3*f.1^2, 
  f.1^-1*f.3^-1*f.1*f.3*f.2^-1*f.3^-1*f.1^-1*f.3*f.1*f.2, 
  f.1^-1*f.3^-1*f.1*f.3*f.4^-1*f.3^-1*f.1^-1*f.3*f.1*f.4, 
  f.1^-1*f.4^-1*f.1*f.4*f.1^-1*f.4^-1*f.1^-1*f.4*f.1^2, 
  f.1^-1*f.4^-1*f.1*f.4*f.2^-1*f.4^-1*f.1^-1*f.4*f.1*f.2, 
  f.1^-1*f.4^-1*f.1*f.4*f.3^-1*f.4^-1*f.1^-1*f.4*f.1*f.3, 
  f.2^-1*f.1^-1*f.2*f.1*f.2^-1*f.1^-1*f.2^-1*f.1*f.2^2, 
  f.2^-1*f.1^-1*f.2*f.1*f.3^-1*f.1^-1*f.2^-1*f.1*f.2*f.3, 
  f.2^-1*f.1^-1*f.2*f.1*f.4^-1*f.1^-1*f.2^-1*f.1*f.2*f.4, 
  f.2^-1*f.3^-1*f.2*f.3*f.1^-1*f.3^-1*f.2^-1*f.3*f.2*f.1, 
  f.2^-1*f.3^-1*f.2*f.3*f.2^-1*f.3^-1*f.2^-1*f.3*f.2^2, 
  f.2^-1*f.3^-1*f.2*f.3*f.4^-1*f.3^-1*f.2^-1*f.3*f.2*f.4, 
  f.2^-1*f.4^-1*f.2*f.4*f.1^-1*f.4^-1*f.2^-1*f.4*f.2*f.1, 
  f.2^-1*f.4^-1*f.2*f.4*f.2^-1*f.4^-1*f.2^-1*f.4*f.2^2, 
  f.2^-1*f.4^-1*f.2*f.4*f.3^-1*f.4^-1*f.2^-1*f.4*f.2*f.3, 
  f.3^-1*f.1^-1*f.3*f.1*f.2^-1*f.1^-1*f.3^-1*f.1*f.3*f.2, 
  f.3^-1*f.1^-1*f.3*f.1*f.3^-1*f.1^-1*f.3^-1*f.1*f.3^2, 
  f.3^-1*f.1^-1*f.3*f.1*f.4^-1*f.1^-1*f.3^-1*f.1*f.3*f.4, 
  f.3^-1*f.2^-1*f.3*f.2*f.1^-1*f.2^-1*f.3^-1*f.2*f.3*f.1, 
  f.3^-1*f.2^-1*f.3*f.2*f.3^-1*f.2^-1*f.3^-1*f.2*f.3^2, 
  f.3^-1*f.2^-1*f.3*f.2*f.4^-1*f.2^-1*f.3^-1*f.2*f.3*f.4, 
  f.3^-1*f.4^-1*f.3*f.4*f.1^-1*f.4^-1*f.3^-1*f.4*f.3*f.1, 
  f.3^-1*f.4^-1*f.3*f.4*f.2^-1*f.4^-1*f.3^-1*f.4*f.3*f.2, 
  f.3^-1*f.4^-1*f.3*f.4*f.3^-1*f.4^-1*f.3^-1*f.4*f.3^2, 
  f.4^-1*f.1^-1*f.4*f.1*f.2^-1*f.1^-1*f.4^-1*f.1*f.4*f.2, 
  f.4^-1*f.1^-1*f.4*f.1*f.3^-1*f.1^-1*f.4^-1*f.1*f.4*f.3, 
  f.4^-1*f.1^-1*f.4*f.1*f.4^-1*f.1^-1*f.4^-1*f.1*f.4^2, 
  f.4^-1*f.2^-1*f.4*f.2*f.1^-1*f.2^-1*f.4^-1*f.2*f.4*f.1, 
  f.4^-1*f.2^-1*f.4*f.2*f.3^-1*f.2^-1*f.4^-1*f.2*f.4*f.3, 
  f.4^-1*f.2^-1*f.4*f.2*f.4^-1*f.2^-1*f.4^-1*f.2*f.4^2, 
  f.4^-1*f.3^-1*f.4*f.3*f.1^-1*f.3^-1*f.4^-1*f.3*f.4*f.1, 
  f.4^-1*f.3^-1*f.4*f.3*f.2^-1*f.3^-1*f.4^-1*f.3*f.4*f.2, 
  f.4^-1*f.3^-1*f.4*f.3*f.4^-1*f.3^-1*f.4^-1*f.3*f.4^2 ];;

gap> g := f/rels;;

gap> Size(g);
Error, Subword: illegal <from> value at
while LengthWord( rel * Subword( rel, 1, 1 ) ) < LengthWord( rel ) ...
in
AugmentedCosetTableMtc( G, H, -1, "_x" ) called from
D.operations.Size( D ) called from
Size( g ) called from
main loop
brk>

+----------------------------------------------------------------+
|Juergen Ecker - Institut fuer Mathematik - Univ. Linz - Austria |
|              - e-mail juergen@bruckner.stoch.uni-linz.ac.at    |
+----------------------------------------------------------------+

> < [top]