Dear Josef Lauri,
I am defining a not too complicated finitely presented group as
follows:
f:=FreeGroup(3);
rels:=[f.1^5,f.2^3,f.3^31,
f.2*f.1*(f.1*f.2*f.3)^-1,
f.3*f.1*(f.1*f.3^2)^-1,
f.3*f.2*(f.2*f.3^25)^-1];
g:=f/rels;
I then want to express some products of the generators in reduced
form.
What is happening is the following: The code for reduced
multiplication calls a Knuth-Bendix rewriting process in the hope of
finding a confluent rewriting system for reduction. In this particular
example, this rewriting does not terminate in any reasonable time, I
suspect the 25-th power is the cause. There are three possible remedies:
1) Under Unix, you could load the kbmag package and set
KB_REW:=KBMAG_REW;
to use that packages Knuth-Bendix algorithm, which is vastly superior
to the naive version in GAP.
2) If you don't care about the particular representation as words in
the given generators, you could convert f to a permutation group or
(the group is solvable) a Pc group with
IsomorphismPermGroup(f);
or
IsomorphismPcGroup(f);
and work in the image. (This gives you the best performance. You also
could use the homomorphism to translate results back in the presented
group.)
3) I have changed the code for the next bugfix to have GAP check
whether the group is small (and then use a permutation representation
to find a normal form) before attempting a Knuth-Bendix enumeration.
With this change the code behaves after
SetReducedMultiplication(g);
as you expected it to do. If you want I can send you the corresponding
fix now. (It is slightly longish, as it affects a couple of functions.)
Apologies for the problem,
Alexander Hulpke
-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: [email protected], Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
