Date: 07 Feb 94 08:53 +0100 From: Paul Igodt <email@example.com>
When one looks at the output of
if gp is a well defined permutation group, than one finds a record containing
many "transversals". How should these transversals be understood? E.g. they contain
often many "extra comma's".
These transversals are needed by the algorithm that generates the
stabilizer chain (Schreier/Sims). You have to understand that
algorithm to take any advantage of them, I think.
Is there a procedure in GAP to solve the "word"-problem for permutation groups?
E.g. something like "wordsolve(element, group, group.generators)" ?
I don't think so. I once wrote such a program (by modifying
MakeStabStrong etc. in such a way that it records how new generators
were constructed out of the old generators).
Unfortunately, it was not very useful for "practical" purposes :-):
For Rubik's Cube it produced words with an average length of about
500,000. It also needed quite some memory to compute those. But it
did produce solutions in finite time ;-).
If you are interested in the code (it will probably work better for
smaller groups), I can dig it out and mail it to you.
Harald Boegeholz | firstname.lastname@example.org