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 | +----------------------------------------------------------------+